Skip to content

Checked C clang 12.0.2 release

Latest
Latest
Compare
Choose a tag to compare
@dtarditi dtarditi released this 14 Nov 05:36
· 11 commits to main since this release
CheckedC-Clang-12.0.2
9d329e1
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

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.
Assets 8
Loading