Sean Zhang, Barbara G. Ryder, William Landi  Home/Search
Context Related
| rutgers.edu/pub/tech...lcsrtr259.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 From: rutgers.edu/pub/technicalrepo... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: For compile-time pointer aliasing analysis, a program written in the C language can be considered as a sequence of pointer-related assignments. In this paper, we present a technique that decomposes these assignments into unrelated sets in terms of their effects on pointerinduced aliasing. This decomposition will allow different pointer aliasing analysis methods to be applied to individual sets of assignments so that end users of pointer aliasing information can get the efficiency/precision... (Update)
Context of citations to this paper: More
.... takes into account the order in which statements are executed, while flow insensitive analysis (e.g. Wei80] MCCH94] And94] Ste96b] [ZRL96] ) assumes that statements can be executed in any order. Similarly, context sensitive analysis takes into account the fact that a...
...pointer related assignments are considered symmetric and the control flow in the program is not taken into account. We prove in [44] that the FA relation defined above is weakly right regular. For the example program in Figure 4, the FA relation has the following...
Cited by: More
Program Decomposition for Pointer Aliasing: A Step toward.. - Zhang, Ryder, Landi (1996) (Correct)
Fast and Accurate Flow-Insensitive Points-To Analysis - Shapiro, Horwitz (1997) (Correct)
Active bibliography (related documents): More All
0.3: Putting Pointer Analysis To Work - Ghiya (1998) (Correct)
0.2: A Schema for Interprocedural Modification.. - Landi, Ryder.. (1998) (Correct)
0.2: Integrating Scalar Analyses And Optimizations In A Parallelizing.. - Zheng (2000) (Correct)
Similar documents based on text: More All
0.1: Experiments with Combined Analysis for Pointer Aliasing - Zhang (1998) (Correct)
0.1: Memory Disambiguation for General-Purpose Applications - Luk (Correct)
0.1: Interprocedural Modification Side Effect Analysis With.. - Landi, Ryder, Zhang (1993) (Correct)
Related documents from co-citation: More All
3: Interprocedural modification side effect analysis with pointer aliasing - Landi, Ryder et al. - 1993
2: Efficient flow-sensitive interprocedural computation of pointerinduced aliases a.. - Choi, Burke et al. - 1993
2: Context-sensitive interprocedural points-to analysis in the presence of function.. - Emami, Ghiya et al. - 1994
BibTeX entry: (Update)
S. Zhang, B. G. Ryder, and W. Landi. Program decomposition for pointer-induced aliasing analysis. Technical report, Rutgers University LCSR-TR-259, 1996. http://citeseer.ist.psu.edu/article/zhang96program.html More
@inproceedings{ zhang96program,
author = "Sean Zhang and Barbara G. Ryder and William Landi",
title = "Program Decomposition for Pointer Aliasing: A Step Toward Practical Analyses",
booktitle = "Foundations of Software Engineering",
pages = "81-92",
year = "1996",
url = "citeseer.ist.psu.edu/article/zhang96program.html" }
Citations (may not include all citations):252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
246 Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994
228 Points-to analysis in almost linear time - Steensgaard - 1996
228 Points-to analysis in almost linear time - Steensgaard - 1995
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996
195 ACM Transactions on Programming Languages and Systems (context) - Ramalingam, of - 1994
180 Efficient context-sensitive pointer analysis for c programs - Wilson, Lam - 1995
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1989
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
101 Context-insensitive alias analysis reconsidered - Ruf - 1995
99 a shape analysis for heap-directed pointers in c (context) - Ghiya, tree et al. - 1996
97 Pointer-induced aliasing: a problem classification (context) - Landi, Ryder - 1991
91 An efficient way to find the side effects of procedure calls.. (context) - Banning - 1979
79 Efficient flow-sensitive interprocedural computation of poin.. - Choi, Burke et al. - 1993
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993
69 Interprocedural modification side effect analysis with point.. - Landi, Ryder et al. - 1993
68 Interprocedural data flow analysis in the presence of pointe.. - Weihl - 1980
68 ACM letters on programming languages and systems (context) - Landi, static - 1992
64 Efficient type inference for higher-order binding-time analy.. - Henglein - 1991
62 Program analysis and specialization for the C programming la.. (context) - Andersen - 1994
51 Value dependence graphs: Representation without taxation - Weise, Crew et al. - 1994
41 Pointer-induced aliasing: a clarification (context) - Marlowe, Landi et al. - 1993
25 Society for Industrial and Applied Mathematics (context) - Tarjan, Network - 1983
23 Flow-insensitive interprocedural alias analysis in the prese.. - Burke, Carini et al. - 1995
19 Sparse functional stores for imperative programs - Steensgaard - 1995
19 A practical interprocedural alias analysis for an optimizing.. (context) - Emami - 1993
13 Defining flow sensitivity for data flow problems - Marlowe, Ryder et al. - 1995
12 Practical techniques for interprocedural heap analysis - Ghiya - 1995
1 A safe approximate algorithm for interprocedural pointer ali.. - Barbara, Ryder - 1992
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