Context-sensitive interprocedural points-to analysis in the presence of function pointers (1994)

by M Emami, R Ghiya, L J Hendren
Venue:In ACM Conf. on Prog. Lang. Design and Implementation