Analyse statique et interprétation abstraite

Cours

• Polycopié
• Transparents : 1, règles de typage, 2, 3
• Le compilateur TIP : installez le système TIP et testez le en exécutant les commandes à la fin du readme

Exercices

• Unification
• Typage
• Treillis
• CFG
• Analyses de flot de données

Annales

• avril 2014
• mars 2015

Documents multimédia

• Une vidéo de Patrick Cousot à propos de l'interprétation abstraite
• Le cours 14-15 de Gérard Berry au Collège de France, en particulier celui du 4 mars

Autres ressources

• Unification
  • Unification d'arbres rationnels (Slim Abdennadher et Carmen Gervet)
  • Un outil pour la résolution d'equations sur les arbres rationnels : SWI-Prolog ou SWISH, la version en ligne
• Interprétation abstraite
  • Concernant l'interprétation abstraite, l'article fondateur de Patrick et Radhia Cousot
  • Une introduction à l'interprétation abstraite rédigée par Patrick Cousot
  • Le cours abstract interpretation enseigné par Patrick Cousot au MIT
  • Une introduction à l'interprétation abstraite de Bruno Blanchet
• Un interpréteur abstrait
  • Une interface web pour l'analyseur Interproc