Easing Maintenance of Academic Static Analyzers

Monat, Raphaël; Ouadjaout, Abdelraouf; Miné, Antoine

Type de document :

Article dans une revue scientifique: Article original

DOI :

10.1007/s10009-024-00770-1

Titre :

Easing Maintenance of Academic Static Analyzers

Auteur(s) :

Monat, Raphaël [Auteur]
Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189 [CRIStAL]
Analyse symbolique et conception orientée composants pour des systèmes embarqués temps-réel modulaires [SYCOMORES]
Ouadjaout, Abdelraouf [Auteur]
Algorithmes, Programmes et Résolution [APR]
Miné, Antoine [Auteur]
Algorithmes, Programmes et Résolution [APR]

Titre de la revue :

International Journal on Software Tools for Technology Transfer

Éditeur :

Springer Verlag

Date de publication :

2025-01-14

ISSN :

1433-2779

Mot(s)-clé(s) en anglais :

static analysis
abstract interpretation
Software engineering

Discipline(s) HAL :

Informatique [cs]/Langage de programmation [cs.PL]

Résumé en anglais : [en]

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. ...
Lire la suite >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.Lire moins >

Langue :

Anglais

Comité de lecture :

Oui

Audience :

Internationale

Vulgarisation :

Non

Collections :

Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189

Source :

Harvested from HAL

Fichiers

document
Accès libre
Accéder au document

sttt_mopsa_maintenance-revised.pdf
Accès libre
Accéder au document

2407.12499
Accès libre
Accéder au document

Easing Maintenance of Academic Static Analyzers BibTeX CSV Excel RIS

Fichiers

Easing Maintenance of Academic Static Analyzers

BibTeX

CSV

Excel

RIS