Fast and Precise Handling of Positive Weight Cycles for Field-Sensitive Pointer Analysis
Abstract elided by the publisher.
Related papers
- SHARP: fast incremental context-sensitive pointer analysis for Java OOPSLA 2022
- Efficient field-sensitive pointer analysis of C TOPLAS 2007
- Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity OOPSLA 2019
- Boosting the Performance of Alias-Aware IFDS Analysis with CFL-Based Environment Transformers OOPSLA 2024
- A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction ECOOP 2024
- Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis PLDI 2023
- Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability ECOOP 2026
- MEA2: A Lightweight Field-Sensitive Escape Analysis with Points-to Calculation for Golang OOPSLA 2024