There is a newer version of the record available.

Published April 30, 2023 | Version 0.4.1
Software Open

pymwp: MWP analysis on C code 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.

Files

statycc/pymwp-0.4.1.zip

Files (129.8 kB)

Name Size Download all
md5:d0ffa00215474b94f3a0668132917580
129.8 kB Preview Download

Additional details

Related works

Is supplement to
Software: https://github.com/statycc/pymwp/tree/0.4.1 (URL)