Analyse d'un programme d'ordinateur pour identifier tous les chemins possibles grâce au programme, pour détecter les chemins incomplets, ou pour découvrir les parties du programme qui ne sont pas sur n'importe quel chemin d'accès.