【发布时间】：2016-12-15 07:03:16
【问题描述】：
符号执行的最佳技术是什么？ 请您帮我找到纯符号执行和纯concolic测试工具（我的意思是，例如它不包括模型检查等）及其来源？
【问题讨论】：
标签： testing verification symbolic-execution
【发布时间】：2016-12-15 07:03:16
【问题描述】：
Concolic 测试工具：
- CREST for C[开源]
- CATG for JAVA
- 用于 javascript 的 Jalangi [开源]
- Microsoft PEX for .Net 框架 [Visual Studio 中的强大工具]
- 用于 Erlang 函数式编程的 CutEr [开源]
对于符号执行，下面的链接列出了几个工具（一些工具很常见，因为它们都可以选择）：
【讨论】：