Analyse statique de programmes et interprétation abstraite

[PDF] Utilisation de l\'analyse statique comme outil d\'aide au développement

L'analyse statique consiste à analyser le texte d'un programme pour en extraire de l'information.
Cette analyse est effectuée sans exécuter le programme.
L'analyse statique se distingue donc ainsi de l'analyse dynamique qui consiste à exécuter le programme avec des données afin d'en vérifier le comportement.