불완전 한 패스를 감지 하거나 어떤 경로에 있지 않은 프로그램의 부분을 발견 하는 프로그램을 통해 가능한 모든 경로 식별 하는 컴퓨터 프로그램의 분석.