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 条

[41] ULTRASENSITIVE DETECTION IN FLOW-ANALYSIS
DOVICHI, NJ
[J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1984, 188 (AUG): : 124 - PHYS
[42] POTENTIOMETRIC DETECTION IN FLOW-ANALYSIS
TOTH, K
FUCSKO, J
LINDNER, E
FEHER, Z
PUNGOR, E
[J]. ANALYTICA CHIMICA ACTA, 1986, 179 : 359 - 370
[43] CONTROL FLOW-ANALYSIS IN SCHEME
SHIVERS, O
[J]. SIGPLAN NOTICES, 1988, 23 (07): : 164 - 174
[44] TRIAL MEASUREMENTS IN FLOW-ANALYSIS
DOSREIS, BF
ZAGATTO, EAG
MARTELLI, PB
BRIENZA, SMB
[J]. ANALYST, 1993, 118 (06) : 719 - 722
[45] AMPEROMETRIC DETECTION IN FLOW-ANALYSIS
TROJANOWICZ, M
[J]. CHEMIA ANALITYCZNA, 1985, 30 (02): : 171 - 184
[46] A SUBMERSIBLE FLOW-ANALYSIS SYSTEM
JOHNSON, KS
BEEHLER, CL
SAKAMOTOARNOLD, CM
[J]. ANALYTICA CHIMICA ACTA, 1986, 179 : 245 - 257
[47] ANOMALY DETECTION IN CONCURRENT SOFTWARE BY STATIC DATA FLOW-ANALYSIS
TAYLOR, RN
OSTERWEIL, LJ
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1980, 6 (03) : 265 - 278
[48] EXTENSIONS OF PRODUCTION FLOW-ANALYSIS
DEKLEVA, J
MENART, D
[J]. JOURNAL OF MANUFACTURING SYSTEMS, 1987, 6 (02) : 93 - 105
[49] FLOW-ANALYSIS USING CALORIMETERS
GAVRON, A
[J]. NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1988, 273 (01): : 371 - 376
[50] THE PROGRAM SUMMARY GRAPH AND FLOW-SENSITIVE INTERPROCEDURAL DATA FLOW-ANALYSIS
CALLAHAN, D
[J]. SIGPLAN NOTICES, 1988, 23 (07): : 47 - 56

← 1 2 3 4 5 →