Region-Based Selective Flow-Sensitive Pointer Analysis
Abstract elided by the publisher.
Related papers
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- A Principled Approach to Selective Context Sensitivity for Pointer Analysis TOPLAS 2020
- Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis OOPSLA 2025
- Accelerating Object-Sensitive Pointer Analysis by Exploiting Object Containment and Reachability ECOOP 2021
- Precision-guided context sensitivity for pointer analysis OOPSLA 2018
- Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis PLDI 2023
- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers CC 2006
- Scalable Flow-Sensitive Pointer Analysis for Java with Strong Updates ECOOP 2012