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

by J Foster, M Fähndrich, A Aiken
Venue:In Static Analysis Symposium, LNCS 1824