安全审计Skill指南:confirmed、needs_validation与rejected三判定体系,为什么待验证项不许给严重级别
安全审计Skill指南confirmed、needs_validation与rejected三判定体系为什么待验证项不许给严重级别【免费下载链接】security-audit-skillA coding-agent skill for multi-phase security audits with independently verified, machine-readable findings项目地址: https://gitcode.com/GitHub_Trending/se/security-audit-skillsecurity-audit-skill是一个让编码代理coding agent变成安全审计员的多阶段审计技能侦察、狩猎、验证、结构化输出、独立复核、中立报告六阶段一气呵成。它的精华不在找漏洞而在如何诚实地记录漏洞——每个候选问题最终只能落入confirmed、needs_validation、rejected三个判定之一而待验证项被严格禁止标注严重级别。这篇文章带你搞懂这套三判定体系的设计逻辑。一张表看懂三判定先记住结论findings.json中每条记录都有稳定fingerprint指纹同一根因在三个状态间流转时指纹不变。三个判定的必填项完全不同判定含义必带字段明确禁用字段confirmed已独立证实、有源码依据的漏洞root_cause、execution含observed_result、remediation、severity、confidenceclaimed_root_cause、blockers、validation_planneeds_validation源码有据、但被一个明确阻塞事实卡住的候选claimed_root_cause、blockers、validation_plan至少一个非空severity、execution、remediation、reasonrejected验证阶段被证伪的候选留档防止重复劳动claimed_root_cause、evidence、reasonseverity、execution、remediation、blockers契约定义在 report-schema.json 中三个分支均使用additionalProperties: false——多写一个字段都会被打回。为什么待验证项不许给严重级别这是 SKILL.md 的核心原则之一只有confirmed记录才获得严重级别。背后有三层原因。1️⃣ 严重级别是已证实后果的度量不是猜测的等级严重级别由可演示的影响demonstrated impact决定且有一条硬规则总体严重级别不能超过已证实的影响。一个尚未复现的候选它的影响只是假设——给假设打分等于给想象定价。 项目原话如果你说不出具体的损害那个严重级别就一定比你的直觉低。2️⃣needs_validation不是低置信度的确认漏洞这是最容易踩的坑。体系里反复强调needs_validation表示一个具体的、有源码依据的边界假设被某个明确事实阻塞而不是我们有点怀疑但没把握的漏洞。SKILL.md 还把它定义为绝不允许停放投机想法的停车场——没有具体边界假设的泛泛担忧连needs_validation都进不去。既然它不是打折扣的确认项自然不能继承严重级别这个字段。3️⃣ 防止误导性交付VALIDATION-AND-REPORTING.md 有一句很直白的话一个误导性的needs_validation移交会浪费所有者的时间还可能保住一个虚假前提。带严重级别的待验证项会诱导修复团队按确认漏洞排期而不带级别的needs_validation则必须附精确的阻塞事实和可执行的验证计划本地 fixture 或部署侧观测逼着读者先核实、再定级。规则不是写在文档里是写在校验器里漂亮的原则靠人自觉没用这套体系把规则硬编码进了零依赖校验器 validate-findings.cjsneeds_validation记录若出现severity字段 → 直接报错needs_validation finding must not contain severityrejected记录若出现severity/execution/remediation→ 同样拦截confirmed记录若overall_severity超过impact.score→ 报错cannot exceed demonstrated impact也就是说Phase 4 写出findings.json后必须通过 validate-findings.cjs 的结构与语义双重校验才能进入下一阶段违规的定级在机器层面过不了关。给needs_validation定严重级别甚至被列进了 SKILL.md 的十大反模式清单第 9 条。三判定在六阶段工作流中的位置侦察 → 覆盖狩猎 → 候选验证 → 结构化输出 → 独立复核 → 中立报告 ↑ 每个候选被没参与狩猎的全新验证者 以三选一判定收尾Phase 3 候选验证验证者拿到候选后的唯一产出就是{decision: confirmed|needs_validation|rejected, ...}见 VALIDATION-AND-REPORTING.md。升降级规则needs_validation只有在独立补全完整路径和有界观测结果后才能升为confirmed反之确认项若发现部署/运行事实仍未知会被降级为needs_validation。rejected的价值记录被证伪的声明及指纹未来审计运行时只有证据发生变化才会重新审视同一单元——避免每次重复报告同一个假问题。报告侧的隔离Phase 6 生成的REPORT.md会把待验证项放进独立的NEEDS VALIDATION表格不给级别、不称其为确认漏洞NEEDS-VALIDATION.md则完整保留追溯链、阻塞事实和验证计划。新手实践清单读报告先看判定再读严重级别——表格里的级别只属于confirmed其他项出现级别就是无效记录。看待验证项时问三个问题阻塞事实是什么它在源码外吗验证计划是本地可跑还是要 owner 观测部署配置别把 rejected 当噪音删掉——它是防止狼来了式重复报告的记忆库。多跑几轮README.md 提到该技能对同一仓库的多次运行是增量式的实测单轮大约只能找到重复运行总量的半数漏洞needs_validation记录在后续轮次中会被重新认领、继续推进。相关文件速查总入口与核心原则SKILL.mdPhase 3–6 验证与报告规则VALIDATION-AND-REPORTING.md三判定 JSON Schemareport-schema.json发现校验器含定级拦截逻辑validate-findings.cjs覆盖率台账校验器validate-coverage-ledger.cjs项目说明README.md总结三判定体系的安全审计设计哲学可以浓缩成一句话确定性分三档严重级别只属于第一档。confirmed用可复现的观测结果换取级别needs_validation用精确的阻塞事实换取被认真对待但不被误修rejected用留档换取团队的长期效率。当待验证项不许给严重级别这条规则被 schema 和校验器双重锁死后审计报告的每一行严重级别都变成了可以下注的承诺——这正是新手读这份findings.json时最该建立的信任基础。【免费下载链接】security-audit-skillA coding-agent skill for multi-phase security audits with independently verified, machine-readable findings项目地址: https://gitcode.com/GitHub_Trending/se/security-audit-skill创作声明:本文部分内容由AI辅助生成(AIGC),仅供参考

