fuzzing-obstacles
作者 trailofbitsfuzzing-obstacles 可協助你修補目標程式，讓 fuzzers 能繞過 checksum、全域狀態、驗證閘門與其他阻礙。這個 fuzzing-obstacles 技能可在維持正式環境行為不變的前提下，讓 System Under Test 更容易被 fuzz。它是一份實用指南，適合用於 Security Audit 流程，也能帶來更深的覆蓋率。
這個技能的評分是 78/100，代表它很適合需要實用技巧、來讓 fuzz 目標跨過 checksum、全域狀態與驗證門檻的使用者。這個 repository 提供了足夠的流程內容，值得安裝；但使用者也應預期它偏向技巧說明，而不是具備自動化或配套資源的工具。
- 觸發條件與使用情境清楚：frontmatter 與概述明確對準 checksum、全域狀態與驗證檢查等 fuzzing 阻礙。
- 操作內容充實：主體篇幅長、結構完整，且包含多個標題與 code fence，顯示這是一套實際流程，而非空白模板。
- 有利於 agent 推動技術採用：內容說明了問題、設計理由，以及如何用條件編譯在 fuzzing 時保留正式環境行為。
- 沒有提供安裝指令、腳本或支援檔，因此實際導入時，仍要由讀者自行把這套技巧落到自己的 codebase。
- 說明非常精簡，而且 repository 只聚焦技巧本身；使用者需要先讀過文件，才能確認是否符合自己的語言與 fuzzing 設定。
fuzzing-obstacles 技能概覽
fuzzing-obstacles 技能可協助你修改目標程式，讓 fuzzer 能夠跨過 checksum、全域狀態與其他會阻擋 coverage 的障礙。它最適合已經有 fuzz target，但執行深度卡在很淺層的安全研究人員、appsec 工程師，以及維護者；因為程式太早拒絕輸入，或行為不具決定性，導致測試無法往下跑。
這個技能是做什麼的
fuzzing-obstacles 技能的核心工作不是「寫一個 fuzzer」，而是「讓 System Under Test 可被 fuzz」。它著重的是針對 SUT 做條件式修改，讓 fuzz build 可以繞過昂貴的驗證、固定狀態相依性，或輸入閘門，同時不影響 production 行為。
什麼情況下最適合用
當你的目標有以下情況時，適合使用 fuzzing-obstacles 技能：
- 在解析有用資料之前，先驗證 checksum 或 hash
- 依賴時間戳、環境變數或其他全域狀態
- 使用會破壞可重現性的隨機值
- 在進入有趣程式路徑之前，就拒絕格式不正確的輸入
預期會遇到的主要取捨
這個技能最強的情境，是你可以只針對 fuzzing patch build 或 source。若你無法修改 SUT，或障礙位於你無法控制的外部相依套件中，這個技能的效果就會比較有限，可能得改從 harness 層級下手。
如何使用 fuzzing-obstacles 技能
先安裝，再檢視
執行 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 開始看，再接著閱讀同檔案中有連結的相關段落。在這個 repository 裡，這個 skill 本身是獨立的，所以真正的價值在於先理解 patching 的做法，再套到你自己的目標上。
把模糊目標改寫成可用的提示
像「幫我 fuzz 這個專案」這種較弱的要求，會留下太多空白。比較好的 fuzzing-obstacles usage prompt 會把障礙、build 模式，以及你要保留的安全邊界都講清楚：
- 「幫我修改這個 parser，讓 fuzz build 跳過 checksum 驗證，但 production build 仍然保留。」
- 「示範如何讓這個 target 在讀取時間與 env vars 時保持 deterministic。」
- 「建議一個 fuzz-only 的 compile guard，用來處理會阻擋更深層解析的 validation。」
這類輸入能讓 skill 產出聚焦的 patch 策略，而不是泛泛而談的 fuzzing 建議。
可行的實務工作流程
一個好的 fuzzing-obstacles guide 通常會依照以下順序進行：
- 先找出真正阻止 coverage 的障礙。
- 決定要在 fuzz build 中繞過它、stub 掉它，還是讓它變成 deterministic。
- 用條件式編譯或 fuzz 專用旗標把變更包起來。
- 保留 production path 不動。
- 重新執行 fuzzer，確認 coverage 是否如預期提升。
這個 repository 裡該讀什麼
對這個 skill 來說，因為 repo 結構很精簡，最先應該讀的是 skill 本體。請特別留意以下幾類說明：
- 要留意哪些 anti-fuzzing pattern
- 為什麼 deterministic execution 很重要
- 如何在修改 fuzz build 的同時保留 production semantics
fuzzing-obstacles 技能 FAQ
fuzzing-obstacles 只適合安全稽核工作嗎？
不是。fuzzing-obstacles for Security Audit 這類用途確實很常見，但同樣的方法也能幫助維護者提升測試覆蓋率，以及研究人員驗證 parser 行為。只要你的目標是讓 fuzzing 能更深地執行，這個技能就有用。
這和一般 prompt 有什麼不同？
一般 prompt 常會問 harness 或整體 fuzzing 策略。fuzzing-obstacles 技能的範圍更窄：它幫你移除 fuzzing 卡住的原因。當問題不在 fuzzer，而在 target code 的行為時，這個差異就很重要。
這個技能適合初學者嗎？
可以，前提是你能辨識障礙並控制 build。它比大範圍的 fuzzing workflow 更容易上手，因為決策通常很具體：要繞過什麼、要凍結什麼，以及怎麼確保變更只影響 fuzz。
什麼時候不該用它？
如果 target 本來就 fuzz 得很好、你無法修改程式碼路徑，或唯一問題只是 corpus input 格式不對，而不是結構性阻礙，就不該用它。在這些情況下，調整 harness 或補 seed corpus，可能比修改 SUT 更合適。
如何改進 fuzzing-obstacles 技能
把真正的阻塞點講清楚
要得到最好的 fuzzing-obstacles skill 結果，關鍵是明確指出那個障礙：checksum gate、config lookup、時間相依性、PRNG，或 validation function。只說「它會 crash」不夠；「它在 HMAC 驗證後就停住了」就具體得多。
指定 fuzz 的邊界
告訴模型哪些部分必須維持 production-safe，哪些可以在 fuzz build 中改動。比如，可以要求 fuzz-only stub、compile-time guard，或 deterministic replacement。這樣能避免建議把正式 binary 弄得不安全。
讓輸出形式貼近 target codebase
如果 target 是 C/C++，就要求 preprocessor guards 或基於 build flag 的 patch。如果是其他語言，就請它提出對應的 fuzz-mode 切換。當答案能對上專案實際的 build system 與檔案結構時，這個技能的效果最好。
用 coverage 迭代，不要靠猜
完成第一次 patch 後，重新跑 fuzzing，找出下一個阻塞點。如果 coverage 還是卡住，就把新的失敗點提供給技能，請它給出下一步 fuzzing-obstacles usage 的處理方式。這種迭代式流程，通常比一開始就要求整體重寫更有效。