Validation par Analyse Statique : interprétation abstraite
Transparents
Cours 1/3
Cours 2/3
(démo GCC :
exemple.c
)
Cours 3/3
(démo flottants :
flottants.c
)
TP
TP 1/3
(rappels sur
les domaines abstraits
et sur
OCaml
),
correction
TP 2/3 et 3/3
,
correction
Analyseur pour les TP
Code source
Binaires avec domaines, Linux 32 bits
Binaires avec domaines, Linux 64 bits