Published July 4, 2025 | Version 0.5.5
Software Open

pymwp: MWP analysis in Python

Authors/Creators

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

Files

statycc/pymwp-0.5.5.zip

Files (257.9 kB)

Name Size Download all
md5:e336ccde50929846d3ed40a920b42e55
257.9 kB Preview Download

Additional details

Related works

Is described by
Presentation: https://statycc.github.io/.github/pymwp/ (URL)
Is documented by
Software documentation: https://statycc.github.io/pymwp/ (URL)
Is published in
Conference paper: 10.1007/978-3-031-45332-8_14 (DOI)
Is supplement to
Software: https://github.com/statycc/pymwp/tree/0.5.5 (URL)

Software

Repository URL
https://github.com/statycc/pymwp