0

符号执行的最佳技术是什么？您能帮我找到纯符号执行和纯concolic测试工具（我的意思是，例如它不包括模型检查等）及其来源吗？

4

1 回答 1

2

Concolic 测试工具：

  • CREST for C[开源]
  • 用于 JAVA 的 CATG
  • Jalangi for javascript [开源]
  • Microsoft PEX for .Net 框架 [Visual Studio 中的强大工具]
  • 用于 Erlang 函数式编程的 CutEr [开源]

对于符号执行，下面的链接中列出了几个工具（一些工具很常见，因为它们都可以选择）：

https://en.wikipedia.org/wiki/Symbolic_execution

于 2017-03-31T04:17:30.260 回答