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

by M Emami, R Ghiya, L J Hendren
Venue:Proc. of the ACM SIGPLAN’94 Conf. on Prog. Lang. Design and Implem