用途:对代码仓库或其目录做防御性、源码优先的安全审计与漏洞排查,输出可经得起审查的发现。范围限于代码内的边界失效,不向已部署系统发流量、不做 STRIDE 威胁建模、不扫密钥、不查云账号、不列依赖 CVE。
主要能力:六个阶段——侦察、按覆盖单元狩猎、候选验证、结构化输出、记录复核、报告;输出 findings.json、REPORT.md、FINDINGS-DETAIL.md、NEEDS-VALIDATION.md。发现分三种状态:confirmed(源码追踪并本地复现)、needs validation(指明阻塞事实)、rejected(已否证并保留)。三种独立性规则:主智能体是共享文件唯一写入者;不验证自己狩猎的候选;验证者之间互不可见结论。
使用方式:两种模式——指导模式仅对话作答、不建文件;完整审计模式跑全部六阶段。完整审计前需确认广度层级(core、focused、full)、目标与范围、输出位置、profile 与预算。命令示例: python3 engineering/security-audit/scripts/audit_run.py init --target ~/code/app --tier focused --profile standard init 后运行 validate_coverage_ledger.py、promote_evidence.py、validate_findings.py,最后加 --final 门禁并 audit_run.py summary 生成报告表格。
适用场景:发布、收购或客户审查需要站得住脚的结论;上次审计结果不可信需分离真伪;针对子系统或 diff 的范围审查;重复审计上次延后或阻塞的部分。
限制:执行目标代码必须在 OS 强制沙箱内(无外网、只读目标、写入限 scratch/ 等),控制缺失则不执行任何代码;不得触碰已部署端点、真实账号凭证或生产数据,不装依赖,不做压力测试;审计不修改目标仓库;tier 外单元记为 out_of_scope,绝不静默跳过;一次运行只有两种结束状态——全部报告文件写出且两个验证器通过,或 run_status 为 incomplete 并说明缺口。