Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA
Abstract elided by the publisher.
Related papers
- MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang OOPSLA 2024
- Run-Time Support for Optimizations Based on Escape Analysis CGO 2007
- Practical Integrated Analysis of Pointers, Dataflow and Control Flow TOPLAS 2013
- Compositional Pointer and Escape Analysis for Java Programs OOPSLA 1999
- Escape analysis for JavaTM: Theory and practice TOPLAS 2003
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- Using Static Single Assignment Form to Improve Flow-Insensitive Pointer Analysis PLDI 1998