文章基本信息

标题：Taming the Static Analysis Beast
本地全文：下载
作者：John Toman ; Dan Grossman
期刊名称：LIPIcs : Leibniz International Proceedings in Informatics
电子版ISSN：1868-8969
出版年度：2017
卷号：71
页码：18:1-18:14
DOI：10.4230/LIPIcs.SNAPL.2017.18
出版社：Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
摘要：While industrial-strength static analysis over large, real-world codebases has become commonplace, so too have difficult-to-analyze language constructs, large libraries, and popular frameworks. These features make constructing and evaluating a novel, sound analysis painful, error-prone, and tedious. We motivate the need for research to address these issues by highlighting some of the many challenges faced by static analysis developers in today's software ecosystem. We then propose our short- and long-term research agenda to make static analysis over modern software less burdensome.
关键词：static analysis; frameworks; api knowledge; library specifications