Analyse av et dataprogram til å identifisere alle mulige baner gjennom programmet, oppdage ufullstendige baner eller oppdage deler av programmet som ikke er på en bane.