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.
Couvre les opérateurs linéaires et les domaines bornés, en se concentrant sur l'existence de tels opérateurs dans des domaines avec des limites bornées.