增量数据流分析中的共同主题：一项全面调查

《ACM Computing Surveys》：Common Threads in Incremental Data Flow Analysis: A Comprehensive Survey

增量数据流分析通过仅更新代码修改部分并重用现有信息，提升演进步伐软件的持续分析效率。其核心“重置与重新计算”范式使技术分类更清晰，同时揭示研究空白与未来挑战方向。

　　

摘要

增量数据流分析采用了一种技术，该技术仅根据代码中修改的部分来更新数据流信息，从而重用了大量之前计算过的信息。由于大多数现实世界的软件系统都会随时间演变，增量分析技术提供了一种高效的方法，而且通常是从头开始进行完整（重新）分析的唯一可行替代方案。我们描述了现有的增量分析技术如何遵循一个共同的“重置并重新计算”范式。这种方法具有双重好处：首先，它使我们能够根据各种增量技术如何适应这一范式来对其进行研究；其次，它有助于我们识别增量数据流分析领域中的空白和待解决的问题，为未来的研究提供方向。