GitHub repository: 3clsp/checkedc-llvm-project
Description: This repo contains a version of clang that is being modified to support Checked C. Checked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe.