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