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.
