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

by M EMAMI, R GHIYA, L J HENDREN
Venue:In Proceedings of the ACM SIGPLAN '94 Conference on Programming Language Design and Implementation. 242--256