checkedc clang

檢查的 C clang 儲存庫

此儲存庫包含已修改為支援 Checked C 的 LLVM/Clang 工具鏈版本。 Checked C 規格可在 Checked C 儲存庫發佈頁面上找到。

嘗試檢查 C

您可以從 Checked C LLVM 專案版本頁面安裝 Checked C 編譯器和 3C 工具。有適用於 Ubuntu 22.04、Windows 10/11 和 MacOS 的版本。編譯器用戶手冊在這裡。有關 Checked C 的更多資訊和範例程式碼的指針，請參閱 Checked C wiki。如果您想建立自己的編譯器副本，請參閱 Checked C LLVM 專案 wiki 上的說明。

您可以使用從此儲存庫建置的clangd來獲得與上游clangd為 C 程式碼提供的類似 IDE 支援來編輯已檢查的 C 程式碼。例如， clangd可以跳到定義/引用並即時顯示錯誤和警告等。

3C：C 代碼到 Checked C 的半自動轉換

此儲存庫包含一個名為 3C 的工具，可以部分自動將 C 程式碼轉換為 Checked C。

• 一般訊息，包括開發狀態和如何貢獻

• 建構說明

• 3c命令列工具的使用說明

更多資訊

有關 Checked C clang 編譯器的更多信息，請參閱 Checked C LLVM 項目 wiki。

自動化測試狀態

貢獻

我們歡迎對 Checked C 專案做出貢獻。要參與該項目，請參閱為 Checked C 做出貢獻。

對於程式碼貢獻，我們遵循標準的 Github 工作流程。有關更多詳細信息，請參閱為 Checked C 做出貢獻。

行為守則

該項目已採用行為準則。