See this document in CiteSeerX!

Interprocedural Pointer Analysis for C (1996)  (Make Corrections)  (4 citations)
John Lu



  Home/Search   Context   Related

Links:   ACM

 
View or download:
rice.edu/pub/CRPC...PCTR96657S.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  rice.edu/CRPC/softli...TRs_online (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: Interprocedural pointer analysis provides information on the values pointer variables may have at various points in a program. It is especially useful in languages like C, where pointers are extensively used. This analysis does not improve code directly but is used by other optimizations. (Update)

Context of citations to this paper:   More

...compiled code forces most compilers to do static alias analysis to prove correctness of optimizations. Examples can be found in [16, 18, 28, 29, 87]. These references represent a range of complexity in the analysis phase; compile time is an important consideration in such...

.... analysis and optimization [CFR 91] Many efficient algorithms based on SSA forms have been developed for pointer analysis [Wil97, HH98, Lu98] optimization [WZ91, CC95, CCK 97] and parallelization [Wol92, GSW95, TP95] 3.1.1 Properties of SSA Forms An SSA form has two...

Cited by:   More
Compiler Transformation of Pointers to Explicit Array.. - Franke, O'Boyle   (Correct)
Compiler and Microarchitecture Mechanisms for Exploiting.. - Postiff (2001)   (Correct)
Integrating Scalar Analyses And Optimizations In A Parallelizing.. - Zheng (2000)   (Correct)

Active bibliography (related documents):   More   All
0.1:   Compiler Representations for Heterogeneous Processing - Weaver (1995)   (Correct)
0.1:   Enhanced Code Compression for Embedded RISC Processors - Cooper, McIntosh (1999)   (Correct)
0.1:   Reducing Message Overhead in Home-Based Software DSMs - Weiwu Hu Institute (1999)   (Correct)

System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text:   More   All
0.6:   Modular Interprocedural Pointer Analysis Using Access Paths.. - Cheng, Hwu (2000)   (Correct)
0.5:   An Empirical Study of Function Pointers Using SPEC Benchmarks - Cheng, Hwu (1999)   (Correct)
0.4:   A Practical Interprocedural Pointer Analysis Framework - Cheng, Hwu (1999)   (Correct)

Related documents from co-citation:   More   All
5:   Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
4:   Caching Processor General Registers (context) - Yung, Wilhelm - 1995
3:   Advanced Compiler Design and Implementation (context) - Munchnik - 1997

BibTeX entry:   (Update)

John Lu. Interprocedural Pointer Analysis for C. Rice University, Houston, Texas, USA Tech. Report. April, 1998. http://citeseer.ist.psu.edu/lu96interprocedural.html   More

@techreport{ lu98interprocedural,
    author = "John Lu",
    title = "Interprocedural Pointer Analysis for {C}",
    number = "TR98-317",
    month = "20,",
    pages = "139",
    year = "1998",
    url = "citeseer.ist.psu.edu/lu96interprocedural.html" }
Citations (may not include all citations):
866   Techniques and Tools (context) - Aho, Sethi et al. - 1986
415   Efficiently computing static single assignment form and the .. - Cytron, Ferrante et al. - 1991  ACM   DBLP
252   Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990  ACM   DBLP
246   Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994  ACM   DBLP
180   Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995  ACM   DBLP
175   A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992  ACM   DBLP
173   SUIF: An infrastructure for research on parallelizing and op.. - Wilson - 1994  DBLP
101   Context-insensitive alias analysis reconsidered - Ruf - 1995  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
86   A precise interprocedural data flow algorithm (context) - Myers - 1981  DBLP
79   Efficient flow-sensitive interprocedural computation of poin.. - Choi, Burke et al. - 1993  ACM   DBLP
49   A general data dependence test for dynamic (context) - Hummel, Hendren et al. - 1994
47   An algorithm for reduction of operator strength (context) - Cocke, Kennedy - 1977  ACM   DBLP
36   Interprocedural may-alias analysis for pointers: Beyond k-li.. (context) - Deutsch - 1994
25   Faster sequential genetic linkage computations - Jr, Idury et al. - 1993
10   Nonsyndromic cleft lip and palate: No evidence of linkage to.. (context) - Hecht, Wang et al. - 1993
6   Strategies for multilocus analysis in humans (context) - Lathrop, Lalouel et al. - 1984
6   The massively scalar compiler project - Briggs - 1994
1   Avoiding recomputation in linkage analysis (context) - Schffer, Gupta et al. - 1994
1   Detecting conflicts between stucture accesses (context) - Larus, Hlifinger - 1988

Documents on the same site (http://softlib.rice.edu/CRPC/softlib/TRs_online.html):   More
Experiences on Data-Parallel Programming - Clark, von Hanxleden, Kennedy (1994)   (Correct)
A Priori Estimates for Mixed Finite Element.. - Cowsar, Dupont, Wheeler   (Correct)
An Empirical Evaluation of Dependence Analysis in Parallel Program .. - Monk (1995)   (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