相关新闻

kOps 下载与复用集群配置 Spec 文件:从状态存储导出到声明式集群管理

kOps 下载与复用集群配置 Spec 文件:从状态存储导出到声明式集群管理

kOps 下载与复用集群配置 Spec 文件:从状态存储导出到声明式集群管理 【免费下载链接】kops Kubernetes Operations (kOps) - Production Grade k8s Installation, Upgrades and Management 项目地址: https://gitcode.com/gh_mirrors/kop/kops kOps 的集群配…

2026/9/25 3:32:09 阅读更多 →
easy-vibe 安全思维实战:XSS、SQL 注入与 CSRF 的攻防体系及上线前自检指南

easy-vibe 安全思维实战:XSS、SQL 注入与 CSRF 的攻防体系及上线前自检指南

教程文档 【免费下载链接】easy-vibe 从 0 到 1 学会 vibe coding,项目制学习 项目地址: https://gitcode.com/datawhalechina/easy-vibe 点击查看 免费下载 导读:本文是 Datawhale easy-vibe 项目「工程卓越」系列中安全思维章节的完整展开…

2026/9/25 4:48:59 阅读更多 →
ccusage 的 Qwen Code 数据源适配器:JSONL 解析、Token 计算与用量报告实战

ccusage 的 Qwen Code 数据源适配器:JSONL 解析、Token 计算与用量报告实战

AI 应用CLI开发工具 【免费下载链接】ccusage npx ccusage 项目地址: https://gitcode.com/gh_mirrors/cc/ccusage 点击查看 免费下载 ccusage 通过 ccusage-adapter-qwen 这一专用适配器,把 Qwen Code 本地项目与聊天 JSONL 文件转译为统一的用量条目&…

2026/9/23 12:19:12 阅读更多 →

最新新闻

如何用 Ruffle 浏览器扩展在浏览器里重新播放 Flash:新手入门指南

如何用 Ruffle 浏览器扩展在浏览器里重新播放 Flash:新手入门指南

如何用 Ruffle 浏览器扩展在浏览器里重新播放 Flash:新手入门指南 【免费下载链接】ruffle A Flash Player emulator written in Rust 项目地址: https://gitcode.com/GitHub_Trending/ru/ruffle 打开老页面只剩一块灰底,还提示“需要安装 Flash”…

2026/9/25 4:54:50 阅读更多 →
TypeDoc @include 与 @includeCode 标签实战指南:在文档注释中嵌入外部文件、代码区域与行号片段

TypeDoc @include 与 @includeCode 标签实战指南:在文档注释中嵌入外部文件、代码区域与行号片段

开发工具文档 【免费下载链接】typedoc Documentation generator for TypeScript projects. 项目地址: https://gitcode.com/gh_mirrors/ty/typedoc 点击查看 免费下载 TypeDoc 的 {include} 标签族允许你在 TSDoc 文档注释或外部 Markdown 文档中直接嵌入仓库里的…

2026/9/25 4:54:50 阅读更多 →
Miniconda vs Anaconda:虚拟环境管理与PyTorch CUDA配置实战

Miniconda vs Anaconda:虚拟环境管理与PyTorch CUDA配置实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/9/25 4:54:50 阅读更多 →
STM32F407移植FreeRTOS与LwIP:从CubeMX配置到TCP通信实战

STM32F407移植FreeRTOS与LwIP:从CubeMX配置到TCP通信实战

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/9/25 4:54:50 阅读更多 →
从AI对话Demo到可演进Agent平台:架构设计与工程实践

从AI对话Demo到可演进Agent平台:架构设计与工程实践

