Published May 8, 2023 | Version 0.4.2
Software Open

pymwp: MWP analysis in Python

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



Files (133.1 kB)

Name Size Download all
133.1 kB Preview Download

Additional details

Related works

Is described by
Presentation: (URL)
Is documented by
Software documentation: (URL)
Is published in
Publication: 10.1007/978-3-031-45332-8_14 (DOI)
Is supplement to
Software: (URL)