Flowsensitive interprocedural type analysis for C (1995)

by Paul Carini, Michael Hind, Harini Srinivasan
Venue:Research Report RC 20267, IBM T. J. Watson Research Center