Analyse eines Computerprogramms um alle möglichen Pfade durch das Programm, um unvollständige Pfade zu erkennen oder um Teile des Programms zu entdecken, die nicht auf einem beliebigen Pfad zu identifizieren.