pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs

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 artifact will demonstrate the behavior and use of pymwp version 0.2.1. Artifact will install the pymwp package and its dependencies locally on the specified VM. Then pymwp is then run on selected example programs, to substantiate the claims of the paper. Steps to reproducing paper examples are included.

Artifact also contains the documentation, link to a permanent online repository, and discussion on possible tool extensions.