Home

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 more information on the Checked C extension, see the Checked C repo.

For directions how to use the Checked C clang compiler, see our Checked C clang user manual. Our implementation roadmap and status are described here.