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

Region Coverage Method in Dataflow Analysis

作　　者：胡世亮 臧斌宇[1] 凌冰 朱传琪[1] 

机构地区：[1]复旦大学并行处理研究所,上海200433

出　　处：《软件学报》2000年第3期334-341,共8页Journal of Software

基　　金：国家自然科学基金!(No.6 96 330 30 );国家 86 3高科技项目基金!(No.86 3- 30 6 - ZT0 1- 0 2 - 0 1);教育部科学技术项目基金;国

摘　　要：用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除条件分支语句带来的不确定性 ,以得到更精确的数据流信息 .For a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions. In this paper, the authors discuss how to represent, compute and propagate the Ω region, Φ region of the conditional reference. Meanwhile, the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information.

关 键 词：数据流分析 区域覆盖 数组 符号分析 数据集 

分 类 号：TP274.2[自动化与计算机技术—检测技术与自动化装置] TP311[自动化与计算机技术—控制科学与工程]