Live Feedback through Incremental Program Analysis

By: Sebastian Erdweg

Abstract

We present IncA, a language-independent framework for incremental static analysis that does not compromise on precision. IncA provides a DSL for the definition of static analyses and incrementalizes them automatically. We explain how the IncA compiler translates analysis specifications into Datalog-style rules and how the IncA runtime solves these rules incrementally, including how IncA incrementalizes fixpoint computations ubiquitous in data-flow analysis.

Keywords

Static Analysis, Incremental Analysis, IDE, Datalog, Program Understanding

Cite as:

Sebastian Erdweg, “Live Feedback through Incremental Program Analysis”, Journal of Object Technology, Volume 25, no. 1 ( 2026), pp. 1:1-1, doi:10.5381/jot.2026.25.1.a6.

DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn