Sparse Dataflow Analysis with Pointers and Reachability
No abstract available.
Related papers
- Indexing the extended Dyck-CFL reachability for context-sensitive program analysis OOPSLA 2022
- SPAS: Scalable Path-Sensitive Pointer Analysis on Full-Sparse SSA APLAS 2011
- Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis SAS 2002
- Semi-sparse flow-sensitive pointer analysis POPL 2009
- Hermes: Making Path-Sensitive Pointer Analysis Scalable for Sparse Value-Flow Analysis OOPSLA 2026
- Sparse flow-sensitive pointer analysis for multithreaded programs CGO 2016
- Precise Interprocedural Dataflow Analysis via Graph Reachability POPL 1995
- Parameterized Construction of Program Representations for Sparse Dataflow Analyses CC 2014