二进制文件符号执行工具

Question

是否有用于二进制文件符号执行的工具。我的意思是使用它，我们不需要修改源代码——比如 klee_make_symbolic 或者我们可以在 IR 中进行此类更改（llvm ir 等） 提前致谢

Answer 1

符号执行二进制代码要难得多，所以我怀疑是否存在这样的工具。

但是请注意，您在使用 KLEE 时不一定需要修改代码，因为它可以模拟 POSIX 环境和 C 库（当然，在编译时支持此功能）。使用这些功能，您可以自动符号化 argv 个参数和键盘交互。

Answer 2

也许miasm能满足您的要求。它是一个支持静态符号执行的逆向工程框架。据我所知，它比KLEE和S2E更简单。

Answer 3

规范列表在 Awesome Symbolic Execution。