Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers.

Maryam Emami, Rakesh Ghiya, Laurie J. Hendren

Browse the full PLDI paper archive.