Checked C is an extension of C that adds bounds checking to C. This repo contains the specification for the extension, test code, and samples.