Robust and generic abstract domain for static program analyses : the polyhedral case
Duong Nguyen Que · 2010
Les bibliotheques des domaines abstraits utilisees par les analyseurs statiques qui analysent le comportement des programmes ecrits dans des langues differentes, lors de leur execution sans reellement les executer, rencontrent des problemes qui limitent leur efficacite. Cependant, des ameliorations recentes dans certaines bibliotheques telles que de nouveaux domaines abstraits, par exemple la bibliotheque Octagon, ou bien des ameliorations algorithmiques, comme la factorisation cartesienne, ne peuvent pas etre facilement exploitees par d'autres bibliotheques. Notre travail vise a concevoir une interface commune pour ces bibliotheques afin de proposer une utilisation standardisee dans les analyseurs statiques, et de construire un systeme d'evaluation qui etudie la performance des bibliotheques, qui aide dans les tests de regression et le debogage, etc. Le travail est divise en deux parties. La premiere partie porte sur une interface commune de cinq analyseurs statiques, appeles PIPS, NBAC, ASTREE, OMEGA et CHINA, qui essaie de combiner et d'utiliser efficacement les implementations existantes. La deuxieme partie decrit un systeme permettant une evaluation des bibliotheques du domaine polyedrique. Il fournit une etude de cas avec les analyseurs utilisant ce domaine, comptant plusieurs decouvertes algorithmiques qui les rendent tres robustes. Les implementations existantes sont diverses et complexes alors nous ne pouvons pas determiner lesquelles sont les plus efficaces, sans ce systeme d'evaluation.