Checked C

Checked C is an extension to C that adds static and dynamic checking to detect or prevent common programming
errors such as buffer overruns, out-of-bounds memory accesses, and incorrect type casts. This repo contains the
specification for the extension, test code, and samples. For the latest version of the specification and the
draft of the next version, see the Checked C releases page.

We are creating a modified version of LLVM/clang that supports Checked C. The code for the modified
version of LLVM/clang lives in the
Checked C clang repo
and the Checked C LLVM repo.

Getting involved

See Contributing for how to get involved with Checked C and contribute to the project.

Licensing

The software in this repository is covered by the MIT license. See the file LICENSE.TXT for the license. The
Checked C specification is made available by Microsoft under the OpenWeb Foundation Final
Specification Agreement, version 1.0.
Contributions of code to the Checked LLVM/clang repos are
subject to the CLANG/LLVM licensing terms.