Published October 13, 2022 | Version 1.0
Software Open

pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs

  • 1. School of Computer and Cyber Sciences, Augusta University
  • 2. LIPN – UMR 7030 Université Sorbonne Paris Nord
  • 3. LIPN – UMR 7030 Université Sorbonne Paris Nord & CNRS


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.


Files (11.8 MB)

Name Size Download all
11.8 MB Preview Download