Home

Welcome to the checkedc-clang wiki! Checked C extends C with checking to prevent low-level programming errors and improve type-safety of C code. It adds checking for null pointer dereferences and out-of-bounds memory accesses and generic types for replacing uses of void pointers. This repo contains a fork of clang that supports Checked C. The fork also contains a tool called 3C for converting C code to Checked C code.

• You can install the Checked C compiler and the 3C tool from the Checked C LLVM Project releases page. There are versions available for Ubuntu 22.04, Windows 10/11, and MacOS.
• For directions on how to use the Checked C clang compiler, see the Checked C clang user manual.
• For directions on how to build the compiler, see Setup and Build directions.
• For directions on testing the compiler after you have built it, see Testing.
• The Implementation Notes describe the implementation of Checked C in LLVM\clang.

Status of automated builds is available here.