fuzzing-obstacles
作者 trailofbitsfuzzing-obstacles 可帮助你为目标程序打补丁，让 fuzzers 绕过校验和、全局状态、验证门槛以及其他阻碍。使用这个 fuzzing-obstacles 技能，可以在尽量不影响生产行为的前提下，让 System Under Test 更容易被 fuzz。它是一份面向 Security Audit 工作流和更深层覆盖的实用指南。
该技能得分 78/100，说明它很适合作为目录中的候选项，面向需要一种实用方法来让 fuzz 目标跨过校验和、全局状态和验证屏障的用户。仓库提供了足够的工作流内容，值得安装；不过用户仍应预期它更像是一份技术方法指南，而不是带自动化能力或配套资源的工具。
- 触发场景清晰：frontmatter 和概述明确指向 fuzzing 中的障碍，例如校验和、全局状态和验证检查。
- 操作内容扎实：正文篇幅较大、结构清楚，还包含多个标题和 code fence，说明它更像真实工作流，而不是占位内容。
- 便于代理型应用落地：它解释了问题、原因以及条件编译的做法，帮助在 fuzzing 时保留生产行为不受影响。
- 没有提供安装命令、脚本或支持文件，因此是否能落地取决于读者能否把这套方法迁移到自己的代码库中。
- 描述非常简短，而且仓库只聚焦技术方法，因此用户需要先阅读文档，确认它是否适合自己的语言和 fuzzing 环境。
fuzzing-obstacles 概览
fuzzing-obstacles skill 可以帮助你为目标程序打补丁，让 fuzzer 能绕过校验和、全局状态以及其他阻碍覆盖率提升的障碍。它最适合已经有 fuzz target，但因为程序过早拒绝输入，或行为不够确定而只能停在浅层执行的安全研究员、AppSec 工程师和维护者。
这个 skill 的用途
fuzzing-obstacles skill 的核心任务不是“写一个 fuzzer”，而是“让被测系统（SUT）变得可 fuzz”。它关注的是对 SUT 做有条件的修改，让 fuzz 构建版本可以绕过昂贵的校验、固定状态依赖或输入门禁，同时不改变生产行为。
什么时候适合用
当你的目标具备以下特征时，适合使用 fuzzing-obstacles skill：
- 在解析有价值的数据之前先校验 checksum 或 hash
- 依赖时间戳、环境变量或其他全局状态
- 使用随机值，导致结果无法复现
- 在进入有趣代码路径之前就拒绝畸形输入
需要预期的主要权衡
这个 skill 最强的场景，是你可以只为 fuzzing 去修改构建或源码。如果你不能改 SUT，或者障碍出现在你无法控制的外部依赖中，它的效果就会弱很多，往往需要改为 harness 层面的处理。
如何使用 fuzzing-obstacles skill
先安装，再检查
执行 fuzzing-obstacles install 时，先从 trailofbits/skills repo 添加这个 skill，然后在改代码前先读 skill 文件：
npx skills add trailofbits/skills --skill fuzzing-obstacles
先从 plugins/testing-handbook-skills/skills/fuzzing-obstacles/SKILL.md 开始读，再顺着同文件里的链接章节继续看。在这个 repo 里，这个 skill 本身比较独立，所以主要价值在于理解补丁思路，并把它应用到你自己的目标上。
把模糊目标变成可用提示词
像“帮我 fuzz 这个项目”这样的弱请求，留给模型的空间太大。更好的 fuzzing-obstacles usage 提示词，会明确障碍、构建模式和你希望保留的安全边界：
- “帮我给这个 parser 打补丁，让 fuzz 构建跳过 checksum 校验，但生产构建保留校验。”
- “展示如何在这个目标读取时间和环境变量时把它做成确定性行为。”
- “给一个只在 fuzz 时启用的编译保护，绕过阻挡深入解析的校验逻辑。”
这类输入能让 skill 输出更聚焦的补丁策略，而不是泛泛而谈的 fuzzing 建议。
行之有效的实战流程
一个靠谱的 fuzzing-obstacles guide 通常会按这个顺序推进：
- 找出阻断覆盖率的具体障碍。
- 决定是绕过它、替换它，还是在 fuzz 构建中把它做成确定性行为。
- 用条件编译或 fuzz 专用标志把改动隔离起来。
- 保持生产路径不变。
- 重新运行 fuzzer，确认覆盖率在预期位置提升。
仓库里该优先看什么
对这个 skill 来说，最值得先读的是 skill 正文本身，因为这个 repo 内容比较精简。尤其要关注这些部分：
- 需要识别哪些 anti-fuzzing 模式
- 为什么确定性执行很重要
- 如何在改 fuzz 构建的同时保留生产语义
fuzzing-obstacles skill 常见问题
fuzzing-obstacles 只适合安全审计吗？
不是。fuzzing-obstacles for Security Audit 这个场景很常见，但同样的方法也能帮助维护者提升测试覆盖率，或帮助研究人员验证解析器行为。如果你的目标是让 fuzzing 走得更深，这个 skill 就有用。
它和普通提示词有什么不同？
普通提示词通常会要一个 harness 或泛化的 fuzzing 策略。fuzzing-obstacles skill 更窄，它帮助你移除 fuzzing 卡住的原因。这个区别很重要，因为问题有时不在 fuzzer，而在目标代码本身的行为。
适合新手吗？
适合，只要你能识别障碍并控制构建流程。它比宽泛的 fuzzing 工作流更容易上手，因为决策通常很具体：绕过什么、冻结什么，以及如何确保改动只影响 fuzz。
什么时候不该用它？
如果目标本身 fuzz 得很好、如果你不能修改代码路径，或者问题只是 corpus 输入畸形而不是结构性阻塞，就不该用它。这些情况下，调 harness 或补 corpus 往往比直接给 SUT 打补丁更合适。
如何改进 fuzzing-obstacles skill
把真实阻塞点说清楚
fuzzing-obstacles skill 想要获得好结果，关键是把准确障碍说出来：是 checksum gate、配置查找、时间依赖、PRNG，还是某个 validation function。只说“它会崩”远远不够；“它在 HMAC 验证后就停住了”要好得多。
明确 fuzz 边界
告诉模型哪些内容必须保持生产安全，哪些可以在 fuzz 构建中修改。比如，明确要求 fuzz-only stub、编译期保护，或者确定性替代实现。这样可以避免得到会削弱真实二进制的建议。
使用贴合目标代码库的输出形式
如果目标是 C/C++，就要求 preprocessor guards 或基于 build flag 的补丁。如果是其他语言，就要求对应的 fuzz 模式开关。把答案锚定到项目真实的构建系统和文件布局上，这个 skill 才会更好用。
根据覆盖率迭代，不要靠猜
打完第一版补丁后，重新跑 fuzzing，看看下一个阻塞点在哪里。如果覆盖率还是上不去，把新的失败点喂给 skill，再让它给出下一步的 fuzzing-obstacles usage 处理方式。这样的迭代循环，通常比一开始就要求完整重写更有效。