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.
Clone or download
dtarditi Update README.md
Update job links.  We have a Principal SDE or Sr. SDE position available.
Latest commit 96940ff Jan 10, 2019
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
INPUTS Revert 'Fix a typo 'iff' => 'if''. iff is an abreviation of if and on… Sep 27, 2012
automation Nightly Release Package Build for Linux (#536) Aug 3, 2018
bindings Reverting r316278 due to failing build bots. Oct 21, 2017
cmake [clang-fuzzer] Fix incremental builds of the fuzzer Oct 31, 2017
docs Bounds for call expressions where the bounds depend on call results. (#… Jan 4, 2019
examples Add LLVMOption to clang-interpreter, corresponding to r291938. Jan 14, 2017
include Bounds for call expressions where the bounds depend on call results. (#… Jan 4, 2019
lib Bounds for call expressions where the bounds depend on call results. (#… Jan 4, 2019
runtime Allow building libFuzzer tests in two-stage compiler-rt build. Oct 13, 2017
test Bounds for call expressions where the bounds depend on call results. (#… Jan 4, 2019
tools Bounds for call expressions where the bounds depend on call results. (#… Jan 4, 2019
unittests Merge branch 'baseline-rc501' into master-rc501 Dec 6, 2017
utils [analyzer] [tests] Remove empty folders in reference results, do not … Oct 30, 2017
www [c++2a] Update cxx_status w __VA_OPT__ marked as completed in SVN. Oct 22, 2017
.arcconfig Upgrade all the .arcconfigs to https. Jul 14, 2016
.clang-format Switch the default mode for clang-format to '-file'. Make 'LLVM' the Sep 2, 2013
.clang-tidy Try to use readability-identifier-naming check on Clang. Apr 13, 2016
.gitignore Add the clang debug info test directory to .gitignore as it's managed… Jan 29, 2016
CMakeLists.txt [CMake][OpenMP] Customize default offloading arch Oct 17, 2017
CODE_OWNERS.TXT Added Anastasia Stulova as a code owner for OpenCL Feb 3, 2016
INSTALL.txt Honor system specific paths of MAN pages Nov 20, 2015
LICENSE.TXT Update copyright year to 2016. Mar 30, 2016
ModuleInfo.txt Move the ModuleInfo.txt file. Jul 11, 2007
NOTES.txt Remove trailing spaces Jul 13, 2014
README.md Update README.md Jan 10, 2019
README.txt Test commit Oct 21, 2017

README.md

The Checked C clang repo

This repo contains a version of clang 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.

We are hiring.

We have a position available for a Principal Software Engineer or a Senior Software Engineer. We are looking for someone wih compiler and programming language implementation experience who is passionate about making software more secure and reliable.

Trying out Checked C

Programmers are welcome to ``kick the tires'' on 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.

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
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 opencode@microsoft.com with any additional questions or comments.