如果在一次执行中发现断言失败，KLEE 将报告它，然后忽略它并继续搜索其他执行。那么问题来了：当发现断言失败时，是否有任何配置或技巧可以强制 KLEE 停止搜索？还是我必须对源代码进行修改并重新构建 KLEE 来实现它？希望有启发性的解决方案。提前致谢！
问问题
374 次
1 回答
1
如果在分析的应用程序中发现错误，KLEE 默认不会退出。另一方面，KLEE 在某些失败时隐式退出。可以通过以下选项更改此行为：
-exit-on-error- 退出第一个任意错误。
-exit-on-error-type=TYPE- 在第一个 TYPE 类型的错误时退出。更多类型后可以重复此参数退出。
https://klee.github.io/docs/options/#making-klee-exit-on-events
于 2017-05-08T14:51:47.443 回答