Maryam Emami Rakesh Ghiya Laurie J. Hendren Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers. 242-256 1994 PLDI db/conf/pldi/pldi94.html#EmamiGH94