Polymorphic versus monomorphic flow-insensitive points-to analysis for C (2000)

by Jeffrey S Foster, Manuel Fahndrich, Alexander Aiken
Venue:In International Static Analysis Symposium