Abstract
Program analyses support software developers, for example, through error detection, code-quality assurance, and by enabling compiler optimizations and refactorings. To provide real-time feedback to developers within IDEs, an analysis must run efficiently even if the analyzed code base is large.
To achieve this goal, we present a domain-specific language called IncA for the definition of efficient incremental program analyses that update their result as the program changes. IncA compiles analyses into graph patterns and relies on existing incremental matching algorithms. To scale IncA analyses to large programs, we describe optimizations that reduce caching and prune change propagation. Using IncA, we have developed incremental control flow and points-to analysis for C, well-formedness checks for DSLs, and 10 FindBugs checks for Java. Our evaluation demonstrates significant speedups for all analyses compared to their non-incremental counterparts.
To achieve this goal, we present a domain-specific language called IncA for the definition of efficient incremental program analyses that update their result as the program changes. IncA compiles analyses into graph patterns and relies on existing incremental matching algorithms. To scale IncA analyses to large programs, we describe optimizations that reduce caching and prune change propagation. Using IncA, we have developed incremental control flow and points-to analysis for C, well-formedness checks for DSLs, and 10 FindBugs checks for Java. Our evaluation demonstrates significant speedups for all analyses compared to their non-incremental counterparts.
Original language | English |
---|---|
Title of host publication | ASE 2016 Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering |
Editors | D. Lo |
Place of Publication | New York |
Publisher | Association for Computing Machinery (ACM) |
Pages | 320-331 |
Number of pages | 12 |
ISBN (Print) | 978-1-4503-3845-5 |
DOIs | |
Publication status | Published - Sept 2016 |
Event | ASE 2016: 31st IEEE/ACM International Conference on Automated Software Engineering - Singapore, Singapore Duration: 3 Sept 2016 → 7 Sept 2016 Conference number: 31 |
Conference
Conference | ASE 2016 |
---|---|
Country/Territory | Singapore |
City | Singapore |
Period | 3/09/16 → 7/09/16 |
Keywords
- Static Analysis
- Incremental Computation
- Domain-specific language
- Language Workbench