การวิเคราะห์โปรแกรมคอมพิวเตอร์เพื่อระบุเส้นทางไปได้ทั้งหมดผ่านโปรแกรม ตรวจสอบเส้นทางสมบูรณ์ หรือเพียงบางส่วนของโปรแกรมที่ไม่ได้อยู่ในเส้นทางใด ๆ