A CRITICAL ANALYSIS OF INCREMENTAL ITERATIVE DATA FLOW-ANALYSIS ALGORITHMS

被引：13
|
作者：
BURKE, MG [1 ]
RYDER, BG [1 ]
机构：
[1] RUTGERS STATE UNIV,DEPT COMP SCI,NEW BRUNSWICK,NJ 08903
来源：
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING | 1990年 / 16卷 / 07期
基金：
美国国家科学基金会;
关键词：
Data How analysis; incremental algorithms; tixed point iteration;
D O I：
10.1109/32.56098
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Recently, incremental iterative data flow analysis algorithms have been proposed for updating data flow information after a program change. Unfortunately, many of them are “faulty”; they do not yield the same solution as an exhaustive, “from scratch” fixed point iteration on the altered data flow problem. The basis of these faulty algorithms is the technique of restarting iteration. We discuss this technique, giving illustrative examples from interprocedural and intraprocedural analysis. We also summarize some incremental techniques which calculate precise data flow information. © 1990 IEEE
引用
收藏
页码：723 / 728
页数：6
相关论文
共 50 条
12345