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

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 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

artifact_data.zip

Files (11.8 MB)

Name Size Download all
md5:bdd60eee3317d3e430cd558f1ff105e5
11.8 MB Preview Download