pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2023

pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs

Clément Aubert
Thomas Rubiano
Neea Rusch

Résumé

Complexity analysis offers assurance of program's runtime behavior, but large classes of programs remain unanalyzable by existing automated techniques. The mwp-flow analysis sidesteps many difficulties shared by existing approaches, and offers interesting features, such as compositionality, multivariate bounds, and applicability to non-terminating programs. It analyzes resource usage and determines if a program's variables growth rates are no more than polynomially related to their inputs sizes. This sound calculus, however, is computationally expensive to manipulate, and provides no feedback if the program does not have polynomial bounds. Those two defaults were addressed in a previous work, and prepared for the tool we present here: pymwp, a static complexity analyzer for C programs based on our improved mwp-flow analysis.
Fichier principal
Vignette du fichier
2023_03_16_standalone.pdf (220.49 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03269121 , version 1 (23-06-2021)
hal-03269121 , version 2 (25-06-2021)
hal-03269121 , version 3 (16-03-2023)
hal-03269121 , version 4 (16-05-2023)

Licence

Identifiants

Citer

Clément Aubert, Thomas Rubiano, Neea Rusch, Thomas Seiller. pymwp: A Tool for Guaranteeing Complexity Bounds for C Programs. 2023. ⟨hal-03269121v3⟩
234 Consultations
268 Téléchargements

Altmetric

Partager

More