Applying Incremental Data Flow Analysis to Large Software Systems

数据流分析算法收集有关程序中数据的使用和定义的事实。增量数据流分析只计算受程序更改影响的信息，避免完全重新计算。本研究探讨增量式技术在大型软件系统分析中的应用。研究计划是：o使用C程序过程间分析的原型实现ISMM来完成基于消除的增量更新算法的性能研究，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.