pymwp¶
Implementation of MWP analysis on C code in Python.
pymwp is a tool for automatically performing static analysis on programs written in C. It is inspired by "A Flow Calculus of mwp-Bounds for Complexity Analysis". It analyzes resource usage and determines if a program's variables growth rates are no more than polynomially related to their inputs sizes. Try our online demo to see it action. For more details on usage and behavior, see pymwp documentation, particularly supported C language features.
Installation¶
Install the latest release from PyPI
pip install pymwp
How to Use¶
To analyze a C file, run in terminal:
pymwp path/to_some_file.c
For all available options and help, run:
pymwp --help
Tool User Guide¶
A comprehensive tool user guide, with detailed examples, is available at: statycc.github.io/.github/pymwp
Use in Python Scripts¶
You can also use pymwp by importing it in a Python script. See modules documentation for available methods.
from pymwp import Polynomial
from pymwp.matrix import identity_matrix, show
matrix = identity_matrix(3)
matrix[0][1] = Polynomial('m')
matrix[1][0] = Polynomial('w')
matrix[2][1] = Polynomial('p')
show(matrix)
Running from source¶
If you want to use the latest stable version (possibly ahead of the latest release), use the version from source following these steps.
-
Clone the repository
git clone https://github.com/statycc/pymwp.git
-
Set up Python environment (use
venv
)install required packages
python -m pip install -r requirements.txt
For development and testing, install dev dependencies instead:
python -m pip install -r requirements-dev.txt
-
Run the analysis
From project root run:
python -m pymwp path/to_some_file.c
for example:
python -m pymwp c_files/basics/if.c
for all available options and help, run:
python -m pymwp