Stephen Adams Thomas Ball Manuvir Das Sorin Lerner Sriram K. Rajamani Mark Seigle Westley Weimer Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis. 230-246 2002 conf/sas/2002 SAS http://dx.doi.org/10.1007/3-540-45789-5_18 db/conf/sas/sas2002.html#AdamsBDLRSW02