pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs

  • ClĂ©ment Aubert (Creator)
  • Thomas Rubiano (Creator)
  • Neea Rusch (Creator)
  • Thomas Seiller (Creator)

Dataset

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.
Date made availableOct 13 2022
PublisherZENODO

Cite this