程序分析像一门博大精深的武功，但在安全领域施展起来往往会被特定的问题束缚住手脚，今年五月的IEEE S&P，我们将会在会议上报告两项研究内容，分别介绍将程序分析应用于漏洞检测和漏洞防护的一些“...