Couvre les blocs, les fonctions et les références en C++, y compris la portée, les variables, l'utilisation des fonctions, les interfaces, les pointeurs et les références.
Explore la mise en oeuvre d'un interprète abstrait octagonique pour les programmes C, couvrant l'interprétation abstraite, les contraintes octogonales, les fermetures, les pointeurs et l'analyseur FrontC.