Selective Context-Sensitivity for k-CFA with CFL-Reachability
No abstract available.
Related papers
- Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis ECOOP 2009
- Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity OOPSLA 2019
- Indexing the extended Dyck-CFL reachability for context-sensitive program analysis OOPSLA 2022
- Context-sensitive data-dependence analysis via linear conjunctive language reachability POPL 2017
- Context transformations for pointer analysis PLDI 2017
- Precise and scalable context-sensitive pointer analysis via value flow graph ISMM 2013
- Context-Free Language Reachability via Efficient Relation Chaining OOPSLA 2026
- Field-Sensitive Over-Tainting Reduction in IFDS Taint Analysis via CFL-Reachability ECOOP 2026