现代符号执行技术

Question

符号执行的最佳技巧是什么？ 你能不能帮我找到纯粹的符号执行和纯粹的考验工具（我的意思是，例如它不包括模型检查等）及其来源？

Answer 1

Concolic测试工具：

• CR [C] [开源]
• JAVA的CATG
• Jalangi for javascript [Open Source]
• Microsoft PEX for .Net framework [Visual Studio中的电动工具]
• 针对Erlang功能编程的CutEr [开源]

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

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