是否存在符号反汇编器?

逆向工程 拆卸 二元分析 混淆 去混淆
2021-07-06 05:34:32

我想知道是否有基于符号分析的反汇编程序,我是 RE 初学者,但我认为基于符号技术的反汇编程序可能非常有趣,并且可以反汇编大多数混淆的二进制文件。

1个回答

好吧,大多数基于“符号执行的反汇编程序都具有象征意义。问题是您需要从环境中进行大量建模(系统调用答案、与其他程序的交互等),以至于当程序冒险超出其模型时,它们中的大多数还使用具体执行。

但是,您应该寻找符号执行工具,例如angrmiasm和许多其他工具。