c-bounds-safety

如何使用此技能

在协助采用 -fbounds-safety 或进行代码更改时，先询问用户代码库和目标方面的澄清问题，再提出更改建议。对于涉及多个文件或注解决策并不简单的复杂任务，请使用计划模式，先提出方案再实施。

-fbounds-safety 语言扩展

-fbounds-safety 是一种 C 语言扩展，可在语言层面强制实施边界安全，防止越界内存访问。它会在运行时自动插入边界检查，在编译时拒绝不安全的指针操作，并要求程序员提供边界注解，以便编译器保证安全。越界访问会触发确定性陷阱，而不会成为可利用的漏洞。

详细文档

开始采用前必须阅读

在开始采用任务时，必须通过 Read 工具完整阅读以下三份文档；在采用工作流中进行任何修改源代码的步骤之前，除非能确认这些文档的内容在当前上下文中仍然是最新的，否则必须再次通过 Read 工具阅读：

• adoption-strategies.md — 在现有 C 项目中采用 -fbounds-safety 的工作流（完整模式和仅头文件模式）。
• language-overview.md — -fbounds-safety 语言参考：指针类型、注解及其适用规则。
• common-patterns-and-pitfalls.md — 实际采用过程中遇到的常见模式和反模式。

其他参考文档（按需阅读）

如需了解编译器标志、Xcode 构建设置、软陷阱模式和 ptrcheck.h 配置，请阅读 build-settings.md。

如需了解如何调试运行时边界违规——包括陷阱行为、LLDB 命令、宽指针检查、监视点、崩溃日志分析和软陷阱调试，请阅读 runtime-debugging.md。