Opaque Control-Flow Integrity
SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks