تحليل لبرنامج حاسوبي تحديد جميع المسارات الممكنة من خلال البرنامج، للكشف عن مسارات غير مكتملة، أو لاكتشاف أجزاء من البرنامج غير موجودة على أي مسار.