What AI says about 3C

Checked C is an open-source extension to the C programming language that adds bounds checking and improved type safety to help retrofit existing C code for better security. It provides a specification, sample code, test code, and a compiler based on LLVM/clang, along with tools like 3C for semi-automated conversion of C to Checked C.