여기 서 , 프로세서 는 , 소스 코드 를 파싱 하 여 요약 구문 트리 ( Abstract Syntax Tree , AST ) 를 생성 하 고 , 생성 된 요약 구문 트리 를 기초 로 , 제 어 흐름 그래프 ( Control Flow Graph , CFG ) 를 생성 하 고 , 제 어 흐름 그래프 를 기초 로 적어도 하나 이상 의 프로그램 경로 를 결정 할 수 있 다 .