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 | Nov 24 2024 |
|---|---|
| Publisher | ZENODO |