checkedc

Checked C 是 C 的擴充，允許程式設計師以邊界檢查與改進型別安全寫 C 程式碼。目標是讓使用者輕鬆將現有 C 程式碼轉為型別安全，消除整類錯誤

此儲存庫包含一個正在修改以支援 Checked C 的 clang 版本。Checked C 是 C 語言的擴充，讓程式設計師能編寫經編譯器保證型別安全的 C 程式碼。