Le but du projet est d'implanter un analyseur statique par interprétation abstraite pour un langage "jouet" impératif très simple. La syntaxe est inspirée de C, mais extrêmement simplifiée : le langage ne comporte que des entiers mathématiques (non bornés), les constructions if-then-else et la boucle while. La langage ne comporte ni pointeur, ni fonction, ni tableau, ni allocation dynamique, ni objet.
Vous trouverez ici un squelette de base pour faciliter le développement de l'analyseur :
- un analyseur syntaxique qui transforme le texte du programme en arbre syntaxique abstrait ;
- un interprète par induction sur la syntaxe, paramétré par le choix d'un domaine d'interprétation ;
- des signatures pour les domaines des environnements et les domaines des valeurs ;
- le domaine concret, permettant de collecter l'ensemble précis des états de programme accessibles ;
- le domaine abstrait des constantes.
Commencez par suivre les instructions d'installation décrites dans le fichier INSTALL.md.
Les sources fournies sont documentées dans le fichier DOC.md.
Le fichier TRAVAIL.md détaille le travail demandé pour le projet. L'interprète et le domaine des constantes sont encore incomplets. Une première tâche sera de les compléter. Vous développerez ensuite des domaines abstraits comme présentés dans le cours.