六阶段安全审计技能:找出问题的那一个不许自己验证
来源:GitHub — 2026-10-25 · ⭐ 43,706 stars · JavaScript
📋 概述
Cloudflare 把自家漏洞挖掘流水线的起点开源成一个编码智能体技能:先做侦察,把架构、信任边界、输入面和确定性覆盖记进架构文档与覆盖台账;再按台账切片派出彼此隔离的猎手,命中之后交给一个全新的验证者去证伪。结论分三档,确认必须有完整源码追溯与可观测结果,只差一条确切未解决事实的算待验证、且不许标严重级别,被推翻的单独归档。多轮跑同一份代码是叠加的,它用旧台账找缺口、重验变更过的源码,而不是把历史工作当成已覆盖。
🔑 核心要点
- 六个阶段串成一条闭环:侦察、覆盖驱动的猎捕、候选验证、结构化输出、独立复核、目标中立报告,台账每次更新后都要跑一遍零依赖校验器。
- 结论三档不混:确认档要有源码追溯加有界观测结果,待验证档只许记一条确切未解决事实且不带严重级别,被证伪的候选归档为否决。
- 严重级别必须挂钩影响面,按可能性乘影响算,而不是偏离清单的条数;纵深防御缺口不算漏洞,只记成加固建议。
- 反复跑才补得全:官方测试里单轮只找到重复多轮合计漏洞的约一半,所以每次跑针对的是上一轮的缺口而不是重来一遍。
💡 金句
The agent that checks a finding is never the agent that found it.
👍 0
👎 0
← 返回 GitHub Trending 首页