RAISIN - Analyses statiques tenant compte des limites

Coordinateur : Raphaël Monat, Inria, CRIStAL

Équipe : SyCoMoRES du Groupe Thématique : SISE.

Date : 2024 - 2028

Résumé :

Une approche visant à réduire le nombre de bogues est l’analyse statique sûre des programmes. Les analyseurs statiques proposent un nombre important d’options de configuration qui permettent aux utilisatrices et utilisateurs de choisir différents compromis performance-précision. Le but de ce projet est de développer des techniques permettant aux analyseurs statiques de prendre en compte l’usage de leurs ressources. Ces techniques trouveront automatiquement la meilleure configuration pour l’analyse afin de produire les résultats les plus précis tout en respectant une enveloppe de ressources fournie (temps CPU, utilisation maximale de la mémoire). Ce projet rendra les analyseurs statiques plus utilisables, simplifiera leur utilisation dans les cycles de développement industriels (où chaque cycle a des contraintes de ressources différentes), et développera une approche de l’analyse statique avec des limites de calcul adaptées à la fin de l’ère de la loi de Moore.

Abstract :

One approach aiming at reducing the number of bugs is sound static program analysis. Static analyzers come with a variety of configurations, allowing users to choose different performance-precision trade-offs. The goal of this project is to develop techniques enabling resource-aware static analyses, that will automatically find the best configuration for the analysis in order to yield the most precise results while respecting a provided resource envelope (CPU time, peak memory usage). This project will improve the usability of static analyzers, simplify their use in industrial development cycles (where each cycle has different resource constraints), and develop a computing-within-limits approach to static analysis fitting to a post-Moore’s law era.