符号执行的应用

Question

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

Answer 1

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

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