Intraprocedural Pointer Analysis for Container-Centric Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Reports Year : 2001

Intraprocedural Pointer Analysis for Container-Centric Applications

Albert Cohen
Peng Wu
  • Function : Author
David Padua
  • Function : Author


As programmers look forward to designing high performance applications with object-oriented models, compilers must support higher-level analyses and optimizations. Pointer analysis for container-centric applications is one of these: it exploits abstract semantics of container structures (e.g., lists, trees, associative maps) provided by standard libraries and toolkits. Extending shape analysis work by Sagiv, Reps and Wilhelm, we capture aliasing properties through dedicated points-to graphs. Formalizati- on in abstract interpretation allowed us to prove the abstraction's and transfer functions' safety. We ran the analysis on small examples. It achieved precise memory disambiguations useful to parallelization and optimization.
Fichier principal
Vignette du fichier
RR-4289.pdf (510.75 Ko) Télécharger le fichier

Dates and versions

inria-00072298 , version 1 (23-05-2006)


  • HAL Id : inria-00072298 , version 1


Albert Cohen, Peng Wu, David Padua. Intraprocedural Pointer Analysis for Container-Centric Applications. RR-4289, INRIA. 2001. ⟨inria-00072298⟩
85 View
61 Download


Gmail Facebook Twitter LinkedIn More