Context-Sensitive Interprocedural Points-to Analysis (1994)

by M Emami, R Ghiya, L J Hendren
Venue:in the Presence of Function Pointers.” Conf. on Programming Language Design and Implementation