Analyzing millions of lines of code with sparse flow-sensitive pointer analysis (2009)

by Ben Hardekopf, Calvin Lin
Venue:In In submission to Programming Language Design and Implementation (PLDI