security-code-review

多语言安全代码审查 (Security Code Review)

适用场景

• 安全审查: 对 Python、C++、Shell、Markdown 文件进行安全代码审查
• Code Review: 在代码评审中检查安全漏洞
• 新代码编写: 编写安全的代码，避免常见漏洞
• 合规检查: 满足安全合规要求 (CWE, CERT, OWASP)
• CI/CD 集成: 在流水线中集成安全扫描工具

审查工作流程

执行安全审查时，按以下步骤进行：

1. 确定审查范围：识别目标代码的语言类型（Python/C++/Shell/Markdown）
2. 加载对应参考：根据语言读取 references/ 下的详细审查指南
3. 逐项检查：按照下方各语言的审查要点和检查清单执行
4. 查阅历史经验：对于推理服务相关代码，读取 references/lessons-learned.md 排查已知问题模式
5. 生成审查报告：按照本文件末尾的输出规范生成 CSV 报告

---

Python 安全审查

详细代码示例和安全/不安全对比：读取 references/python.md

审查覆盖的 10 个关键领域：

#	领域	核心风险	关键搜索模式
1	代码注入	任意代码执行	eval(, exec(, shell=True
2	SQL 注入	数据泄露/篡改	f"SELECT, cursor.execute(f"
3	反序列化	RCE	pickle.loads, yaml.load( (无 safe_load)
4	路径遍历	任意文件读取	os.path.join( + 用户输入, 无 realpath 校验
5	敏感信息泄露	密钥暴露	硬编码 API_KEY=, PASSWORD=, logger.*(password
6	assert 误用	权限绕过	assert user.is_admin, assert.*auth
7	临时文件	竞态/符号链接攻击	open("/tmp/ (未用 tempfile)
8	ReDoS	CPU 耗尽	(a+)+, (.*)*, 嵌套量词
9	JSON 嵌套深度	栈溢出/资源耗尽	json.loads( 无深度限制 (CWE-674, CWE-400)
10	特殊 Token 注入	进程崩溃/DoS	np.where(np.equal(input_ids, 无配对校验 (CWE-129, CWE-248)

Python 安全工具：

工具	用途	命令
bandit	静态安全分析	bandit -r src/
pip-audit	依赖漏洞扫描	pip-audit
pylint	代码质量 + 部分安全规则	pylint src/
mypy	类型检查，防止类型混淆	mypy src/
semgrep	自定义安全规则	semgrep --config=p/python

---

C++ 安全审查

详细代码示例和安全/不安全对比：读取 references/cpp.md

审查覆盖的 11 个关键领域：

#	领域	核心风险	关键搜索模式
1	缓冲区溢出	代码执行	strcpy(, sprintf(, gets(
2	内存管理	UAF/Double-free	new/delete (非智能指针), raw pointer
3	整数溢出	缓冲区分配错误	new char[size] 无范围检查
4	格式化字符串	内存读写	printf(user_input), fprintf(stderr, var)
5	未初始化变量	未定义行为	声明后未赋值即使用
6	RAII/资源泄漏	资源耗尽	fopen/fclose, mutex.lock()/.unlock()
7	线程安全	数据竞争	非 atomic 跨线程变量, 无锁共享数据
8	类型转换	类型混淆	C 风格强转 (Type*)ptr, 尤其是向下转型
9	JSON 嵌套深度	栈溢出	nlohmann::json::parse( 无深度限制 (CWE-674)
10	服务资源上限	OOM	配置参数组合峰值内存超物理内存 (CWE-400, CWE-770)
11	特殊 Token 注入	段错误/崩溃	Token 配对假设, 固定偏移访问 (CWE-129, CWE-248)

C++ 安全工具：

工具	用途	命令/用法
AddressSanitizer	内存错误检测	-fsanitize=address
ThreadSanitizer	数据竞争检测	-fsanitize=thread
UBSanitizer	未定义行为检测	-fsanitize=undefined
Valgrind	内存泄漏检测	valgrind --leak-check=full ./app
cppcheck	静态分析	cppcheck --enable=all src/
clang-tidy	Linter + 安全规则	clang-tidy -checks='*' src/*.cpp
Coverity	企业级静态分析	CI 集成

---

Shell 安全审查

详细代码示例和安全/不安全对比：读取 references/shell.md

审查覆盖的 8 个关键领域：

#	领域	核心风险	关键搜索模式
1	脚本头部	静默失败	缺少 set -euo pipefail
2	变量引用	命令注入/误删	$var (未用 "$var")
3	命令注入	任意命令执行	eval "$user_input"
4	临时文件	竞态条件	> /tmp/fixed_name (未用 mktemp)
5	权限	未授权访问	chmod 777, chmod 666
6	PATH 安全	路径劫持	关键命令未用绝对路径
7	信号处理	资源泄漏	缺少 trap cleanup EXIT
8	输入验证	路径遍历	未校验的 $filename 直接 cat

Shell 安全工具：

工具	用途	命令
ShellCheck	Shell 脚本静态分析	shellcheck script.sh
shfmt	Shell 格式化	shfmt -d script.sh

---

Markdown 安全审查

详细代码示例和安全/不安全对比：读取 references/markdown.md

审查覆盖的 4 个关键领域：

#	领域	核心风险	关键搜索模式
1	XSS 注入	脚本执行	<script>, <iframe>, onerror=, onmouseover=
2	链接安全	XSS/钓鱼	javascript:, data:, vbscript:
3	敏感信息	密钥泄露	sk-, ghp_, AKIA, 内部 IP/URL
4	图片安全	追踪/DoS	外部追踪像素, 超大图片

---

历史安全问题经验库

完整案例分析和排查清单：读取 references/lessons-learned.md

审查推理服务引擎代码时，重点排查以下已知问题模式：

编号	问题	严重级别	核心教训
SEC-EXP-001	配置参数组合导致 OOM	CRITICAL	峰值内存 = maxReqs × bodyLimit × JSON放大系数，各参数独立合理但组合后超出物理内存
SEC-EXP-002	<|begin_of_image|> 无 <|end_of_image|> 导致 DoS	CRITICAL	假设特殊 Token 成对出现，未校验即用硬索引访问
SEC-EXP-003	<|vision_start|><|video_pad|><|vision_end|> 打破格式假设	CRITICAL	假设 Token 序列遵循私有协议格式，用固定偏移取值导致越界

---

通用安全约束 (Constraints)

必须遵守 (MUST)

1. 输入验证: 验证所有外部输入，永远不信任用户数据
2. 参数化查询: 使用参数化查询防止注入攻击
3. 最小权限: 进程、文件、用户使用最小必要权限
4. 安全默认值: 变量初始化、错误处理使用安全的默认值
5. 依赖审计: 定期扫描依赖中的已知漏洞
6. 敏感信息保护: 密钥、密码、Token 通过环境变量管理
7. 日志脱敏: 日志中不记录密码、密钥等敏感信息
8. 错误处理: 错误消息不泄露内部实现细节
9. JSON 嵌套深度校验: 对所有外部 JSON 请求在解析前/解析时校验嵌套深度，防止栈溢出和资源耗尽攻击 (CWE-674, CWE-400)
10. 服务化请求资源上限校验: 服务配置参数（最大并发数、请求体上限、请求头上限等）组合后的峰值内存必须小于部署环境可用内存；需考虑 JSON/XML 等反序列化库的内存放大系数 (CWE-400, CWE-770)
11. 特殊 Token 输入校验: 多模态/多轮对话等场景中的特殊 Token（如 begin/end_of_image、vision_start/end 等）必须校验配对完整性和序列格式合法性；禁止对 Token 序列做隐式格式假设；框架层必须兜底捕获 IndexError/out_of_range 防止进程崩溃 (CWE-129, CWE-248, CWE-20)

禁止事项 (MUST NOT)

1. 禁止 eval 类函数: Python eval()/exec()、Shell eval、C++ 无等价物但禁止动态代码生成
2. 禁止硬编码密钥: 不在代码中硬编码密码、API Key、Token
3. 禁止提交敏感文件: .env、私钥、证书不得提交到版本控制
4. 禁止忽略错误: 不得静默吞掉异常或忽略返回值
5. 禁止过宽权限: 不使用 chmod 777、0.0.0.0 无限制监听
6. 禁止使用已弃用的不安全函数: gets(), sprintf(), strcpy() 等

---

安全审查检查清单 (Checklist)

Python

- [ ] 无 eval()/exec() 使用不受信任的输入
- [ ] 无 pickle.loads() 加载不受信任的数据
- [ ] 使用 yaml.safe_load() 替代 yaml.load()
- [ ] subprocess 调用不使用 shell=True
- [ ] SQL 查询使用参数化方式
- [ ] 文件路径操作有路径遍历防护
- [ ] 无硬编码的密钥/密码
- [ ] 日志不记录敏感信息
- [ ] 未使用 assert 进行安全/权限相关检查
- [ ] 依赖已通过 pip-audit/bandit 扫描
- [ ] 正则表达式无 ReDoS 风险
- [ ] 临时文件使用 tempfile 模块
- [ ] JSON 请求解析入口有嵌套深度限制（建议 ≤ 32 层）
- [ ] 递归遍历 JSON 数据结构有深度保护
- [ ] 多模态特殊 Token（begin/end_of_image、vision_start/end 等）校验了配对完整性，不假设成对出现
- [ ] 推理请求处理路径有框架层 IndexError/ValueError/KeyError 兜底捕获，防止单请求异常导致进程崩溃

C++

- [ ] 无缓冲区溢出风险 (strcpy → strncpy/std::string)
- [ ] 使用智能指针管理内存
- [ ] 无 use-after-free / double-free
- [ ] 整数运算有溢出检查
- [ ] printf 系列函数使用固定格式字符串
- [ ] 所有变量在使用前初始化
- [ ] 资源管理遵循 RAII 原则
- [ ] 多线程代码无数据竞争
- [ ] 使用 C++ 风格类型转换 (static_cast/dynamic_cast)
- [ ] 编译启用安全选项 (-Wall -Werror -fsanitize=address)
- [ ] JSON 请求解析入口有嵌套深度限制（建议 ≤ 32 层）
- [ ] 递归遍历 JSON 数据结构有深度参数并设上限
- [ ] 服务配置参数组合后峰值内存不超过部署环境可用内存（考虑 JSON 放大系数）
- [ ] 存在运行时内存水位监控或请求准入控制机制
- [ ] 多模态特殊 Token（boi/eoi、vision_start/end 等）校验了配对完整性和序列格式，不做隐式格式假设
- [ ] model forward / pre-processing 路径有框架层 std::out_of_range/std::invalid_argument 兜底 catch，防止进程崩溃

Shell

- [ ] 脚本使用 set -euo pipefail
- [ ] 所有变量使用双引号包裹 ("$var")
- [ ] 无 eval 使用用户输入
- [ ] 临时文件使用 mktemp
- [ ] 文件权限不超过 755（脚本）/ 644（配置）
- [ ] 关键命令使用绝对路径
- [ ] 有 trap 清理机制
- [ ] 输入经过验证和过滤
- [ ] 通过 ShellCheck 无警告
- [ ] 不使用 . 或空目录在 PATH 中

Markdown

- [ ] 无内嵌 <script>/<iframe> 标签
- [ ] 无 javascript:/data: 协议链接
- [ ] 无硬编码密钥/密码/Token
- [ ] 无内部 IP 地址或内部 URL 泄露
- [ ] 外部图片来源可信
- [ ] 无追踪像素

---

推荐工具汇总

语言	工具	类型	说明
Python	bandit	静态分析	Python 安全漏洞检测
Python	pip-audit	依赖扫描	Python 依赖漏洞检查
Python	semgrep	规则引擎	自定义安全规则匹配
Python	mypy	类型检查	类型安全，防止类型混淆
C++	AddressSanitizer	运行时检测	内存错误检测
C++	ThreadSanitizer	运行时检测	数据竞争检测
C++	cppcheck	静态分析	C/C++ 静态分析
C++	clang-tidy	Linter	代码质量 + 安全规则
C++	Valgrind	运行时检测	内存泄漏检测
Shell	ShellCheck	静态分析	Shell 脚本安全分析
通用	git-secrets	预提交钩子	防止提交密钥
通用	trufflehog	密钥扫描	扫描代码中的密钥
通用	gitleaks	密钥扫描	Git 仓库密钥泄露检测
Markdown	markdownlint	Linter	Markdown 格式检查

---

参考标准

• CWE Top 25
• OWASP Top 10
• CERT C++ Secure Coding
• CERT C Secure Coding
• Bandit Documentation
• ShellCheck Wiki

---

审查结果输出 (Output)

审查流程要求

当使用此 Skill 对代码仓库执行安全审查（即参数包含 review 关键字）时，完成所有审查后自动将结果保存为 CSV 文件。这是审查流程的最终必要步骤。

CSV 输出规范

文件名： security_code_review_report.csv 保存位置： 被审查的代码仓库根目录下（即 review <path> 中的 <path> 下） 编码： UTF-8

CSV 必须包含以下 9 列（表头固定）：

编号,严重级别,漏洞类别,语言,文件路径,行号,问题描述,风险说明,建议修复方案

列名	说明	示例值
编号	唯一编号，格式为 严重级别首字母-序号	C-01, H-05, M-12, L-03
严重级别	四级：CRITICAL / HIGH / MEDIUM / LOW	CRITICAL
漏洞类别	安全漏洞分类名称	命令注入, 不安全反序列化, 线程安全, 路径遍历
语言	代码语言/文件类型	Python, C++, Shell, Markdown, Docker, Config
文件路径	相对于仓库根目录的文件路径	src/utils/file_utils.py
行号	问题代码所在行号，多行用逗号分隔	79, 40-44, 220-232
问题描述	简明扼要描述发现的问题	pickle.loads() 反序列化来自共享内存的数据
风险说明	说明该问题可能导致的安全风险	攻击者可注入恶意 pickle payload 实现 RCE
建议修复方案	具体的修复建议和代码示例	用 json.loads() 替代 pickle.loads()

CSV 格式要求

1. 逗号分隔，含逗号的字段值用双引号包裹
2. 字段值内部的双引号用两个双引号转义（""）
3. 第一行为表头行，之后每行一条发现
4. 按严重级别排序：CRITICAL → HIGH → MEDIUM → LOW
5. 同级别内按编号顺序排列
6. 文件路径使用相对路径（相对于仓库根目录）

输出流程

审查完成后执行以下步骤：

1. 汇总所有发现：收集所有审查代理/扫描的结果
2. 去重合并：合并重复发现，确保每条记录唯一
3. 生成 CSV：按上述规范生成 CSV 文件并写入目标路径
4. 验证 CSV：用 Python csv 模块验证文件格式正确、行数与发现数一致
5. 输出摘要：向用户报告文件位置和各严重级别的统计数量

示例输出

编号,严重级别,漏洞类别,语言,文件路径,行号,问题描述,风险说明,建议修复方案
C-01,CRITICAL,不安全反序列化,Python,src/utils/share_memory.py,79,"pickle.loads() 反序列化来自共享内存的数据","攻击者可注入恶意 pickle payload 实现 RCE","用 json.loads() 替代 pickle.loads()"
H-01,HIGH,命令注入,Shell,scripts/run.sh,52,"eval 执行含用户输入的命令字符串","模型路径含 shell 元字符时可注入任意命令","改用 bash 数组构建命令, 消除 eval"
M-01,MEDIUM,线程安全,C++,src/thread_pool.h,45,"m_shutdown 为非原子 bool 跨线程读写","数据竞争导致工作线程可能无法退出","改为 std::atomic<bool>"
L-01,LOW,临时文件安全,Python,tests/test_utils.py,30,"硬编码 /tmp 路径","共享 CI 环境中符号链接攻击风险","使用 tempfile.mkdtemp()"

注意事项

• 即使审查未发现任何问题，也应生成 CSV 文件（仅含表头行），并向用户说明"未发现安全问题"
• CSV 文件用于人工审核，描述必须清晰具体，避免模糊表述
• 如果审查仅针对特定文件而非整个仓库，CSV 保存到该文件所在目录
• 生成 CSV 后用 Python 脚本验证格式，确保可被 Excel/WPS 正确打开

---

Metadata

• Version: 2.0.0
• Last updated: 2026-04-24
• Languages: Python, C++, Shell/Bash, Markdown
• Tags: #security #code-review #python #cpp #shell #markdown #OWASP #CWE