C

核心用法

该 Skill 提供 C 语言安全编程的结构化速查手册，按主题划分为内存管理（malloc/free）、指针安全、字符串处理、类型系统、预处理器陷阱及未定义行为（UB）六大模块。开发者可通过对应 .md 文件快速定位问题场景，获取可执行的防御性代码模式（如 free(ptr); ptr = NULL; 的防双释范式、手动空终止 strncpy 等）。

显著优点

1. 覆盖全面且精准：从内存泄漏、双重释放到整数溢出、序列点缺失，几乎囊括 C 语言历史上导致安全漏洞的主要根源（缓冲区溢出、悬垂指针、UB 优化假设等）。
2. 即查即用：表格化索引 + 代码示例（如宏展开陷阱 SQUARE(1+2)），降低认知负荷，适合编码时快速对照。
3. 跨平台支持：声明支持 Linux、macOS、Windows，配合 GCC/Clang 工具链，普适性较强。

潜在局限

• 无动态检测能力：仅提供静态知识参考，无法运行时拦截内存错误或 UB。
• 缺乏深度解释：规则以“条款”形式呈现，未展开底层机制（如编译器为何能优化有符号溢出假设）。
• 版本与实现差异：C 标准演进（C99/C11/C17/C23）中部分行为有变化，Skill 未明确标注适用标准版本。

适合人群

• 嵌入式/系统程序员：需手动管理内存、规避硬件级崩溃。
• 安全审计人员：快速识别代码中的经典 C 陷阱。
• C 语言学习者：建立防御性编程直觉。

常规风险

• 依赖开发者自律：知识型工具无法强制约束代码实践，误用规则（如 strncpy 误用导致非终止字符串）仍可能引入漏洞。
• 误报与漏报：未定义行为清单基于常见案例，非穷尽式枚举；特殊编译器扩展或平台相关行为可能未被覆盖。

核心用法

本 Skill 是一份纯 Markdown 文档型安全编程指南，专注于 C 语言中极易引发严重漏洞的关键领域。内容以模块化形式组织，涵盖七大核心主题：内存管理（malloc/free、内存泄漏、双重释放）、指针操作（空指针、悬垂指针、指针算术）、字符串处理（空终止符缺失、缓冲区溢出）、整数类型（溢出、有符号/无符号混淆）、预处理器宏（常见陷阱、头文件保护）以及未定义行为（UB）识别。

文档采用"规则卡片"形式呈现关键要点，每条规则直击 C 语言的设计缺陷和常见误区。例如明确指出 sizeof(array) 在函数参数中退化为指针大小、强制要求 free 后置空指针防止双重释放、警示 strcpy 无边界检查的风险等。这种设计使得开发者可以快速检索特定问题的解决方案，而非通读长篇教程。

显著优点

1. 零攻击面设计：经 CLS-Certify 全面扫描，该 Skill 不含任何可执行代码、外部网络请求或第三方依赖，从根本上消除了供应链攻击和数据泄露风险。

2. 权威安全聚焦：内容精准锁定 C 语言最危险的编程模式——内存损坏类漏洞（占 CVE 高危漏洞的 70% 以上），而非泛泛介绍语言特性。

3. 实战导向的警示：每条规则均配有具体代码反例（如 char str[5] = "hello" 的隐式越界、#define SQUARE(x) x*x 的宏展开陷阱），帮助开发者建立直觉性风险感知。

4. 合规文档完备：附带明确的风险声明和道德使用建议，提醒用户对生成代码进行人工审查，符合企业安全合规要求。

潜在局限

• 无交互验证：作为纯文档，无法实时检测用户实际代码中的问题，建议配合静态分析工具（如 Clang Static Analyzer、Coverity）使用。
• 标准版本未明确：当前内容基于传统 C 标准，C23 新特性（如 nullptr、改进的 auto）的覆盖有待更新。
• 示例深度有限：部分高级场景（如并发环境下的内存序问题）未深入展开。

适合人群

• 嵌入式系统、操作系统内核、网络安全领域的 C 语言开发者
• 需要维护遗留 C 代码库或进行安全审计的工程团队
• 学习系统编程但需建立安全意识的学生和自学者

常规风险提示

即使遵循本指南，C 语言的本质复杂性仍要求：

• 关键代码路径启用编译器硬化选项（-D_FORTIFY_SOURCE=2, -fstack-protector-strong）
• 内存安全关键模块考虑 Rust 重写或采用 sanitizer 动态检测
• 所有生产代码经过同行评审和 fuzzing 测试