Vérification statique

Quelques bugs célèbres

• PDF (Olivier Buissou)

De quoi s'agit-il ?

• Wikipedia-fr
• Wikipedia-en

Une application notable : Astrée

Cours

• Polycopié
• Transparents : 1, règles de typage, 2, 3, 4, 5, 6

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

Exercices

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

Evaluation

Annales

• mars 2013, mai 2013
• mars 2014, avril 2014
• mars 2015

Autres ressources

• Une introduction à l'interprétation abstraite rédigée par Patrick Cousot
• Le cours abstract interpretation enseigné par Patrick Cousot au MIT
• Unification d'arbres rationnels (Slim Abdennadher et Carmen Gervet)
• Un outil pour la résolution d'equations sur les arbres rationnels : SWI-Prolog
• Le compilateur TIP
• Une introduction à l'interprétation abstraite de Bruno Blanchet
• Le cours analyse statique de programmes enseigné par Xavier Rival à l'École Polytechnique