Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates
No abstract available.
Related papers
- Practical Integrated Analysis of Pointers, Dataflow and Control Flow TOPLAS 2013
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA SAS 2008
- Points-to analysis with efficient strong updates POPL 2011
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs ESOP 2020
- Precise and scalable context-sensitive pointer analysis via value flow graph ISMM 2013