GitHub repository: secure-sw-dev/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.