Skip to content

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.

License

Notifications You must be signed in to change notification settings

Eric-Bokai-Zhang/checkedc-clang

 
 

Repository files navigation

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.

Compiler source code update

On January 25, 2019, we updated to LLVM/clang sources from January 16, 2019. If you are building the Checked C clang compiler from source code, we suggest you do a clean build by deleting your cmake object directory.

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 [email protected] with any additional questions or comments.

About

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.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages

  • C++ 69.5%
  • C 23.5%
  • Objective-C 3.5%
  • HTML 1.1%
  • Objective-C++ 0.9%
  • Python 0.8%
  • Other 0.7%