一句话：提出首个自动差分测试程序分析器健全性与精度的技术，并比较六个成熟分析器。
过去几十年，学术界和工业界开发了大量程序分析器，但缺少在任意代码上系统比较不同分析器有效性的方法。本文提出首个用于差分测试程序分析器健全性与精度的自动化技术。该技术通过自动生成大量基准程序，对多个分析器的结果进行差分比较，以发现健全性（漏报）和精度（误报）问题。作者用其比较了六个成熟的最先进分析器，在数万个自动生成基准上运行，并在大多数分析器中检测到健全性与精度问题；最后还讨论这些问题对分析器设计者和用户的影响。
In the last decades, numerous program analyzers have been developed both in academia and industry. Despite their abundance however, there is currently no systematic way of comparing the effectiveness of different analyzers on arbitrary code. In this paper, we present the first automated technique for differentially testing soundness and precision of program analyzers. We used our technique to compare six mature, state-of-the art analyzers on tens of thousands of automatically generated benchmarks. Our technique detected soundness and precision issues in most analyzers, and we evaluated the implications of these issues to both designers and users of program analyzers.