Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis.

Guoqing Xu, Atanas Rountev, Manu Sridharan

Browse the full ECOOP paper archive.