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

by Maryam Emami, Rakesh Ghiya, Laurie J Hendren
Venue:In PLDI ’94: Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation