Checked C

Established: May 15, 2015

Tools

Checked C Specification

October 2018

This is a detailed specification for the Checked C extension that explains the design in-depth.

Checked C clang compiler

October 2018

The Checked C extension to C is being implemented in a fork of the clang compiler. You can download the latest version of the Checked C compiler for Windows from this GitHub link.

Github