Fast Static Analysis of C++ Virtual Function Calls (1996)

by D F Bacon, P F Sweeney
Venue:In Proceedings of OOPSLA