Scalable Context-Sensitive Points-to Analysis Using Multi-dimensional Bloom Filters
Abstract elided by the publisher.
Related papers
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- Multi-Dimensional Context-Oriented Programming with a Lightweight Domain Specific Language SLE 2026
- Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis CGO 2025
- Precise and scalable points-to analysis via data-driven context tunneling OOPSLA 2018
- Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code CGO 2010
- Scalable context-sensitive flow analysis using instantiation constraints PLDI 2000
- Making context-sensitive points-to analysis with heap cloning practical for the real world PLDI 2007
- Prioritizing constraint evaluation for efficient points-to analysis CGO 2011