소프트웨어 취약점 분석 장치(100)는 최단 실행 경로가 결정된 경우, 나머지 실행 경로를 프루닝(pruning)할 수 있다.
When the shortest execution path is determined, the software vulnerability analysis device 100 may prune the remaining execution paths.