Analiza programu komputerowego do identyfikacji wszystkich mozliwych sciezek programu, aby wykryć niekompletne ścieżki, lub odkryć części programu, które są nie na żadnych drodze.