pymwp: MWP analysis in Python
- Clément Aubert(Creator),
- Thomas Rubiano(Creator),
- Neea Rusch(Creator),
- Thomas Seiller(Creator)
- ,
- Augusta University,
- ,
- LIPN – UMR 7030 Université Sorbonne Paris Nord,
- LIPN – UMR 7030 Université Sorbonne Paris Nord & CNRS
Dataset:
Dataset Types
Dataset
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.
Dataset Information
Date made available
05/08/2023Publisher
ZENODOAccess to documents
Cite this dataset
Brief description
Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller. (2023). pymwp: MWP analysis in Python. 10.5281/zenodo.7908484