Reviser: efficiently updating IDE-/IFDS-based data-flow analyses in response to incremental program changes
Proceedings of the 36th International Conference on Software Engineering, 2014•dl.acm.org
Most application code evolves incrementally, and especially so when being maintained after
the applications have been deployed. Yet, most data-flow analyses do not take advantage of
this fact. Instead they require clients to recompute the entire analysis even if little code has
changed—a time consuming undertaking, especially with large libraries or when running
static analyses often, eg, on a continuous-integration server. In this work, we present
Reviser, a novel approach for automatically and efficiently updating inter-procedural …
the applications have been deployed. Yet, most data-flow analyses do not take advantage of
this fact. Instead they require clients to recompute the entire analysis even if little code has
changed—a time consuming undertaking, especially with large libraries or when running
static analyses often, eg, on a continuous-integration server. In this work, we present
Reviser, a novel approach for automatically and efficiently updating inter-procedural …
Most application code evolves incrementally, and especially so when being maintained after the applications have been deployed. Yet, most data-flow analyses do not take advantage of this fact. Instead they require clients to recompute the entire analysis even if little code has changed—a time consuming undertaking, especially with large libraries or when running static analyses often, e.g., on a continuous-integration server. In this work, we present Reviser, a novel approach for automatically and efficiently updating inter-procedural dataflow analysis results in response to incremental program changes. Reviser follows a clear-and-propagate philosophy, aiming at clearing and recomputing analysis information only where required, thereby greatly reducing the required computational effort. The Reviser algorithm is formulated as an extension to the IDE framework for Inter-procedural Finite Distributed Environment problems and automatically updates arbitrary IDE-based analyses. We have implemented Reviser as an open-source extension to the Heros IFDS/IDE solver and the Soot program-analysis framework. An evaluation of Reviser on various client analyses and target programs shows performance gains of up to 80% in comparison to a full recomputation. The experiments also show Reviser to compute the same results as a full recomputation on all instances tested.
ACM Digital Library