符号执行的应用(application of symbolic execution)
符号执行的应用是什么? symbolic execution只生成path condition吗? 如何使用符号执行来验证contract ?
What is the application of symbolic execution? Do symbolic execution only generate path condition? How can I use symbolic execution to verify contract?
最满意答案
符号执行最着名的用法是测试输入生成。 例如, KLEE是一种使用符号执行为C程序生成测试输入的工具。
另一个应用程序是断言检查。 如果合同是指前后条件,那么是,符号执行也可用于此目的。
The most famous usage of symbolic execution is test input generation. For example, KLEE is a tool that generates test inputs for C programs using symbolic execution.
Another application would be assertion checking. If by contract you mean pre and post conditions, then yes, symbolic execution can also be used for that purpose.
更多推荐
发布评论