llvm's SAFECode bounds checking algorithm

[Walter Bright]

http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.pdf

What it does is rewrites the program to install runtime checks on 
pointers to ensure no array bounds overflows.

It indicates to me the effort being poured into C to try to make it 
memory safe, and how memory safety has become a huge issue in 
programming. We are on the right track with D with our focus on making D 
proveably memory safe.