Easing Maintenance of Academic Static Analyzers - Archive ouverte HAL
Pré-Publication, Document De Travail Année : 2024

Easing Maintenance of Academic Static Analyzers

Résumé

Academic research in static analysis produces software implementations. These implementations are time-consuming to develop and some need to be maintained in order to enable building further research upon the implementation. While necessary, these processes can be quickly challenging. This article documents the tools and techniques we have come up with to simplify the maintenance of Mopsa since 2017. Mopsa is a static analysis platform that aims at being sound. First, we describe an automated way to measure precision that does not require any baseline of true bugs obtained by manually inspecting the results. Further, it improves transparency of the analysis, and helps discovering regressions during continuous integration. Second, we have taken inspiration from standard tools observing the concrete execution of a program to design custom tools observing the abstract execution of the analyzed program itself, such as abstract debuggers and profilers. Finally, we report on some cases of automated testcase reduction.
Fichier principal
Vignette du fichier
sttt_mopsa_maintenance-revised.pdf (1.03 Mo) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence

Dates et versions

hal-04652657 , version 1 (18-07-2024)
hal-04652657 , version 2 (05-11-2024)

Licence

Identifiants

Citer

Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné. Easing Maintenance of Academic Static Analyzers. 2024. ⟨hal-04652657v2⟩
99 Consultations
31 Téléchargements

Altmetric

Partager

More