checkedc

Checked C 是 C 的扩充，允许程序设计师以边界检查与改进型别安全写 C 代码。目标是让使用者轻松将现有 C 代码转为型别安全，消除整类错误

此仓库包含一个正在修改以支持 Checked C 的 clang 版本。Checked C 是 C 语言的扩展，让程序员能编写经编译器保证类型安全的 C 代码。