Client-Driven Pointer Analysis
Abstract elided by the publisher.
Related papers
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016
- Demand-Driven Pointer Analysis PLDI 2001
- Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis PLDI 2024
- Fast Client-Driven CFL-Reachability via Regularization-Based Graph Simplification OOPSLA 2025
- Fast online pointer analysis TOPLAS 2007
- From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust OOPSLA 2026
- Demand-driven points-to analysis for Java OOPSLA 2005
- Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting SAS 2016