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. This release is described in publication "pymwp: A Static Analyzer Determining Polynomial Growth Bounds", DOI: 10.1007/978-3-031-45332-8_14. An accompanying tool user guide describing pymwp installation and use is available at: statycc.github.io/.github/pymwp.
Date made available | May 8 2023 |
---|---|
Publisher | ZENODO |