Analyses statiques tenant compte des limites – RAISIN

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 resources. 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.