Context-Sensitive Interprocedural Points-to Analysis (1994)

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