数据流分析中的区域覆盖技术

用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系.该文讨论在各种常见的程序构造下如何表示、计算和传递ω区域、φ区域，并在数据流分析过程中,利用ω区域、φ区域之间的覆盖关系消除条件分支语句带来的不确定性,以得到更精确的数据流信息.