Applying Incremental Data Flow Analysis to Large Software Systems

数据流分析算法收集有关使用的事实， 程序中的数据定义。 增量数据流分析 仅计算受程序更改影响的信息， 避免完全重新计算。 这项研究调查了 应用增量技术分析大型 软件系统。 研究计划为： o完成一个以淘汰制为基础的 基于ISMM增量更新算法原型 实现了C程序过程间分析， o以经验研究新混合动力车的行为 迭代消除增量数据流分析 算法， o发展更精确的分析技术， 在类C语言中通过指针进行别名化， o研究按比例增加增量数据所涉及的问题 用于大规模编程的流分析技术， o扩展之前对该职业的实证研究 C程序结构、典型参数和 指针用法

Data flow analysis algorithms gather facts about the use and definition of data in programs. Incremental data flow analysis only calculate information affected by the program changes and avoid total recalculation. This research investigates the application of incremental techniques to the analysis of large software systems. The research plan is: o to complete performance studies of an elimination-based incremental update algorithm using ISMM, a prototype implementation for interprocedural analysis of C programs, o to empirically study the behavior of a new hybrid iteration-elimination incremental data flow analysis algorithm, o to develop more precise analysis techniques to deal with aliasing through pointers in C-like languages, o to study issues involved in scaling up incremental data flow analysis techniques for programming-in-the-large, o to extend previous empirical studies of the calling structure of C programs, their typical parameter and pointer usages.