A CFL-Reachability Formulation of Callsite-Sensitive Pointer Analysis with Built-In On-The-Fly Call Graph Construction.

Dongjie He, Jingbo Lu, Jingling Xue

Browse the full ECOOP paper archive.