Fast Static Analysis of C++ Virtual Function Calls.

David F. Bacon, Peter F. Sweeney

Browse the full OOPSLA paper archive.