Domaine abstrait robuste et générique pour les analyses statiques de programme : le cas des polyèdres
Auteur / Autrice : | Duong Nguyen Que |
Direction : | François Irigoin |
Type : | Thèse de doctorat |
Discipline(s) : | Informatique, temps réel, robotique et automatique |
Date : | Soutenance en 2010 |
Etablissement(s) : | Centre de recherche en informatique (Fontainebleau, Seine et Marne) |
Mots clés
Mots clés contrôlés
Résumé
Les bibliothèques des domaines abstraits utilisées par les analyseurs statiques qui analysent le comportement des programmes écrits dans des langues différentes, lors de leur exécution sans réellement les exécuter, rencontrent des problèmes qui limitent leur efficacité. Cependant, des améliorations récentes dans certaines bibliothèques telles que de nouveaux domaines abstraits, par exemple la bibliothèque Octagon, ou bien des améliorations algorithmiques, comme la factorisation cartésienne, ne peuvent pas être facilement exploitées par d'autres bibliothèques. Notre travail vise à concevoir une interface commune pour ces bibliothèques afin de proposer une utilisation standardisée dans les analyseurs statiques, et de construire un système d'évaluation qui étudie la performance des bibliothèques, qui aide dans les tests de régression et le débogage, etc. Le travail est divisé en deux parties. La première partie porte sur une interface commune de cinq analyseurs statiques, appelés PIPS, NBAC, ASTREE, OMEGA et CHINA, qui essaie de combiner et d'utiliser efficacement les implémentations existantes. La deuxième partie décrit un système permettant une évaluation des bibliothèques du domaine polyédrique. Il fournit une étude de cas avec les analyseurs utilisant ce domaine, comptant plusieurs découvertes algorithmiques qui les rendent très robustes. Les implémentations existantes sont diverses et complexes alors nous ne pouvons pas déterminer lesquelles sont les plus efficaces, sans ce système d'évaluation.