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
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.
Files
statycc/pymwp-0.4.2.zip
Files
(133.1 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:94fabb8550812777240d523506a7273c
|
133.1 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
- Publication: 10.1007/978-3-031-45332-8_14 (DOI)
- Is supplement to
- Software: https://github.com/statycc/pymwp/tree/0.4.2 (URL)