Taming the Static Analysis Beast.
SNAPL(2017)
摘要
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 todayu0027s software ecosystem. We then propose our short- and long-term research agenda to make static analysis over modern software less burdensome.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络