There is a newer version of the record available.

Published November 24, 2024 | Version 0.5.2
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.2.zip

Files (182.1 kB)

Name Size Download all
md5:efe906b612d2375d1f9716b78b639a4f
182.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
Conference paper: 10.1007/978-3-031-45332-8_14 (DOI)