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

Guoqing Xu Atanas Rountev Manu Sridharan Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis. 98-122 2009 ECOOP http://dx.doi.org/10.1007/978-3-642-03013-0_6 conf/ecoop/2009 db/conf/ecoop/ecoop2009.html#XuRS09