多语言安全代码审查 (Security Code Review)
适用场景
- 安全审查: 对 Python、C++、Shell、Markdown 文件进行安全代码审查
- Code Review: 在代码评审中检查安全漏洞
- 新代码编写: 编写安全的代码，避免常见漏洞
- 合规检查: 满足安全合规要求 (CWE, CERT, OWASP)
- CI/CD 集成: 在流水线中集成安全扫描工具
审查工作流程
执行安全审查时，按以下步骤进行：
- 确定审查范围：识别目标代码的语言类型（Python/C++/Shell/Markdown）
- 加载对应参考：根据语言读取
references/ 下的详细审查指南
- 逐项检查：按照下方各语言的审查要点和检查清单执行
- 查阅历史经验：对于推理服务相关代码，读取
references/lessons-learned.md 排查已知问题模式
- 生成审查报告：按照本文件末尾的输出规范生成 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)
- 输入验证: 验证所有外部输入，永远不信任用户数据
- 参数化查询: 使用参数化查询防止注入攻击
- 最小权限: 进程、文件、用户使用最小必要权限
- 安全默认值: 变量初始化、错误处理使用安全的默认值
- 依赖审计: 定期扫描依赖中的已知漏洞
- 敏感信息保护: 密钥、密码、Token 通过环境变量管理
- 日志脱敏: 日志中不记录密码、密钥等敏感信息
- 错误处理: 错误消息不泄露内部实现细节
- JSON 嵌套深度校验: 对所有外部 JSON 请求在解析前/解析时校验嵌套深度，防止栈溢出和资源耗尽攻击 (CWE-674, CWE-400)
- 服务化请求资源上限校验: 服务配置参数（最大并发数、请求体上限、请求头上限等）组合后的峰值内存必须小于部署环境可用内存；需考虑 JSON/XML 等反序列化库的内存放大系数 (CWE-400, CWE-770)
- 特殊 Token 输入校验: 多模态/多轮对话等场景中的特殊 Token（如 begin/end_of_image、vision_start/end 等）必须校验配对完整性和序列格式合法性；禁止对 Token 序列做隐式格式假设；框架层必须兜底捕获 IndexError/out_of_range 防止进程崩溃 (CWE-129, CWE-248, CWE-20)
禁止事项 (MUST NOT)
- 禁止 eval 类函数: Python
eval()/exec()、Shell eval、C++ 无等价物但禁止动态代码生成
- 禁止硬编码密钥: 不在代码中硬编码密码、API Key、Token
- 禁止提交敏感文件:
.env、私钥、证书不得提交到版本控制
- 禁止忽略错误: 不得静默吞掉异常或忽略返回值
- 禁止过宽权限: 不使用
chmod 777、0.0.0.0 无限制监听
- 禁止使用已弃用的不安全函数:
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 格式检查 |
参考标准
审查结果输出 (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 格式要求
- 逗号分隔，含逗号的字段值用双引号包裹
- 字段值内部的双引号用两个双引号转义（
""）
- 第一行为表头行，之后每行一条发现
- 按严重级别排序：CRITICAL → HIGH → MEDIUM → LOW
- 同级别内按编号顺序排列
- 文件路径使用相对路径（相对于仓库根目录）
输出流程
审查完成后执行以下步骤：
- 汇总所有发现：收集所有审查代理/扫描的结果
- 去重合并：合并重复发现，确保每条记录唯一
- 生成 CSV：按上述规范生成 CSV 文件并写入目标路径
- 验证 CSV：用 Python csv 模块验证文件格式正确、行数与发现数一致
- 输出摘要：向用户报告文件位置和各严重级别的统计数量
示例输出
编号,严重级别,漏洞类别,语言,文件路径,行号,问题描述,风险说明,建议修复方案
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
1---2name: security-code-review3description: 多语言安全代码审查 (Security Code Review)。对 Python、C++、Shell、Markdown 文件进行系统性安全漏洞检测与修复指导。覆盖 OWASP Top 10、CWE Top 25、CERT 安全编码标准。当用户提及以下内容时，务必使用此技能：安全审查、安全代码审查、security review、code review 中的安全检查、漏洞扫描、安全合规检查（CWE/CERT/OWASP）、编写安全代码、检查代码安全性、推理服务安全审计、多模态 Token 安全校验、JSON 嵌套深度攻击防护。即使用户没有明确说'安全审查'，只要涉及代码安全性评估、漏洞检测、安全最佳实践，都应触发此技能。4---56# 多语言安全代码审查 (Security Code Review)78## 适用场景910- **安全审查**: 对 Python、C++、Shell、Markdown 文件进行安全代码审查11- **Code Review**: 在代码评审中检查安全漏洞12- **新代码编写**: 编写安全的代码，避免常见漏洞13- **合规检查**: 满足安全合规要求 (CWE, CERT, OWASP)14- **CI/CD 集成**: 在流水线中集成安全扫描工具1516## 审查工作流程1718执行安全审查时，按以下步骤进行：19201. **确定审查范围**：识别目标代码的语言类型（Python/C++/Shell/Markdown）212. **加载对应参考**：根据语言读取 `references/` 下的详细审查指南223. **逐项检查**：按照下方各语言的审查要点和检查清单执行234. **查阅历史经验**：对于推理服务相关代码，读取 `references/lessons-learned.md` 排查已知问题模式245. **生成审查报告**：按照本文件末尾的输出规范生成 CSV 报告2526---2728## Python 安全审查2930> 详细代码示例和安全/不安全对比：读取 `references/python.md`3132**审查覆盖的 10 个关键领域：**3334| # | 领域 | 核心风险 | 关键搜索模式 |35|---|------|---------|-------------|36| 1 | 代码注入 | 任意代码执行 | `eval(`, `exec(`, `shell=True` |37| 2 | SQL 注入 | 数据泄露/篡改 | `f"SELECT`, `cursor.execute(f"` |38| 3 | 反序列化 | RCE | `pickle.loads`, `yaml.load(` (无 safe_load) |39| 4 | 路径遍历 | 任意文件读取 | `os.path.join(` + 用户输入, 无 `realpath` 校验 |40| 5 | 敏感信息泄露 | 密钥暴露 | 硬编码 `API_KEY=`, `PASSWORD=`, `logger.*(password` |41| 6 | assert 误用 | 权限绕过 | `assert user.is_admin`, `assert.*auth` |42| 7 | 临时文件 | 竞态/符号链接攻击 | `open("/tmp/` (未用 `tempfile`) |43| 8 | ReDoS | CPU 耗尽 | `(a+)+`, `(.*)*`, 嵌套量词 |44| 9 | JSON 嵌套深度 | 栈溢出/资源耗尽 | `json.loads(` 无深度限制 (CWE-674, CWE-400) |45| 10 | 特殊 Token 注入 | 进程崩溃/DoS | `np.where(np.equal(input_ids,` 无配对校验 (CWE-129, CWE-248) |4647**Python 安全工具：**4849| 工具 | 用途 | 命令 |50|------|------|------|51| **bandit** | 静态安全分析 | `bandit -r src/` |52| **pip-audit** | 依赖漏洞扫描 | `pip-audit` |53| **pylint** | 代码质量 + 部分安全规则 | `pylint src/` |54| **mypy** | 类型检查，防止类型混淆 | `mypy src/` |55| **semgrep** | 自定义安全规则 | `semgrep --config=p/python` |5657---5859## C++ 安全审查6061> 详细代码示例和安全/不安全对比：读取 `references/cpp.md`6263**审查覆盖的 11 个关键领域：**6465| # | 领域 | 核心风险 | 关键搜索模式 |66|---|------|---------|-------------|67| 1 | 缓冲区溢出 | 代码执行 | `strcpy(`, `sprintf(`, `gets(` |68| 2 | 内存管理 | UAF/Double-free | `new`/`delete` (非智能指针), `raw pointer` |69| 3 | 整数溢出 | 缓冲区分配错误 | `new char[size]` 无范围检查 |70| 4 | 格式化字符串 | 内存读写 | `printf(user_input)`, `fprintf(stderr, var)` |71| 5 | 未初始化变量 | 未定义行为 | 声明后未赋值即使用 |72| 6 | RAII/资源泄漏 | 资源耗尽 | `fopen`/`fclose`, `mutex.lock()`/`.unlock()` |73| 7 | 线程安全 | 数据竞争 | 非 `atomic` 跨线程变量, 无锁共享数据 |74| 8 | 类型转换 | 类型混淆 | C 风格强转 `(Type*)ptr`, 尤其是向下转型 |75| 9 | JSON 嵌套深度 | 栈溢出 | `nlohmann::json::parse(` 无深度限制 (CWE-674) |76| 10 | 服务资源上限 | OOM | 配置参数组合峰值内存超物理内存 (CWE-400, CWE-770) |77| 11 | 特殊 Token 注入 | 段错误/崩溃 | Token 配对假设, 固定偏移访问 (CWE-129, CWE-248) |7879**C++ 安全工具：**8081| 工具 | 用途 | 命令/用法 |82|------|------|----------|83| **AddressSanitizer** | 内存错误检测 | `-fsanitize=address` |84| **ThreadSanitizer** | 数据竞争检测 | `-fsanitize=thread` |85| **UBSanitizer** | 未定义行为检测 | `-fsanitize=undefined` |86| **Valgrind** | 内存泄漏检测 | `valgrind --leak-check=full ./app` |87| **cppcheck** | 静态分析 | `cppcheck --enable=all src/` |88| **clang-tidy** | Linter + 安全规则 | `clang-tidy -checks='*' src/*.cpp` |89| **Coverity** | 企业级静态分析 | CI 集成 |9091---9293## Shell 安全审查9495> 详细代码示例和安全/不安全对比：读取 `references/shell.md`9697**审查覆盖的 8 个关键领域：**9899| # | 领域 | 核心风险 | 关键搜索模式 |100|---|------|---------|-------------|101| 1 | 脚本头部 | 静默失败 | 缺少 `set -euo pipefail` |102| 2 | 变量引用 | 命令注入/误删 | `$var` (未用 `"$var"`) |103| 3 | 命令注入 | 任意命令执行 | `eval "$user_input"` |104| 4 | 临时文件 | 竞态条件 | `> /tmp/fixed_name` (未用 `mktemp`) |105| 5 | 权限 | 未授权访问 | `chmod 777`, `chmod 666` |106| 6 | PATH 安全 | 路径劫持 | 关键命令未用绝对路径 |107| 7 | 信号处理 | 资源泄漏 | 缺少 `trap cleanup EXIT` |108| 8 | 输入验证 | 路径遍历 | 未校验的 `$filename` 直接 `cat` |109110**Shell 安全工具：**111112| 工具 | 用途 | 命令 |113|------|------|------|114| **ShellCheck** | Shell 脚本静态分析 | `shellcheck script.sh` |115| **shfmt** | Shell 格式化 | `shfmt -d script.sh` |116117---118119## Markdown 安全审查120121> 详细代码示例和安全/不安全对比：读取 `references/markdown.md`122123**审查覆盖的 4 个关键领域：**124125| # | 领域 | 核心风险 | 关键搜索模式 |126|---|------|---------|-------------|127| 1 | XSS 注入 | 脚本执行 | `<script>`, `<iframe>`, `onerror=`, `onmouseover=` |128| 2 | 链接安全 | XSS/钓鱼 | `javascript:`, `data:`, `vbscript:` |129| 3 | 敏感信息 | 密钥泄露 | `sk-`, `ghp_`, `AKIA`, 内部 IP/URL |130| 4 | 图片安全 | 追踪/DoS | 外部追踪像素, 超大图片 |131132---133134## 历史安全问题经验库135136> 完整案例分析和排查清单：读取 `references/lessons-learned.md`137138审查推理服务引擎代码时，重点排查以下已知问题模式：139140| 编号 | 问题 | 严重级别 | 核心教训 |141|------|------|---------|---------|142| SEC-EXP-001 | 配置参数组合导致 OOM | CRITICAL | `峰值内存 = maxReqs × bodyLimit × JSON放大系数`，各参数独立合理但组合后超出物理内存 |143| SEC-EXP-002 | `<\|begin_of_image\|>` 无 `<\|end_of_image\|>` 导致 DoS | CRITICAL | 假设特殊 Token 成对出现，未校验即用硬索引访问 |144| SEC-EXP-003 | `<\|vision_start\|><\|video_pad\|><\|vision_end\|>` 打破格式假设 | CRITICAL | 假设 Token 序列遵循私有协议格式，用固定偏移取值导致越界 |145146---147148## 通用安全约束 (Constraints)149150### 必须遵守 (MUST)1511521. **输入验证**: 验证所有外部输入，永远不信任用户数据1532. **参数化查询**: 使用参数化查询防止注入攻击1543. **最小权限**: 进程、文件、用户使用最小必要权限1554. **安全默认值**: 变量初始化、错误处理使用安全的默认值1565. **依赖审计**: 定期扫描依赖中的已知漏洞1576. **敏感信息保护**: 密钥、密码、Token 通过环境变量管理1587. **日志脱敏**: 日志中不记录密码、密钥等敏感信息1598. **错误处理**: 错误消息不泄露内部实现细节1609. **JSON 嵌套深度校验**: 对所有外部 JSON 请求在解析前/解析时校验嵌套深度，防止栈溢出和资源耗尽攻击 (CWE-674, CWE-400)16110. **服务化请求资源上限校验**: 服务配置参数（最大并发数、请求体上限、请求头上限等）组合后的峰值内存必须小于部署环境可用内存；需考虑 JSON/XML 等反序列化库的内存放大系数 (CWE-400, CWE-770)16211. **特殊 Token 输入校验**: 多模态/多轮对话等场景中的特殊 Token（如 begin/end_of_image、vision_start/end 等）必须校验配对完整性和序列格式合法性；禁止对 Token 序列做隐式格式假设；框架层必须兜底捕获 IndexError/out_of_range 防止进程崩溃 (CWE-129, CWE-248, CWE-20)163164### 禁止事项 (MUST NOT)1651661. **禁止 eval 类函数**: Python `eval()`/`exec()`、Shell `eval`、C++ 无等价物但禁止动态代码生成1672. **禁止硬编码密钥**: 不在代码中硬编码密码、API Key、Token1683. **禁止提交敏感文件**: `.env`、私钥、证书不得提交到版本控制1694. **禁止忽略错误**: 不得静默吞掉异常或忽略返回值1705. **禁止过宽权限**: 不使用 `chmod 777`、`0.0.0.0` 无限制监听1716. **禁止使用已弃用的不安全函数**: `gets()`, `sprintf()`, `strcpy()` 等172173---174175## 安全审查检查清单 (Checklist)176177### Python178```179- [ ] 无 eval()/exec() 使用不受信任的输入180- [ ] 无 pickle.loads() 加载不受信任的数据181- [ ] 使用 yaml.safe_load() 替代 yaml.load()182- [ ] subprocess 调用不使用 shell=True183- [ ] SQL 查询使用参数化方式184- [ ] 文件路径操作有路径遍历防护185- [ ] 无硬编码的密钥/密码186- [ ] 日志不记录敏感信息187- [ ] 未使用 assert 进行安全/权限相关检查188- [ ] 依赖已通过 pip-audit/bandit 扫描189- [ ] 正则表达式无 ReDoS 风险190- [ ] 临时文件使用 tempfile 模块191- [ ] JSON 请求解析入口有嵌套深度限制（建议 ≤ 32 层）192- [ ] 递归遍历 JSON 数据结构有深度保护193- [ ] 多模态特殊 Token（begin/end_of_image、vision_start/end 等）校验了配对完整性，不假设成对出现194- [ ] 推理请求处理路径有框架层 IndexError/ValueError/KeyError 兜底捕获，防止单请求异常导致进程崩溃195```196197### C++198```199- [ ] 无缓冲区溢出风险 (strcpy → strncpy/std::string)200- [ ] 使用智能指针管理内存201- [ ] 无 use-after-free / double-free202- [ ] 整数运算有溢出检查203- [ ] printf 系列函数使用固定格式字符串204- [ ] 所有变量在使用前初始化205- [ ] 资源管理遵循 RAII 原则206- [ ] 多线程代码无数据竞争207- [ ] 使用 C++ 风格类型转换 (static_cast/dynamic_cast)208- [ ] 编译启用安全选项 (-Wall -Werror -fsanitize=address)209- [ ] JSON 请求解析入口有嵌套深度限制（建议 ≤ 32 层）210- [ ] 递归遍历 JSON 数据结构有深度参数并设上限211- [ ] 服务配置参数组合后峰值内存不超过部署环境可用内存（考虑 JSON 放大系数）212- [ ] 存在运行时内存水位监控或请求准入控制机制213- [ ] 多模态特殊 Token（boi/eoi、vision_start/end 等）校验了配对完整性和序列格式，不做隐式格式假设214- [ ] model forward / pre-processing 路径有框架层 std::out_of_range/std::invalid_argument 兜底 catch，防止进程崩溃215```216217### Shell218```219- [ ] 脚本使用 set -euo pipefail220- [ ] 所有变量使用双引号包裹 ("$var")221- [ ] 无 eval 使用用户输入222- [ ] 临时文件使用 mktemp223- [ ] 文件权限不超过 755（脚本）/ 644（配置）224- [ ] 关键命令使用绝对路径225- [ ] 有 trap 清理机制226- [ ] 输入经过验证和过滤227- [ ] 通过 ShellCheck 无警告228- [ ] 不使用 . 或空目录在 PATH 中229```230231### Markdown232```233- [ ] 无内嵌 <script>/<iframe> 标签234- [ ] 无 javascript:/data: 协议链接235- [ ] 无硬编码密钥/密码/Token236- [ ] 无内部 IP 地址或内部 URL 泄露237- [ ] 外部图片来源可信238- [ ] 无追踪像素239```240241---242243## 推荐工具汇总244245| 语言 | 工具 | 类型 | 说明 |246|------|------|------|------|247| Python | **bandit** | 静态分析 | Python 安全漏洞检测 |248| Python | **pip-audit** | 依赖扫描 | Python 依赖漏洞检查 |249| Python | **semgrep** | 规则引擎 | 自定义安全规则匹配 |250| Python | **mypy** | 类型检查 | 类型安全，防止类型混淆 |251| C++ | **AddressSanitizer** | 运行时检测 | 内存错误检测 |252| C++ | **ThreadSanitizer** | 运行时检测 | 数据竞争检测 |253| C++ | **cppcheck** | 静态分析 | C/C++ 静态分析 |254| C++ | **clang-tidy** | Linter | 代码质量 + 安全规则 |255| C++ | **Valgrind** | 运行时检测 | 内存泄漏检测 |256| Shell | **ShellCheck** | 静态分析 | Shell 脚本安全分析 |257| 通用 | **git-secrets** | 预提交钩子 | 防止提交密钥 |258| 通用 | **trufflehog** | 密钥扫描 | 扫描代码中的密钥 |259| 通用 | **gitleaks** | 密钥扫描 | Git 仓库密钥泄露检测 |260| Markdown | **markdownlint** | Linter | Markdown 格式检查 |261262---263264## 参考标准265266- [CWE Top 25](https://cwe.mitre.org/top25/)267- [OWASP Top 10](https://owasp.org/www-project-top-ten/)268- [CERT C++ Secure Coding](https://wiki.sei.cmu.edu/confluence/display/cplusplus)269- [CERT C Secure Coding](https://wiki.sei.cmu.edu/confluence/display/c)270- [Bandit Documentation](https://bandit.readthedocs.io/)271- [ShellCheck Wiki](https://www.shellcheck.net/wiki/)272273---274275## 审查结果输出 (Output)276277### 审查流程要求278279当使用此 Skill 对代码仓库执行安全审查（即参数包含 `review` 关键字）时，完成所有审查后自动将结果保存为 CSV 文件。这是审查流程的最终必要步骤。280281### CSV 输出规范282283**文件名：** `security_code_review_report.csv`284**保存位置：** 被审查的代码仓库根目录下（即 `review <path>` 中的 `<path>` 下）285**编码：** UTF-8286287**CSV 必须包含以下 9 列（表头固定）：**288289```csv290编号,严重级别,漏洞类别,语言,文件路径,行号,问题描述,风险说明,建议修复方案291```292293| 列名 | 说明 | 示例值 |294|------|------|--------|295| **编号** | 唯一编号，格式为 `严重级别首字母-序号` | `C-01`, `H-05`, `M-12`, `L-03` |296| **严重级别** | 四级：`CRITICAL` / `HIGH` / `MEDIUM` / `LOW` | `CRITICAL` |297| **漏洞类别** | 安全漏洞分类名称 | `命令注入`, `不安全反序列化`, `线程安全`, `路径遍历` |298| **语言** | 代码语言/文件类型 | `Python`, `C++`, `Shell`, `Markdown`, `Docker`, `Config` |299| **文件路径** | 相对于仓库根目录的文件路径 | `src/utils/file_utils.py` |300| **行号** | 问题代码所在行号，多行用逗号分隔 | `79`, `40-44, 220-232` |301| **问题描述** | 简明扼要描述发现的问题 | `pickle.loads() 反序列化来自共享内存的数据` |302| **风险说明** | 说明该问题可能导致的安全风险 | `攻击者可注入恶意 pickle payload 实现 RCE` |303| **建议修复方案** | 具体的修复建议和代码示例 | `用 json.loads() 替代 pickle.loads()` |304305### CSV 格式要求3063071. **逗号分隔**，含逗号的字段值用双引号包裹3082. 字段值内部的双引号用两个双引号转义（`""`）3093. 第一行为表头行，之后每行一条发现3104. 按严重级别排序：CRITICAL → HIGH → MEDIUM → LOW3115. 同级别内按编号顺序排列3126. 文件路径使用相对路径（相对于仓库根目录）313314### 输出流程315316审查完成后执行以下步骤：3173181. **汇总所有发现**：收集所有审查代理/扫描的结果3192. **去重合并**：合并重复发现，确保每条记录唯一3203. **生成 CSV**：按上述规范生成 CSV 文件并写入目标路径3214. **验证 CSV**：用 Python csv 模块验证文件格式正确、行数与发现数一致3225. **输出摘要**：向用户报告文件位置和各严重级别的统计数量323324### 示例输出325326```csv327编号,严重级别,漏洞类别,语言,文件路径,行号,问题描述,风险说明,建议修复方案328C-01,CRITICAL,不安全反序列化,Python,src/utils/share_memory.py,79,"pickle.loads() 反序列化来自共享内存的数据","攻击者可注入恶意 pickle payload 实现 RCE","用 json.loads() 替代 pickle.loads()"329H-01,HIGH,命令注入,Shell,scripts/run.sh,52,"eval 执行含用户输入的命令字符串","模型路径含 shell 元字符时可注入任意命令","改用 bash 数组构建命令, 消除 eval"330M-01,MEDIUM,线程安全,C++,src/thread_pool.h,45,"m_shutdown 为非原子 bool 跨线程读写","数据竞争导致工作线程可能无法退出","改为 std::atomic<bool>"331L-01,LOW,临时文件安全,Python,tests/test_utils.py,30,"硬编码 /tmp 路径","共享 CI 环境中符号链接攻击风险","使用 tempfile.mkdtemp()"332```333334### 注意事项335336- 即使审查未发现任何问题，也应生成 CSV 文件（仅含表头行），并向用户说明"未发现安全问题"337- CSV 文件用于人工审核，**描述必须清晰具体，避免模糊表述**338- 如果审查仅针对特定文件而非整个仓库，CSV 保存到该文件所在目录339- 生成 CSV 后用 Python 脚本验证格式，确保可被 Excel/WPS 正确打开340341---342343## Metadata344345- **Version**: 2.0.0346- **Last updated**: 2026-04-24347- **Languages**: Python, C++, Shell/Bash, Markdown348- **Tags**: `#security` `#code-review` `#python` `#cpp` `#shell` `#markdown` `#OWASP` `#CWE`
ascend