அனைத்து சாத்தியமுள்ள பாதைகள் வழியாக நிரலை, நிறைவேறாத பாதைகள் கண்டுபிடிக்க, அல்லது எந்த பாதை இல்லை இருக்கும், நிரலின் பகுதிகள் படிக்கும்படி அடையாளம் ஒரு கணினி நிரல் பகுப்பாய்வு.