A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction
No abstract available.
Related papers
- A Context-Sensitive Pointer Analysis Framework for Rust and Its Application to Call Graph Construction CC 2024
- Precise and scalable context-sensitive pointer analysis via value flow graph ISMM 2013
- 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
- Taming transitive redundancy for context-free language reachability OOPSLA 2022
- Context-Free Language Reachability via Efficient Relation Chaining OOPSLA 2026
- Context transformations for pointer analysis PLDI 2017
- Fast algorithms for Dyck-CFL-reachability with applications to alias analysis PLDI 2013