David Dewey, Jonathon T. Giffin: Static detection of C++ vtable escape vulnerabilities in binary code. NDSS 2012