pymwp: MWP analysis in Python

  • 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 release is described in publication "pymwp: A Static Analyzer Determining Polynomial Growth Bounds", DOI: 10.1007/978-3-031-45332-8_14. An accompanying tool user guide describing pymwp installation and use is available at: statycc.github.io/.github/pymwp.
Date made availableMay 8 2023
PublisherZENODO

Cite this