SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA
Abstract elided by the publisher.
Related papers
- Level by level: making flow- and context-sensitive pointer analysis scalable for millions of lines of code CGO 2010
- Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis OOPSLA 2026
- Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis PLDI 2024
- Parallel sparse flow-sensitive points-to analysis CC 2018
- Semi-sparse flow-sensitive pointer analysis POPL 2009
- SVF: interprocedural static value-flow analysis in LLVM CC 2016
- Sparse flow-sensitive pointer analysis for multithreaded programs CGO 2016
- Field Flow Sensitive Pointer and Escape Analysis for Java Using Heap Array SSA SAS 2008