SAFEDISPATCH: Securing C++ Virtual Calls from Memory Corruption Attacks
An efficient and backwards-compatible transformation to ensure memory safety of C programs