souragc / checkedc-llvm-project Goto Github PK

View Code? Open in Web Editor NEW

This repo contains a version of clang that is modified to support Checked C. Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety.

License: Other

CMake 0.28% Python 0.95% C++ 35.02% Assembly 8.63% C 19.61% LLVM 34.70% Shell 0.03% Dockerfile 0.01% HTML 0.17% CSS 0.01% JavaScript 0.01% Emacs Lisp 0.01% Batchfile 0.01% Objective-C 0.40% Objective-C++ 0.09% HLSL 0.01% Cuda 0.07% Pawn 0.01% SWIG 0.01% Rust 0.01%

checkedc-llvm-project's Introduction

The Checked C clang repo

This repo contains a version of the LLVM/Clang toolchain that has been modified to support Checked C. Checked C extends C with bounds checking and improved type-safety. The Checked C specification is available at the Checked C repo release page.

Trying out Checked C

You can install the Checked C compiler and the 3C tool from the Checked C LLVM Project releases page. There are versions available for Ubuntu 22.04, Windows 10/11, and MacOS. The compiler user manual is here. For more information on Checked C and pointers to example code, see the Checked C wiki. If you want to build your own copy of the compiler, see the directions on the Checked C LLVM Project wiki.

You can use clangd built from this repository to get similar IDE support for editing Checked C code as upstream clangd provides for C code. For example, you can jump to definition/references and get a real-time display of errors and warnings, etc. Here is more information about Checked C's clangd.