Qilin: A New Framework For Supporting Fine-Grained Context-Sensitivity in Java Pointer Analysis
No abstract available.
DOI 10.4230/lipics.ecoop.2022.30
Related papers
- A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis OOPSLA 2023
- Bottom-Up Context-Sensitive Pointer Analysis for Java APLAS 2015
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis PLDI 2023
- Making pointer analysis more precise by unleashing the power of selective context sensitivity OOPSLA 2021
- Towards a Theoretically-Backed and Practical Framework for Selective Object-Sensitive Pointer Analysis OOPSLA 2025
- SHARP: fast incremental context-sensitive pointer analysis for Java OOPSLA 2022
- Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java ECOOP 2016