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 2 2024 |
|---|---|
| Publisher | ZENODO |
Cite this
- DataSetCite