Vers un analyseur statique générique de Java par interprétation abstraite: un utilitaire d'affichage de l'environnement et du store

Résumé

L'analyse statique désigne l'ensemble des traitements qui peuvent être appliqués à un programme en dehors de son exécution. Sa mise en œuvre a pour but d'obtenir des informations permettant l'optimisation et la vérification de programmes. L'interprétation abstraite est un cadre mathématique général pour l'analyse statique. Elle permet d'exprimer les méthodes d'analyse statique existantes et de prouver leur correction. Le principe de base de l'interprétation abstraite est l'exécution du programme à analyser sur
un domaine non standard appelé domaine abstrait. Le domaine abstrait est un ensemble d'éléments dont les valeurs concrètes présentent des caractéristiques communes. Ces éléments doivent ainsi représenter des propriétés du domaine standard valables pour toutes les exécutions possibles du programme. L'objectif du projet JavAblnt est de réaliser un analyseur statique générique de Java par interprétation abstraite. La première étape du projet a été franchie avec la définition de la syntaxe et de la sémantique opérationnelle d'un sous-langage de Java, ainsi qu'avec la mise en oeuvre de domaines abstraits pour ce langage par 1. Pollet [POLLET]. Deux mémoires ont également été réalisés dans le cadre de ce projet. Le but de ce travail est le développement d'un utilitaire d'affichage du couple composé de l'environnement et du store, aussi bien au niveau du domaine abstrait que du domaine concret. Le store pouvant être représenté par un graphe et l'environnement pouvant y être intégré sous la forme de sommets particuliers, cet utilitaire consiste principalement en la réalisation d'une application permettant l'affichage d'un graphe quelconque. Ceci nous amène ainsi à nous intéresser aux techniques de dessin de graphe.

la date de réponse	2001
langue originale	Français
Superviseur	Baudouin LE CHARLIER (Promoteur)