Description
pymwp is a tool for automatically performing static analysis on programs written in C. It analyzes resource usage and determines if a program's variables growth rates are no more than polynomially related to their inputs sizes.
| Date made available | Mar 5 2025 |
|---|---|
| Publisher | ZENODO |