verify-security

name	verify-security
description	安全校验关卡。自动扫描代码安全漏洞，检测危险模式，确保安全决策有文档记录。当用户提到安全扫描、漏洞检测、安全审计、代码安全、OWASP、注入检测、敏感信息泄露时使用。在新建模块、安全相关变更、攻防任务、重构完成时自动触发。
license	MIT
compatibility	node>=18
user-invocable	true
disable-model-invocation	false
allowed-tools	Bash, Read, Grep
argument-hint	<扫描路径>
deprecated_in	1.0.0
replaced_by	/ccg:verify --gate=security
deprecation_message	推荐使用 `/ccg:verify --gate=security`。本命令仍可用以保持 BC。详见 .ccg-migration/DEPRECATIONS.md
gate-type	revision-loop

⚖ 校验关卡 · 安全校验

Gate 分类与失败路径

• 类型：revision-loop（maxLoops = 3），但带 critical 覆盖路径
• critical 漏洞 → abort 覆盖：立即停止交付流程、保留状态（UAT/job 文件不清理）、报告原因；人工修复后重跑本门 resume
• 非 critical：findings 回喂修复 → 重跑；3 轮不收敛 → escalation 三选（force / guide / abort）
• 单一真相源：分类与失败路径以 /ccg:verify 的 Gates Taxonomy 段及 src/utils/verify-orchestrator.ts 的 GATE_REGISTRY 为准（criticalOverride: 'abort'）

核心原则

安全即道基，破则劫败
安全决策必须可追溯
Critical/High 问题必须修复后才能交付

自动扫描

运行安全扫描脚本（跨平台）：

# 在 skill 目录下运行
node scripts/security_scanner.js <扫描路径>
node scripts/security_scanner.js <扫描路径> -v           # 详细模式
node scripts/security_scanner.js <扫描路径> --json       # JSON 输出
node scripts/security_scanner.js <扫描路径> --exclude vendor  # 排除目录

检测范围

自动检测的漏洞类型

类别	检测项	严重度
注入	SQL 注入、命令注入、代码注入	🔴 Critical
敏感信息	硬编码密钥、AWS Key、私钥	🔴 Critical
XSS	innerHTML、dangerouslySetInnerHTML	🟠 High
反序列化	pickle.loads、yaml.load	🟠 High
路径遍历	未验证的文件路径操作	🟠 High
SSRF	未验证的 URL 请求	🟠 High
XXE	不安全的 XML 解析	🟠 High
弱加密	MD5、SHA1 用于安全场景	🟡 Medium
不安全随机	random 模块用于安全场景	🟡 Medium
调试代码	console.log、print、debugger	🔵 Low

文档层面检查

安全相关代码必须在 DESIGN.md 中记录：

• 威胁模型 — 防御哪些攻击
• 安全决策 — 为何选择此方案
• 安全边界 — 信任边界在哪里
• 已知风险 — 接受了哪些风险

危险模式速查

Python

# 🔴 危险 - 触犯道基
eval(), exec(), os.system()
subprocess(..., shell=True)
pickle.loads(), yaml.load()
cursor.execute(f"SELECT * FROM t WHERE id = {id}")

# ✅ 安全替代 - 道基稳固
ast.literal_eval()
subprocess([...], shell=False)
yaml.safe_load()
cursor.execute("SELECT * FROM t WHERE id = %s", (id,))

JavaScript

// 🔴 危险 - 触犯道基
eval(), innerHTML, document.write()
new Function(userInput)

// ✅ 安全替代 - 道基稳固
JSON.parse(), textContent
模板引擎自动转义

Go

// 🔴 危险 - 触犯道基
exec.Command("sh", "-c", userInput)
template.HTML(userInput)

// ✅ 安全替代 - 道基稳固
exec.Command("cmd", args...)
html/template 自动转义

校验流程

1. 运行 security_scanner.js 自动扫描
2. 分析扫描结果，按严重度排序
3. 检查安全决策是否有文档记录
4. 输出安全校验报告
5. Critical/High 问题必须修复后才能交付

自动触发时机

场景	触发条件
新建模块	模块创建完成时
安全相关变更	涉及认证、授权、加密、输入处理
攻防任务	红队/蓝队任务完成时
重构完成	重构任务完成时
提交前	代码提交前检查

校验报告格式

## 安全校验报告

✓ 通过 | ✗ 未通过

- 🔴 Critical: N
- 🟠 High: N
- 🟡 Medium: N
- 🔵 Low: N

### 发现问题

| 文件 | 行号 | 类型 | 严重度 | 描述 |
|------|------|------|--------|------|
| ... | ... | ... | ... | ... |

### 结论

可交付 / 需修复后交付

---