用于在二进制文件上进行符号执行的工具

Question

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

Answer 1

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

Answer 2

规范列表位于Awesome Symbolic Execution。

Answer 3

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

但是请注意，在使用KLEE时，您不一定需要修改代码，因为它可以为POSIX环境和C库建模（当然，在编译时支持这个）。使用这些功能，您可以自动对document.addEventListener('DOMContentLoaded',()=>{ var names = document.querySelectorAll('input[type=text]').map((o)=>o.name); console.log(names); }); //PROTOTYPE MODIFICATIONS NodeList.prototype.map = HTMLCollection.prototype.map = Array.prototype.map; 参数和键盘交互进行符号化。