Analyse statique par interprétation abstraite.