Interprocedural analysis in the presence of function pointers (1992)

by Rakesh Ghiya
Venue:School of Computer Science, McGill University