Speeding Up Dataflow Analysis Using Flow-Insensitive Pointer Analysis.

Stephen Adams, Thomas Ball, Manuvir Das, Sorin Lerner, Sriram K. Rajamani, Mark Seigle, Westley Weimer

Browse the full SAS paper archive.