An Incremental Points-to Analysis with CFL-Reachability
Abstract elided by the publisher.
Related papers
- Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis ECOOP 2009
- Context transformations for pointer analysis PLDI 2017
- Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability ECOOP 2026
- Context-Free Language Reachability via Efficient Relation Chaining OOPSLA 2026
- On-demand dynamic summary-based points-to analysis CGO 2012
- Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization ESOP 2017
- FlowCFL: generalized type-based reachability analysis: graph reduction and equivalence of CFL-based and type-based reachability OOPSLA 2020
- Fast algorithms for Dyck-CFL-reachability with applications to alias analysis PLDI 2013