Incrementalized Pointer and Escape Analysis

Abstract : We present a new pointer and escape analysis. Instead of analyzing the whole program, the algorithm incrementally analyzes only those parts of the program that may deliver useful results. An analysis policy monitors the analysis results to direct the incremental investment of analysis resources to those parts of the program that offer the highest expected optimization return. Our experimental results show that almost all of the objects are allocated at a small number of allocation sites and that an incremental analysis of a small region of the program surrounding each site can deliver almost all of the benefit of a whole-program analysis. Our analysis policy is usually able to deliver this benefit at a fraction of the whole-program analysis cost.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-00808284
Contributor : Equipe Roma <>
Submitted on : Sunday, October 14, 2018 - 10:05:35 PM
Last modification on : Monday, October 21, 2019 - 4:11:07 PM
Long-term archiving on : Tuesday, January 15, 2019 - 12:52:58 PM

File

paper.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Frédéric Vivien, Martin Rinard. Incrementalized Pointer and Escape Analysis. PLDI '01 Proceedings of the ACM SIGPLAN 2001 conference on Programming language design and implementation, Jun 2001, Snowbird, United States. pp.35--46, ⟨10.1145/381694.378804⟩. ⟨hal-00808284⟩

Share

Metrics

Record views

109

Files downloads

93