Analyse statique de programmes

En informatique, la notion d’analyse statique de programmes couvre une gamme de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue…