通过静态分析检测二进制代码中的Use-After-Free漏洞

前言 Use-After-Free是一种众所周知的漏洞类型，经常被现代的攻击代码所利用(参见Pwn2own 2016)。在研究项目AnaStaSec中，AMOSSYS提供了许多关于如何静态检测二进制代码中的此类漏洞的介绍。在这篇博文中，我们将向读者阐述学术界在如何检测这种类型的漏洞方面提出的各种建议。当然，他们当前的目标是定义一种通用方法，这样的话，我们就可以根据自己的需求来构建相应的概念验证工具

>>阅读原文<<