SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks
CCured in the real world