-
Notifications
You must be signed in to change notification settings - Fork 19
Home
David Tarditi edited this page Jan 18, 2022
·
27 revisions
Welcome to the Secure Software Development Project checkedc-llvm-project wiki!. The SSDP fork of Checked C 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 SSDP fork of the Checked C clang implementation. For information on the SSDP fork of the Checked C extension, see the SSDP Checked C wiki.
- For directions on how to use the SSDP fork of the Checked C clang compiler, see the SSDP Checked C clang user manual.
- For directions on how to build the SSDP fork of the Checked C clang 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.
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.
Automated builds are currently not available.