Ghidra 可以进行反向符号执行吗?

逆向工程 艾达 拆卸 部件 x86 吉德拉
2021-06-11 23:27:02

我正在寻找一种可以对 x86 二进制文件进行反向符号执行的工具。更具体地说,我想为该工具提供一个程序状态(PC 值 + 寄存器 + 内存内容),并让它为我提供一组会导致该状态的程序输入。Ghidra 能做到吗?或者有谁知道是否有任何其他工具可以?

1个回答

看起来你也在Ghidra GitHub页面上问过这个问题,答案是一样的。

本质上,不,Ghidra 不会那样做。但是您应该调查AngrKleeBitblaze其他