Need help with checkedc-clang?
Click the “chat” button below for chat support from the developer who created it, or find similar developers for support.

About the developer

microsoft
372 Stars 63 Forks Other 438.4K Commits 138 Opened issues

Description

This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that adds checking to detect or prevent common programming errors such as out-of-bounds memory accesses.

Services available

!
?

Need anything else?

Contributors list

The Checked C clang repo

This repo contains a version of the LLVM/Clang toolchain that is being modified to support Checked C. Checked C extends C with checking to detect or prevent common programming errors such as out-of-bounds memory accesses. The Checked C specification is available at the Checked C repo.

Announcements

Source code update

On Feb 19, 2021 we updated the checkedc-clang sources to upstream release_110, specifically this commit.

On Feb 18, 2020 we updated the checkedc-clang sources to upstream release_90, specifically this commit.

Transition to monorepo

Early in 2019, the LLVM community transitioned to "monorepo".

We moved Checked C to a monorepo on Oct 30, 2019. This has resulted in the following changes:

  1. checkedc-llvm and checkedc-clang (as well as other LLVM subprojects) are now tracked via a single git repo.

  2. The checkedc-llvm repo will no longer be maintained. The checkedc-clang repo will be the new monorepo.

  3. There will be no changes to the checkedc repo. It will continue to be a separate git repo.

  4. All future patches should be based off this new monorepo.

  5. You can use this script to cherry-pick your existing patches to the new monorepo.

  6. Make sure to set the following CMake flag to enable clang in your builds:

    -DLLVM_ENABLE_PROJECTS=clang

Trying out Checked C

Programmers are welcome to use Checked C as it is being implemented. We have pre-built compiler installers for Windows available for download on the release page. For other platforms, you will have to build your own copy of the compiler. For directions on how to do this, see the Checked C clang wiki. The compiler user manual is here. For more information on Checked C and pointers to example code, see our Wiki.

3C: Semi-automated conversion of C code to Checked C

This repository includes a tool called 3C that partially automates the conversion of C code to Checked C. Here is general information about the 3C software, including development status and how to contribute. Here are the usage instructions for the

3c
command-line tool.

More information

For more information on the Checked C clang compiler, see the Checked C clang wiki.

Build Status

| Configuration | Testing | Status | | ----------------- | ----------------------------------------- | ---------------------------------------------------------------------------------------------------------------------------------------------- | | Debug X86 Windows | Checked C and clang regression tests | Debug X86 Windows status | | Debug X64 Windows | Checked C and clang regression tests | Debug X64 Windows status | | Debug X64 Linux | Checked C and clang regression tests | Debug X64 Linux status | | Debug X64 Linux | 3C (Checked-C-Convert tool) nightly tests | Nightly Sanity Tests | | Release X64 Linux | Checked C, clang, and LLVM nightly tests | Release X64 Linux status |

Contributing

We welcome contributions to the Checked C project. To get involved in the project, see Contributing to Checked C. We have a wish list of possible projects there.

For code contributions, we follow the standard Github workflow. See Contributing to Checked C for more detail. You will need to sign a contributor license agreement before contributing code.

Code of conduct

This project has adopted the Microsoft Open Source Code of Conduct. For more information see the Code of Conduct FAQ or contact [email protected] with any additional questions or comments.

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.