Glenn Bruns Satish Chandra Searching for points-to analysis. 61-70 2002 SIGSOFT FSE http://doi.acm.org/10.1145/587051.587061 db/conf/sigsoft/fse2002.html#BrunsC02