Incremental Flow Analysis through Computational Dependency Reification Vrije Universiteit Brussel
Static analyses are used to gain more confidence in changes made by developers. To be of most use, such analyses must deliver feedback fast. Therefore, incremental static analyses update previous results rather than entirely recompute them. This reduces the analysis time upon a program change, and makes the analysis well-suited for environments where the codebase is frequently updated, such as in IDEs and CI pipelines.
In this work, ...
In this work, ...