Backwards-Compatible Bounds Checking for Arrays and Pointers In Backwards compatible b ounds checking for arrays and p ointers in C programsRichard W M Jones and Paul H J KellyDepartment of ComputingImp erial College of Science Technology and Medicine