C/C++ 安全代码生成规范
技能目标
在代码生成阶段消除安全漏洞,而非依赖事后审查。
代码生成是拦截安全风险成本最低的时机——一旦漏洞代码进入生产环境,修复代价急剧上升。因此,在生成代码前完成威胁识别和规范查阅,能从根本上降低安全风险。
工作流程
按以下三步执行安全代码生成。每一步都为后续步骤提供安全保障。
第一步:识别安全风险
分析用户需求,判断哪些风险类型适用于当前场景。识别出的每一个风险类型都需要处理。
| 风险类型 | 典型场景 | 参考文档 |
|---|---|---|
| 缓冲区溢出 | 对缓冲区读写时未对用户输入进行长度校验 | references/prevent-buffer-overflow.md |
| UAF | 指针指向的内存在 free/delete 后未置空,后续继续使用 | references/prevent-use-after-free.md |
| Double free | 同一块内存被释放两次,破坏堆管理器数据结构 | references/prevent-double-free.md |
| 格式化字符串漏洞 | 不受信任的输入直接作为格式化函数参数 | references/prevent-format-string-vuln.md |
| 整数溢出/下溢 | 计算结果超出整数范围,常触发缓冲区溢出 | references/prevent-integer-overflow-underflow.md |
| 符号扩展/类型转换 | 有符号数和无符号数混合运算出错 | references/prevent-signedness-bugs.md |
| 条件竞争 | 多线程/进程对共享资源访问未正确同步 | references/prevent-race-condition.md |
| 符号链接攻击 | TOCTOU 时间间隙中被替换文件路径 | references/prevent-race-condition.md |
| 危险函数调用 | 调用设计上存在缺陷的标准库函数 | references/prevent-potential-dangerous-function.md |
| QL 注入 | 拼接 SQL/HQL/NoSQL 查询语句 | references/prevent-ql-injection.md |
| 路径遍历 | 文件路径由用户输入拼接 | references/prevent-path-traversal.md |
| OS 命令执行 | 调用 system、popen、execve 执行系统命令 | references/prevent-os-command-execution.md |
第二步:查阅安全编码规范
对第一步中识别出的每一个风险类型,读取对应的参考文档。
参考文档详细说明了该类漏洞的根因、攻击模式和安全 API 用法,帮助理解如何在代码层面消除风险。
第三步:完成用户需求
在理解安全规范后,遵循以下核心原则生成代码:
- 默认安全:优先使用参数化查询、白名单校验、安全 API 等内置防护机制
- 零信任输入:来自 HTTP 请求、外部接口的数据一律视为不可信
- 失败安全:权限校验或输入验证失败时默认拒绝操作
- 边界防御:所有内存读写、字符串复制、数组遍历必须有显式长度约束
- 初始化与清理:变量诞生时有确定值,敏感数据消亡时彻底擦除
- 算数安全:内存分配、数组索引计算前确保不会溢出、截断或符号错误
- 编译器权限:不需要修改的数据、指针或对象状态用 const 禁止修改
- 并发安全:共享资源访问保证原子性或被正确同步
参考资源
参考文档
references/prevent-buffer-overflow.md— 缓冲区溢出防范详解references/prevent-use-after-free.md— 释放后使用(UAF)防范详解references/prevent-double-free.md— 二次释放防范详解references/prevent-format-string-vuln.md— 格式化字符串漏洞防范详解references/prevent-integer-overflow-underflow.md— 整数溢出/下溢防范详解references/prevent-signedness-bugs.md— 符号扩展/类型转换漏洞防范详解references/prevent-race-condition.md— 条件竞争防范详解references/prevent-potential-dangerous-function.md— 危险函数替换指南references/prevent-ql-injection.md— Query Language 注入防范详解references/prevent-path-traversal.md— 路径遍历防范详解references/prevent-os-command-execution.md— OS 命令执行防范详解