Lean C/C++ Bounds Checking with Low-Fat Pointers
A binary hardening system
Runtime type and bounds-error checking for C/C++
A hardened malloc() replacement