mcpField
H
hunt-regressions

hunt-regressions

github.com/trailofbits测试与质量7.9k163 次安装今天更新
代码仓库

关于 hunt-regressions

用于审查冻结的软件变更并记录候选缺陷的回归发现技能,面向安全或代码审查;确认与验证由其他流程负责。

主要功能

  1. 01审查冻结的变更与上下文
  2. 02追踪变更行为至实际接口
  3. 03记录线索与误报检查
  4. 04分配候选编号并封存记录

适用场景

  1. 01筛查变更中的潜在回归
  2. 02在重试时沿用发现记录
  3. 03受阻时记录审查覆盖缺口

安装

复制下面的命令,在终端中运行。

$npx skills add https://github.com/trailofbits/skills --skill hunt-regressions

安装后在 Claude Code 中输入/hunt-regressions确认已加载。

详细介绍

发现候选项

何时使用

输入:已封存的准备材料、冻结的 S0/S1、变更上下文和注册表分配结果。 重试时,纳入此分配先前的候选项 ID 映射。调用方负责提供这些内容,包括独立使用时。 开始目标工作前,请遵循项目指南。

何时不使用

验证已知候选项;请使用复现。发现阶段无法确认问题。

排查

  1. 阅读标准和文件约定。验证准备材料;阅读冻结的变更说明、PR 讨论和安全文档,了解意图和受支持的用法。
  2. 审查完整差异;沿调用方追踪变更行为,直到真实接口。使用冻结的来源和提供的上下文,不要使用后续修复、安全公告或其他审查。
  3. 记录每条线索的变更代码、先前受支持的行为、可触达的触发条件、拟议的新缺陷、误报检查和所需证据。保留表明存在旧问题或修复不完整的已提供线索,以供裁定。 PoC 构建留给复现阶段。
  4. 通过 registry.py 的 candidate,使用稳定的假设键和分配的 Agent 标识符为每条线索预留 ID。重试时复用该键。编写候选项文件和 hunt.json,记录 ID、文件映射、覆盖范围和限制。空列表也有效。 如果受阻,记录部分覆盖范围和未检查区域。封存材料包。

汇报

将详细证据保存在已封存的材料包中。仅返回:

  • 状态:complete 或 blocked,须与记录一致。
  • 记录:已封存的 hunt.json 路径,或说明未生成的原因。
  • 结果:候选项数量和重大覆盖缺口。
  • 阻碍:受阻时所缺的前提条件或所需的调用方操作。

应驳回的自我辩解

  • “某个辅助函数在虚构输入下会失败”:请证明有受支持的接口能够触达它。

评论

支持 Markdown