L'analyse du code source ou objet d'un programme sans exécuter le code. En général, l'analyse est conçu pour détecter les erreurs.