Analisi di un programma per computer per identificare tutti i possibili percorsi attraverso il programma, per individuare percorsi incompleti, o alla scoperta di porzioni di programma che non sono su qualsiasi percorso.