最先进的静态二进制分析技术的可扩展性是什么？

逆向工程 静态分析 二元分析
2021-06-28 23:11:03

通过基于语义的静态二进制分析分析过的最大程序是什么？

通过基于语义的分析，我的意思是检查程序含义的分析，而不是简单地对程序的语法进行计算，例如计算md5sum.

1个回答

我所知道的最大的静态分析示例是这篇关于 CFG 恢复的论文中的32,405 个 PPC 指令。除了恢复 CFG 之外，没有执行任何分析。

其它你可能感兴趣的问题
上一篇在 OSX 中的 Gdb 中打印 Unicode 字符串 下一篇如何将 .cspec 文件中的新 CompilerSpec 添加到 Ghidra？