The Effects of the Precision of Pointer Analysis
No abstract available.
Related papers
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- Semi-sparse flow-sensitive pointer analysis POPL 2009
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- Interprocedural Side Effect Analysis With Pointer Aliasing PLDI 1993
- Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis PLDI 2023
- Precision-guided context sensitivity for pointer analysis OOPSLA 2018
- Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity OOPSLA 2019
- A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction CC 2024