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.
Primary LanguageTeXOtherNOASSERTION
No one’s star this repository yet.