开篇:从 AI 对话 Demo 到可演进的 Agent 平台这两年 AI 圈最热闹的词,一个是“AI”,一个是“Agent”。市面上 Demo 满天飞,今天一个聊天机器人,明天一个自动写周报的工具,后天又冒出个能帮你订机票的智能体…

2026/9/25 4:54:50 阅读更多 →
低功耗电压检测电路设计:MOS管如何让电池多活一年

低功耗电压检测电路设计:MOS管如何让电池多活一年

/* MD / 富文本中的 .toc(含博客园搬家等嵌套结构);.toc-box 在侧栏,不受影响 */#content_views .toc,/* 编辑器常在目录前后插入空 p(:empty 仍占 20px),一并去掉避免顶空隙 */#content_views.markdown_views > p:empty:has(+ .toc),#content_views.markdown_views …

2026/9/25 4:53:50 阅读更多 →

日新闻

AI元人文:从工具使用到思维重构的深度探索

AI元人文:从工具使用到思维重构的深度探索

最近半年我一直在琢磨一件事:AI元人文到底是什么?说白了,就是“用元视角重新审视人与AI的关系”,也在“探索AI如何反向逼着我们发现自己的思考边界”。标题里的“元探索”,在我看就是一层套一层的追问——当你用AI解决…

2026/9/25 0:00:41 阅读更多 →
Python+CNN车牌识别实战:从数据预处理到模型训练与部署

Python+CNN车牌识别实战:从数据预处理到模型训练与部署

简介:基于Python与卷积神经网络的车牌识别项目,面向计算机视觉初学者及智能交通开发者,目标是帮助用户掌握从数据预处理、模型构建到实际部署的完整流程。压缩包共25个文件,包含jpg/png图像样本、py训练脚本、md说明文档、dat数据…

2026/9/25 0:00:41 阅读更多 →
Vim基础操作全攻略:保存退出、模式切换与高频命令实战

Vim基础操作全攻略:保存退出、模式切换与高频命令实战

1. 项目概述1.1 核心需求解析今天聊聊Vim。写这个题目的原因是:几乎每个后端开发者、运维人员、数据工程师某天都会遇到一个场景——深夜加班,服务器登录界面只有黑底白字,编辑器只有vi/vim,你必须在五分钟内完成一次配置修改并保…

2026/9/25 0:00:41 阅读更多 →

周新闻

Flutter for OpenHarmony游戏卡片渐变背景实战:从原理到性能优化

Flutter for OpenHarmony游戏卡片渐变背景实战:从原理到性能优化

直接铺开项目本身吧。这几个月我一直在折腾一件事:用Flutter给OpenHarmony做一款游戏集合类的App,说白了就是把若干小游戏塞进一个壳里,用统一入口分发。这个方向本身不算新鲜,真正让我花了不少心思的,是首页那堆游戏卡…

2026/9/24 14:34:13 阅读更多 →
Word表格编号全攻略:从列表编号到题注交叉引用

Word表格编号全攻略:从列表编号到题注交叉引用

写Word文档,最让人头疼的往往是那些“看起来不起眼”的小问题。比如表格编号这事:今天在表后面多加了两个空白行,明天给客户交稿前发现整个章节的编号全部错位,光是挨个改序号就能耗掉大半个下午。我前阵子帮人整理一份上百页的技…

2026/9/24 9:10:42 阅读更多 →
从第一个站到第二个站:独立开发者的静态网站选型与落地实践

从第一个站到第二个站:独立开发者的静态网站选型与落地实践

1. 项目概述1.1 核心需求解析做独立开发者这几年,说实话,第一个网站上线的那天晚上我兴奋得没睡着。但等它跑了半年,流量惨淡、功能臃肿、代码自己都懒得看第二遍之后,我才慢慢琢磨明白一个道理:第一个网站是练手&…

2026/9/24 14:33:56 阅读更多 →

月新闻

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能

持续集成 流水线自动化与 声明式交付 实践:原型怎样变成可用功能分类:[AI/大模型]细分主题:AI 增强型 CI/CD 流水线自动化与 GitOps 实践:Agent 工作流、工具调用与任务拆解:从原型到生产的验收清单很多团队在尝试用大…

2026/9/24 12:50:34 阅读更多 →
容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场

容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场

容器编排 生产环境运维与排障实战:复盘记录怎样真正派上用场分类:[工程技术]细分主题:Kubernetes 生产环境运维与排障实战:可复制的项目复盘模板与决策记录大部分团队的事故复盘报告,最后都变成了躺在 Confluence 或钉…

2026/9/24 14:33:48 阅读更多 →
容器 容器化技术与镜像安全管理:核心链路应该先拆哪一步

容器 容器化技术与镜像安全管理:核心链路应该先拆哪一步

容器 容器化技术与镜像安全管理:核心链路应该先拆哪一步分类:[工程技术]细分主题:Docker 容器化技术与镜像安全管理:核心链路的逐步实现与关键代码取舍面对一个积累了五六年历史包袱的单体架构应用(包含 Web 接口、后台…

2026/9/24 12:49:17 阅读更多 →