checkedc clang

检查的 C clang 存储库

此存储库包含已修改为支持 Checked C 的 LLVM/Clang 工具链版本。Checked C 通过边界检查和改进的类型安全性扩展了 C。 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 代码。例如，您可以跳转到定义/引用并实时显示错误和警告等。这里是有关 Checked 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 做出贡献。

行为守则

该项目已采用行为准则。