核心用法
本Skill作为C语言开发者的静态代码审查指南，通过结构化的风险清单帮助开发者识别和规避常见陷阱。涵盖内存管理（malloc/free配对、空指针防护）、缓冲区安全（strncpy替代strcpy、fgets替代gets）、字符串处理（null终止符管理、sizeof与strlen区别）、指针安全（初始化检查、悬空指针防护）、未定义行为（有符号溢出、序列点规则）及整数陷阱（类型提升、无符号比较）等七大维度。
使用时无需交互执行，开发者可在编码或Code Review阶段对照检查清单逐条审视代码，尤其适用于嵌入式系统、安全关键软件及底层驱动开发场景。
显著优点
1. 权威性来源：内容基于C11标准及OWASP、CERT C等安全编码规范，覆盖gets移除、_Static_assert等现代C特性
2. 实战导向：每个条目直击真实漏洞模式（如栈溢出覆盖返回地址、double free），非泛泛而谈
3. 即时可用：无需工具链配置，markdown格式便于集成IDE插件或CI流水线文档
4. 跨平台：覆盖Linux/macOS/Windows三大目标平台
潜在局限
- 静态知识库：非运行时检测工具，无法替代Valgrind/ASan等动态分析
- 无自动修复：仅提供问题识别，不生成补丁代码
- C++不兼容：部分规则（如VLA、void*隐式转换）在C++中行为不同，混合项目需谨慎
适合人群
- 系统/嵌入式C工程师（尤其资源受限场景无法使用高级工具时）
- 安全审计人员快速理解C语言漏洞模式
- C教学作为常见错误速查手册
常规风险
- 过度依赖风险：开发者可能误将清单检查视为充分安全测试，忽视动态分析
- 规则误用：如
strncpy不保证null终止，盲目替换strcpy反而引入新bug - VLA陷阱：建议中提及VLA风险，但未明确禁用，新手可能在关键路径误用
改进建议
建议增加strlcpy/strlcat（BSD）或strcpy_s（C11 Annex K）的现代替代方案对比，并补充编译器特定警告（-Wstack-protector -D_FORTIFY_SOURCE=2）的启用建议。