See this document in CiteSeerX!

Practical and Accurate Low-Level Pointer Analysis  (Make Corrections)  
Bolei Guo Matthew J. Bridges Spyridon Triantafyllis Guilherme Ottoni Easwaran ...



  Home/Search   Context   Related

 
View or download:
princeton.edu/Publicatio...cgo3_lma.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  princeton.edu/Publications/ (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
The paper proposes doing pointer analysis on low-level program representation.

Abstract: Pointer analysis is traditionally performed once, early in the compilation process, upon an intermediate representation (IR) with source-code semantics. However, performing pointer analysis only once at this level imposes a phase-ordering constraint, causing alias information to become stale after subsequent code transformations. Moreover, high-level pointer analysis cannot be used at link time or run time, where the source code is unavailable. (Update)

Active bibliography (related documents):   More   All
0.5:   K. Julisch and C. Kruegel (Eds.): DIMVA 2005, LNCS.. - Springer-Verlag.. (2005)   (Correct)
0.1:   Pointer Analysis: Haven't We Solved This Problem Yet? - Hind (2001)   (Correct)
0.1:   Data Structure Analysis: A Fast and Scalable Context-Sensitive .. - Lattner, Adve (2003)   (Correct)

Similar documents based on text:   More   All
0.2:   RIFLE: An Architectural Framework for User-Centric - Neil   (Correct)
0.2:   Exposing Memory Access Regularities Using.. - Wu, Pyatakov.. (2004)   (Correct)
0.2:   Improving Offset Assignment through Variable Coalescing - Ottoni, Ottoni, Araujo.. (2003)   (Correct)

BibTeX entry:   (Update)

@misc{ guo:05:cg0,
  author = "Bolei Guo and Matthew Bridges and Spyridon Triantafyllis and Guilherme Ottoni and Easwaran Raman and David I. August",
  title = "Practical and Accurate Low-Level Pointer Analysis",
  url = "citeseer.ist.psu.edu/721100.html" }
Citations (may not include all citations):
246   Context-sensitive interprocedural points-to analysis in the .. - Emami, Ghiya et al. - 1994
232   Program analysis and specialization for the C programming la.. (context) - Andersen - 1994
228   Points-to analysis in almost linear time - Steensgaard - 1996
200   Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996
180   Efficient context-sensitive pointer analysis for C programs - Wilson, Lam - 1995
175   A safe approximate algorithm for interprocedural pointer ali.. - Landi, Ryder - 1992
164   The superblock: An effective technique for VLIW and supersca.. (context) - Hwu, Mahlke et al. - 1993
160   IMPACT: An architectural framework for multiple-instruction-.. - Chang, Mahlke et al. - 1991
131   Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
63   A storeless model of aliasing and its abstractions using fin.. (context) - Deutsch - 1992
52   Relevant context inference - Chatterjee, Ryder et al. - 1999
48   Points-to analysis by type inference in programs with struct.. - Steensgaard - 1996
39   Modular interprocedural pointer analysis using access paths:.. - Cheng, Hwu - 2000
33   Alias analysis of executable code - Debray, Muth et al. - 1998
29   Pointer analysis: Haven't we solved this problem yet - Hind - 2001
24   Which pointer analysis should I use - Hind, Pioli - 2000
2   Analyzing memory accesses in x86 executables (context) - Balakrishnan, Reps - 2004

Documents on the same site (http://liberty.cs.princeton.edu/Publications/):   More
The Liberty Simulation Environment: A Deliberate.. - Vachharajani.. (2004)   (Correct)
Exposing Memory Access Regularities Using.. - Wu, Pyatakov.. (2004)   (Correct)
Microarchitectural Exploration with Liberty - Neil (2002)   (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