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