Skip to content
Anna Kornfeld Simpson edited this page Jul 10, 2018 · 27 revisions

Welcome

Welcome to the checkedc-clang wiki! Checked C is a research project that is extending C with checking to detect or prevent common programming errors such as null pointer dereferences or out-of-bounds memory accesses. This repo contains a version of clang that is being modified to support Checked C.

This wiki contains information specific to the Checked C clang implementation. For information on the Checked C extension, see the Checked C wiki.

Compiler development status

We are implementing a subset of the Checked C extension that can be used to add bounds checking to real-world C programs. The implementation roadmap and status are here.

Build status

Configuration Testing Status
Debug X86 Windows Checked C and clang regression tests Debug X86 Windows status
Debug X64 Windows Checked C and clang regression tests Debug X64 Windows status
Debug X64 Linux Checked C and clang regression tests Debug X64 Linux status
Release X64 Linux Checked C, clang, and LLVM nightly tests Release X64 Linux status