validation - 符号执行的应用

符号执行的应用是什么？ symbolic execution仅生成path condition吗？如何使用符号执行来验证contract？

最佳答案

符号执行的最著名用法是测试输入生成。例如，KLEE是使用符号执行为C程序生成测试输入的工具。

另一个应用程序是断言检查。如果按合同您是指前后条件，那么可以，符号执行也可以用于此目的。