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 | Apr 30 2023 |
---|---|
Publisher | ZENODO |