어설 션을 한 번 실행하는 데 실패하면 KLEE은이를보고 한 다음이를 무시하고 다른 실행을 계속 검색합니다. 그럼 내 질문에 온다 : 어떤 구성이나 속임수가 KLEE가 어설 션을 찾을 수 없을 때 검색을 중지하도록 강요 하는가? 아니면 소스 코드를 수정하고 KLEE을 구현하여 다시 구현해야합니까? 영감을주는 솔루션에 대한 희망. 미리 감사드립니다!어설 션 오류 발견 후 KLEE 경로 탐색을 중지하는 방법
기본적으로 분석 된 응용 프로그램에서 버그가 발견되면 KLEE가 종료되지 않습니다. 반면 KLEE은 일부 실패를 암시 적으로 종료합니다. 이 동작은 다음 옵션으로 변경할 수 있습니다.
-exit-on-error - 첫 번째 임의의 오류가 발생하면 종료하십시오.
-exit-on-error-type=TYPE - TYPE 유형의 첫 번째 오류가 발생하면 종료하십시오. 이 매개 변수는 더 많은 유형 후에 반복하여 종료 할 수 있습니다.
https://klee.github.io/docs/options/#making-klee-exit-on-events