2026-07-23T05:51:43Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7121 2024-03-06T10:39:36Z ddc:004 open_access

Taming the Static Analysis Beast Toman, John Grossman, Dan static analysis frameworks api knowledge library specifications 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. Schloss Dagstuhl – Leibniz-Zentrum für Informatik John Toman and Dan Grossman 2017 Is Part Of LIPIcs, Volume 71, 2nd Summit on Advances in Programming Languages (SNAPL 2017) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.SNAPL.2017.18 urn:nbn:de:0030-drops-71213 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2017.18 eng https://creativecommons.org/licenses/by/3.0/legalcode