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

摘要：

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

关键词：Ω区域、Φ区域、数组数据流分析、数组私有化、符号分析

所属期刊栏目：11

分类号：TP311(计算技术、计算机技术)

资助基金：中国科学院资助项目69633030;国家科技攻关项目863-306-ZT01-02-01;教育部科技司资助项目;国防重点实验室基金97JS76.5.2.JW0701

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：334-341