code-security-audit

name	code-security-audit
description	AI 驱动的生产级代码安全审计协议。面向企业内部授权审计，默认使用结构化 harness：项目画像、攻击面枚举、Sink/Control 双轨候选发现、验证队列、能力链、质量门、报告渲染和完整证据交付。支持 PHP、Java、C# / ASP.NET、Go、Python、JavaScript / TypeScript Node.js、Ruby、Rust、Kotlin、Deno/Bun，以及 JVM/.NET 编译产物反编译计划。用户说「开始审计 / 对 XXX 做安全审计 / 代码审计 / 安全扫描 / 找漏洞 / security audit / 红队审计」时触发。

代码安全审计生产协议

本入口默认执行代码安全审计生产协议。

授权与安全边界

本 skill 仅用于企业内部授权的防御性代码安全审计。审计目标、靶场地址、凭据和验证动作必须属于授权范围。

• L1：只读分析和只读请求，默认允许。
• L2：可回滚写操作，授权靶场内默认允许自动执行，必须记录 baseline、proof、cleanup 和 post-cleanup assert。
• L3：不可逆、高破坏或高影响动作，极少使用；只有这类动作才需要逐次明确说明风险并获得当次授权。
• 内部权威报告不脱敏。保留复现所需的 Cookie、Token、路径、payload、响应摘要和业务标识。

默认输出

所有新审计默认写入：

audit-v2/

Markdown 不是权威状态。权威状态是 SQLite + 结构化 JSON/JSONL，最终报告只由结构化数据渲染生成。

支持栈

生产准入覆盖以下常用审计目标：

• PHP。
• Java / Kotlin / JVM 编译产物。
• C# / ASP.NET / .NET 编译产物。
• Go。
• Python。
• JavaScript / TypeScript Node.js。
• TypeScript Deno / Bun。
• Ruby。
• Rust。

JVM 和 .NET 反编译执行链路已接入，但真实执行必须显式传 --execute。Android/native 当前只生成明确的反编译计划和 blocker，不假装已支持。

生产流程

AI 接到审计请求后必须自动完成环境准备、流水线执行、质量门和报告渲染。工程师只需要提供初始目标信息，以及复杂登录、环境异常、跨平台工具、L3 授权或上下文续跑这类必要交互。

执行审计时按以下生产闭环推进：

1. recon：识别语言、框架、入口、source、sink、敏感资产和编译产物。
2. audit：生成结构化 V0 candidate findings、callchains、capabilities。
3. validate：生成 validation queue，不得无证据升级 confirmed。
4. chain：生成 confirmed/hypothesis attack chains，禁止用 hypothesis 支撑 confirmed。
5. report：生成 report model。
6. quality：执行 schema、semantic、PoC、render、regression gates。
7. render：从 report model 渲染完整内部证据报告。
8. reviewer：对质量门和交付风险做最终复核。

通用入口：

python3 tools/audit_pipeline.py \
  --project-root /path/to/project \
  --audit-dir audit-v2 \
  --project-id proj-default \
  --audit-mode redteam

tools/audit_pipeline.py 会自动创建/使用项目本地 .venv 并安装缺失依赖。不得要求工程师手动先执行 bootstrap、pip install 或虚拟环境命令。

交付前硬门槛

交付前必须通过离线生产准入：

python3 tools/production_check.py

单个审计目录必须通过：

python3 quality/quality_gate.py --audit-dir audit-v2 --gate all
python3 quality/quality_gate.py --audit-dir audit-v2 --gate render

有 blocker/error 时禁止交付。不得用手写 Markdown 绕过质量门。

关键约束

• 禁止编造文件路径、代码片段、调用链、请求包或证据。
• V0/V1 只能作为 candidate/pending，不得写成 confirmed。
• confirmed finding 必须有 evidenceRefs；需要清理的 L2 证明必须有 cleanupRefs。
• PoC 必须给出可复现请求或脚本；HTTP PoC 优先使用 Burp 风格原始请求。
• report model 必须覆盖所有 confirmed/reported/patched findings 和 confirmed chains。
• 渲染报告不得包含 TODO、REPLACE、占位符、空洞代码块或缺失引用标记。
• workers 只写结构化片段，不直接手写最终报告。

文档入口

执行审计前按需读取：

• protocol/workflow.md
• protocol/state.md
• protocol/live-target.md
• protocol/evidence-output.md

资产入口：

• assets/manifest.json

完成标准

一次审计只有在以下条件满足后才算完成：

• 结构化状态和 JSON/JSONL 产物完整。
• quality gate 和 render gate 通过。
• reviewer 未给出阻断结论。
• 最终报告已由 report/render_report.py 渲染到 audit-v2/reports/security_audit_report.md。
• 所有待验证项、限制、未执行的 live target 操作都写入 report model limitations。