William Landi, Barbara G. Ryder, Sean Zhang  Home/Search
Context Related
Links: ACM | rutgers.edu/pub/tech...lcsrtr195.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF Problem Downloading? From: rutgers.edu/pub/technicalrepo... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a new interprocedural modification side effects algorithm for C programs, that can discern side effects through general-purpose pointer usage. Ours is the first complete design and implementation of such an algorithm. Preliminary performance findings support the practicality of the technique, which is based on our previous approximation algorithm for pointer aliases [LR92]. Each indirect store through a pointer variable is found, on average, to correspond to a store into 1.1... (Update)
Context of citations to this paper: More
...aliasing, a thorny problem in dataflow analysis. We intend to incorporate ideas from recent work such as [HS94] and especially [LR92, LRZ93, PLR94] which address the kinds of pointer aliasing that arise in C programs. The du abstraction originates in the Aspect...
.... parameters passed by reference and for dealing with aliasing are discussed in [8] Landi described the pointer aliasing problem in [11] and Tonella also presented an approach to interprocedural analysis in [21] Another problem is how to understand class interactions and...
Cited by: More
Cloning-Based Context-Sensitive Pointer Alias Analysis Using.. - Whaley, Lam (2004) (Correct)
Pointer Analysis for Monotonic Container Traversals - Albert Cohen Peng (2001) (Correct)
Hidden Dependencies in Program Comprehension and Change.. - Yu, Rajlich (2001) (Correct)
Similar documents (at the sentence level):
39.3%: Interprocedural Modification Side Effect Analysis With.. - Landi, Ryder, Zhang (1993) (Correct)
8.0%: A Schema for Interprocedural Modification.. - Landi, Ryder.. (1998) (Correct)
Active bibliography (related documents): More All
0.3: A Comprehensive Approach to Parallel Data Flow Analysis - Lee, Ryder (1992) (Correct)
0.3: Interprocedural Aliasing In The Presence Of Pointers - Landi (1992) (Correct)
0.2: Interprocedural Reaching Definitions in the Presence of.. - Pande, Landi, Ryder (1992) (Correct)
Similar documents based on text: More All
0.3: Incremental Algorithms and Empirical Comparison for Flow-.. - Yur, Ryder, Landi (1998) (Correct)
0.2: An Incremental Flow- and Context-sensitive Pointer Aliasing.. - Yur, Ryder, Landi (1999) (Correct)
0.2: A Safe Approximate Algorithm for Interprocedural Pointer Aliasing - Landi, Ryder (1992) (Correct)
Related documents from co-citation: More All
46: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
40: Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
33: Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
BibTeX entry: (Update)
William Landi, Barbara Ryder, and Sean Zhang. Interprocedural modification side effect analysis with pointer aliasing. In SIGPLAN '93 Conference on Programming Language Design and Implementation, pages 56--67, June 1993. SIGPLAN Notices 28(6). http://citeseer.ist.psu.edu/landi93interprocedural.html More
@article{ landi93interprocedural,
author = "William Landi and Barbara G. Ryder and Sean Zhang",
title = "Interprocedural modification side effect analysis with pointer aliasing",
journal = "ACM SIG{\-}PLAN Notices",
volume = "28",
number = "6",
isbn = "0-89791-598-4",
pages = "56--67",
year = "1993",
url = "citeseer.ist.psu.edu/landi93interprocedural.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
390 Interprocedural slicing using dependence graphs - Horwitz, Reps et al. - 1988 ACM DBLP
318 IEEE Transactions on Software Engineering (context) - Weiser - 1984
299 Dependence Analysis for Supercomputing (context) - Banerjee - 1988 ACM
225 Flow Analysis of Computer Programs (context) - Hecht - 1977 ACM
186 The program dependence graph in a software development envir.. (context) - Ottenstein, Ottenstein - 1984 ACM DBLP
97 Pointer-induced aliasing: A problem classification (context) - Landi, Ryder - 1991 DBLP
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982 ACM DBLP
91 An efficient way to find the side effects of procedure calls.. (context) - Banning - 1979 ACM
89 Optimizing Supercompilers for Supercomputers (context) - Wolfe - 1989
77 The semantic approach to program slicing (context) - Venkatesh - 1991 ACM DBLP
73 A safe approximation algorithm for interprocedural pointer a.. (context) - Landi, Ryder - 1992
70 An interval-based approach to exhaustive and incremental int.. (context) - Burke - 1990
44 A practical interprocedural data flow analysis algorithm (context) - Barth - 1978 ACM DBLP
41 Lifetime analysis of dynamically allocated objects (context) - Ruggieri, Murtagh - 1988 ACM DBLP
38 Analyzing aliases of reference formal parameters (context) - Cooper - 1985 ACM DBLP
36 Efficient flow-sensitive interprocedural computation of poin.. (context) - Choi, Burke et al. - 1993 ACM DBLP
32 Efficient computation of flow insensitive interprocedural su.. (context) - Cooper, Kennedy - 1984 ACM DBLP
24 Interprocedural def-use associations for C programs (context) - Pande, Ryder et al. - 1991
19 Interprocedural data flow analysis (context) - Allen - 1974 DBLP
12 Ismm: Incremental software maintenance manager (context) - Ryder - 1989
10 Complexity of interprocedural side-effect analysis (context) - Cooper, Kennedy - 1987
9 Data flow based test adequecy analysis for languages with po.. (context) - Ostrand, Weyuker - 1991
6 Exposing side effects in a PL-I optimizing compiler (context) - Spillman - 1971
4 Data flow analysis techniques for program test data selectio.. (context) - Rapps, Weyuker - 1982
2 Interprocedural def-use associations in the presence of sing.. (context) - Pande, Landi et al. - 1992
2 Interprocedural depenodence analysis and parallelization (context) - Burke, Cytron - 1986
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.rutgers.edu/pub/technical-reports/): More
Constrained REDO: An Alternative to REPLAY - Liew, Steinberg (1993) (Correct)
Jambalaya: Using Multicast for Blind Distributed Web Searching .. - Navas, Hirsh (1998) (Correct)
Law-Governed Regularities in Software Systems - Minsky (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC