通过基于语义的静态二进制分析所分析的最大程序是什么?有关程序语法的信息,例如计算md5sum

评论

您会从Microsoft算起SAGE系统吗?另外,有人应该问Veracode他们分析过的最大程序是什么...

@Andrew据我所知,SAGE是完全动态的。

#1 楼

我知道的最大的静态分析示例是本文中有关CFG回收的32,405条PPC指令。除了恢复CFG之外,没有执行任何分析。

评论


反编译是否被视为静态分析?应该看到它不执行该程序。在这种情况下,Hex-Rays的工作量比每天都要大。

–滚轴
13年3月27日在22:14

同样,在我最近的演讲[1]中的去模糊示例中,这是一个静态分析,我已经非常定期地将其应用于大型二进制文件。我认为,为了使该问题或其答案具有任何含义,必须精确定义“静态二进制分析”一词。

–滚轴
13年3月27日在22:32

@Syzygy反编译对我来说似乎很公平。顺便说一句,您的演示文稿的链接似乎无效。

–埃德·麦克曼(Ed McMan)
13年3月27日在22:37

糟糕...该参考是[1] ruxconbreakpoint.com/assets/Uploads/bpx / ... ;-)

–滚轴
13年3月27日在22:41

@Syzygy那么“巨大”有多大?

–埃德·麦克曼(Ed McMan)
13年3月28日在2:00