Summary

This is a release of the Checked C clang compiler. It is based on the Checked C specification version 1.0.

Release Date

November 13, 2023

Installation Notes

Verifying signatures of downloaded files

We use cosign to sign the distribution files. To verify a file, download the file and the associated file.bundle, install cosign and then run:

cosign verify-blob <file> --bundle <file>.bundle --certificate-identity=david.tarditi@secure-software-development-project.org --certificate-oidc-issuer=https://accounts.google.com

You can install cosign following these directions or from the GitHub releases page for cosign.

MacOS (ARM64)

To install:

• Download the file CheckedC-Clang-12.0.2-Darwin-arm64.tar.gz.
• Create an installation directory and move the file there.
• Use:

gunzip CheckedC-Clang-12.0.2-Darwin-arm64.tar.gz
tar xf  CheckedC-Clang-12.0.0-Darwin.tar

The clang compiler will be located at <your installation directory>/bin/CheckedC-Clang-12.0.0git-Darwin/clang.
The 3c tool will be located at <your installation directory>/bin/CheckedC-Clang-12.0.0git-Darwin/3c.

Ubuntu 22.04

To install:

• Download the file CheckedC-Clang-12.0.2-gnu-ubuntu-22.04.tar.gz.
• Create an installation directory and move the file there.
• Use:

gunzip CheckedC-Clang-12.0.2-gnu-ubuntu-22.04.tar.gz
tar xf  CheckedC-Clang-12.0.0-gnu-ubuntu-22.04.tar

The clang compiler will be located at <your installation directory>/bin/CheckedC-Clang-12.0.0git-Linux/clang.
The 3c tool will be located at <your installation directory>/bin/CheckedC-Clang-12.0.0git-Linux/3c.

Windows 10/11 (64-bit)

To install:

• Download the file CheckedC-clang-12.0.2-win64.exe. If you are using the Edge browser, it may try to block the download as unsafe. Select the ... next to the file name and choose Keep.
• Double click on the executable to start the installer.
• Follow the installer directions.