More papers on C bounds checking: http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.htmlBounds checking on flight control software for Mars expedition: http://ti.arc.nasa.gov/m/profile/ajvenet/pldi04.pdf
The amount of money that went into such (bad) design decision... And it won't stop bleeding so long C and C++ exist.