一种增量式数据流分析方法

摘要

数据流分析是编译器中的重要部分,而增量式分析在程序开发环境和过程间优化编译器中有着相当实用的价值.当程序发生变化时,它可以增量式地维护数据流信息,而不致因程序的任何小改动都重新进行数据流分析.给出了一种增量式的消去数据流算法,它基于路径简化算法,具有和路径简化算法同样的复杂度,同样的通用性(适用于不可归约流图和流函数不完备的情况),而且能方便地在程序发生变化时维护现有的数据流信息.