关于 hunt-regressions
用于审查冻结的软件变更并记录候选缺陷的回归发现技能,面向安全或代码审查;确认与验证由其他流程负责。
主要功能
- 01审查冻结的变更与上下文
- 02追踪变更行为至实际接口
- 03记录线索与误报检查
- 04分配候选编号并封存记录
适用场景
- 01筛查变更中的潜在回归
- 02在重试时沿用发现记录
- 03受阻时记录审查覆盖缺口
安装
复制下面的命令,在终端中运行。
$
npx skills add https:/ / github.com/ trailofbits/ skills --skill hunt-regressions安装后在 Claude Code 中输入/hunt-regressions确认已加载。
详细介绍
发现候选项
何时使用
输入:已封存的准备材料、冻结的 S0/S1、变更上下文和注册表分配结果。 重试时,纳入此分配先前的候选项 ID 映射。调用方负责提供这些内容,包括独立使用时。 开始目标工作前,请遵循项目指南。
何时不使用
验证已知候选项;请使用复现。发现阶段无法确认问题。
排查
- 阅读标准和文件约定。验证准备材料;阅读冻结的变更说明、PR 讨论和安全文档,了解意图和受支持的用法。
- 审查完整差异;沿调用方追踪变更行为,直到真实接口。使用冻结的来源和提供的上下文,不要使用后续修复、安全公告或其他审查。
- 记录每条线索的变更代码、先前受支持的行为、可触达的触发条件、拟议的新缺陷、误报检查和所需证据。保留表明存在旧问题或修复不完整的已提供线索,以供裁定。 PoC 构建留给复现阶段。
- 通过 registry.py 的
candidate,使用稳定的假设键和分配的 Agent 标识符为每条线索预留 ID。重试时复用该键。编写候选项文件和hunt.json,记录 ID、文件映射、覆盖范围和限制。空列表也有效。 如果受阻,记录部分覆盖范围和未检查区域。封存材料包。
汇报
将详细证据保存在已封存的材料包中。仅返回:
- 状态:
complete或blocked,须与记录一致。 - 记录:已封存的
hunt.json路径,或说明未生成的原因。 - 结果:候选项数量和重大覆盖缺口。
- 阻碍:受阻时所缺的前提条件或所需的调用方操作。
应驳回的自我辩解
- “某个辅助函数在虚构输入下会失败”:请证明有受支持的接口能够触达它。
评论
支持 Markdown