DeltaPath: Precise and Scalable Calling Context Encoding
No abstract available.
Related papers
- Precise and scalable points-to analysis via data-driven context tunneling OOPSLA 2018
- Valence: variable length calling context encoding CC 2019
- Enhancing Program Analysis with Deterministic Distinguishable Calling Context CC 2025
- Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis ECOOP 2026
- Compare less, defer more: scaling value-contexts based whole-program heap analyses CC 2019
- Mix your contexts well: opportunities unleashed by recent advances in scaling context-sensitivity CC 2020
- Context-, flow-, and field-sensitive data-flow analysis using synchronized Pushdown systems POPL 2019
- Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs TOPLAS 2017