-
Notifications
You must be signed in to change notification settings - Fork 77
Home
David Tarditi edited this page Sep 2, 2024
·
27 revisions
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.