Analyse af et edb-program til at identificere alle mulige stier gennem programmet, til at registrere ufuldstændige kurver, eller at opdage dele af programmet, ikke der på nogen sti.