如何让 KLEE 在发现断言失败后停止探索路径

How to make KLEE stop exploring paths after finding an assertion fail

如果在一次执行中发现断言失败，KLEE 将报告它，然后忽略它并继续搜索其他执行。那么问题来了：有没有什么配置或技巧可以强制KLEE在发现断言失败时停止搜索？还是我必须修改源代码并重新构建 KLEE 才能实现它？希望有启发性的解决方案。提前致谢！

默认情况下，如果在分析的应用程序中发现错误，KLEE 不会退出。另一方面，KLEE 在某些失败时隐式退出。可以通过以下选项更改此行为：

-exit-on-error - 出现第一个任意错误时退出。

-exit-on-error-type=TYPE - 在第一个类型错误时退出。此参数可重复退出。