Le processus d'évaluation d'un programme sans exécuter le programme. Voir aussi Bureau de vérification, portique, vérification, inspection, analyseur statique de code. Analyse de la contraste avec la dynamique.