by Philip A. Stocks, Barbara G. Ryder, William A. Landi, Sean Zhang
ftp://www.cs.rutgers.edu/pub/technical-reports/dcs-tr-335.ps.Z
Add To MetaCart
Abstract:
Precision and scalability are two desirable, yet often conflicting, features of data-flow analyses. This paper reports on a case study of the modification-side-effects problem for C in the presence of pointers from the perspective of contrasting the flow and context sensitivity of the solutionprocedure with respect to precision and scalability. The results show that the cost of precision of flow- and context-sensitive analysis is not always prohibitive, and that the precision of flow- and context-insensitive analysis is substantially better than worstcase estimates and can be sufficient for certain applications. Program characteristics that affect the performance of dataflow analysis are identified.
Citations
|
301
|
A safe approximate algorithm for interprocedural pointer aliasing
– Landi, Ryder
- 1992
|
|
234
|
Precise interprocedural dataflow analysis via graph reachability
– Reps, Sagiv, et al.
- 1995
|
|
216
|
Two approaches to interprocedural data flow analysis
– Sharir, Pnueli
- 1981
|
|
188
|
Flow analysis and optimization of lisp-like structures
– Jones, Muchnick
- 1981
|
|
179
|
Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effects
– Choi, Burke, et al.
- 1993
|
|
137
|
Fast and Accurate Flow-Insensitive Points-To Analysis
– Shapiro, Horwitz
- 1997
|
|
122
|
Context-insensitive alias analysis reconsidered
– Ruf
- 1995
|
|
120
|
An efficient way to find the side effects of procedure calls and the aliases of variables
– Banning
- 1979
|
|
114
|
Interprocedural modification side effect analysis with pointer aliasing
– Landi, Ryder, et al.
- 1993
|
|
111
|
Pointer-induced aliasing: A problem classification
– Landi, Ryder
- 1991
|
|
104
|
Complexity of interprocedural side-effect analysis
– Cooper, Kennedy
- 1987
|
|
97
|
A flexible approach to interprocedural data flow analysis and programs with recursive data structures
– Jones, Muchnick
- 1982
|
|
72
|
An interval-based approach to exhaustive and incremental interprocedural data-flow analysis
– Burke
- 1990
|
|
67
|
The effects of precision on pointer analysis
– Shapiro, Horwitz
- 1997
|
|
43
|
Program decomposition for pointer aliasing: A step towards practical analyses
– Zhang, Ryder, et al.
- 1996
|
|
37
|
Analyzing aliases of reference formal parameters
– COOPER
|
|
34
|
Properties of data flow frameworks, a unified model
– Marlowe, Ryder
- 1990
|
|
25
|
Interprocedural side effect analysis with pointer aliasing
– Landi, Ryder, et al.
- 1993
|
|
24
|
Pointer-induced aliasing: A clarification
– MARLOWE, LANDI, et al.
- 1993
|
|
20
|
Defining flow sensitivity in data flow problems
– Marlowe, Ryder, et al.
- 1995
|
|
5
|
Partitioning data flow analysis using types
– Ruf
- 1997
|
