There is a newer version of the record available.

Published September 23, 2024 | Version 0.5.0
Software Open

pymwp: MWP analysis in Python

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.0.zip

Files (180.6 kB)

Name Size Download all
md5:1eb34b15f4bbffd1f59121a3ae290625
180.6 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
10.1007/978-3-031-45332-8_14 (DOI)

Software

Repository URL
https://github.com/statycc/pymwp
Programming language
Python