Fast static analysis of C++ virtual function calls (0)

by David F Bacon, Peter F Sweeney