Liveness-Based Pointer Analysis
No abstract available.
Related papers
- Stack Filtering: Elevating Precision and Efficiency in Rust Pointer Analysis CGO 2025
- Precise Flow-Insensitive May-Alias Analysis is NP-Hard TOPLAS 1997
- On the usefulness of type and liveness accuracy for garbage collection and leak detection TOPLAS 2002
- Compact Garbage Collection Tables ISMM 2000
- Free-Me: a static analysis for automatic individual object reclamation PLDI 2006
- Sound garbage collection for C using pointer provenance OOPSLA 2020
- Incremental Bidirectional Typing via Order Maintenance OOPSLA 2025
- Efficient alias set analysis using SSA form ISMM 2009