К основному содержанию
affpapa.org
RU EN
скилл Claude Code CX Codex Cursor GitHub Copilot

fuzzing-obstacles — скилл для Claude Code: что делает и как установить

Помогает обойти блокирующие проверки вроде хешей и системного времени при фаззинге C/C++ и Rust кода. Пригодится, когда фаззер застревает на ранней валидации.

Установить в Claude Code · Через Skills CLI (Vercel) Все способы и платформы ↓ 
npx skills add trailofbits/skills --skill fuzzing-obstacles -a claude-code
Открыть на GitHub

Что делает fuzzing-obstacles

Скилл учит агента модифицировать тестируемый код так, чтобы фаззер проникал глубже валидаторов. Часто генерацию ломают сверка контрольных сумм или вызовы rand() и time(). Инструкция показывает, как изолировать такие препятствия через флаги сборки #ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION для Си или cfg!(fuzzing) для Rust. Боевой код остаётся нетронутым.

Процесс разбит на четыре шага: поиск барьера по отчётам покрытия, добавление условной компиляции, повторный прогон фаззера и оценка ложных срабатываний. Прямолинейное удаление проверки опасно. Если последующий код опирается на отсечённые свойства объекта, фаззер упадёт на делении на ноль или битом указателе. Это повод проверять логику после каждого патча.

Какие задачи решает

  • Обойти проверку контрольных сумм в фаззинг-сборках
  • Зафиксировать сид генератора случайных чисел для детерминизма
  • Открыть недостижимые ветки кода в отчётах покрытия
  • Предотвратить ложные падения при отключении строгой валидации

Примеры запросов агенту

  • Помоги пропатчить проверку контрольной суммы в parser.c под флаг FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
  • Фаззер застрял на вызове rand() в initialize(), сделай сид детерминированным для cargo-fuzz
  • Как безопасно обойти валидацию заголовка пакета, чтобы фаззер исследовал логику глубже?

Как установить fuzzing-obstacles

1Через Skills CLI (Vercel)

npx skills add trailofbits/skills --skill fuzzing-obstacles -a claude-code

2Вручную: положить файлы

~/.claude/skills/fuzzing-obstacles/SKILL.md

Папка скилла целиком; для одного проекта — .claude/skills/fuzzing-obstacles/

Из того же набора35

Весь набор →
semgrep trailofbits Находит уязвимости в кодовой базе с помощью Semgrep. Скилл согласует план проверок и собирает результаты в единый отчёт SARIF. Claude Code CX Codex Cursor +1 9 500установок differential-review trailofbits Проверяет изменения кода с упором на безопасность, историю Git и покрытие тестами. Нужен для разбора коммитов, различий и пул-реквестов с отчётом. Claude Code CX Codex Cursor +1 8 800установок modern-python trailofbits Настраивает Python-проекты под современный стек инструментов: uv для зависимостей, ruff для линтинга и форматирования, ty для проверки типов. Пригодится при создании новых проектов, написании скриптов и миграции со старых инструментов. Claude Code CX Codex Cursor +1 8 700установок secure-workflow-guide trailofbits Проводит смарт-контракты через пятиэтапный аудит безопасности от Trail of Bits перед деплоем или при коммитах. Запускает статический анализ, строит диаграммы и настраивает фаззинг. Claude Code CX Codex Cursor +1 7 400установок sharp-edges trailofbits Проверяет архитектуру API и схемы конфигураций на скрытые уязвимости интерфейса. Помогает убрать опасные параметры по умолчанию и предотвратить ошибки разработчиков. Claude Code CX Codex Cursor +1 6 900установок agentic-actions-auditor trailofbits Проверяет рабочие процессы GitHub Actions с интеграцией ИИ-агентов на уязвимости и инъекции промптов. Помогает найти утечки контекста через переменные окружения и опасные триггеры. Claude Code CX Codex Cursor +1 6 700установок gh-cli trailofbits Скилл заставляет ИИ использовать аутентифицированный gh CLI вместо curl и fetch при работе с репозиториями, PR и issues GitHub. Нужен для приватных репо и выше лимитов API. Claude Code CX Codex Cursor +1 6 600установок variant-analysis trailofbits Ищет в репозитории другие проявления уже найденной ошибки. Нужен после уязвимости или логического дефекта, когда требуется проверить похожий код. Claude Code CX Codex Cursor +1 6 400установок

Похожие

arize-experiment официальный arize Скилл управляет экспериментами в Arize через ax CLI: оценивает модели на датасетах и выгружает результаты прогонов. GitHub Copilot 1 100установок arize-evaluator официальный arize Скилл запускает LLM-as-judge оценки в Arize: проверяет спаны и эксперименты, создаёт evaluator и поддерживает непрерывный мониторинг. GitHub Copilot 1 100установок arize-dataset официальный arize Скилл управляет датасетами Arize и примерами через ax. Он пригодится для тестовых наборов и оценки AI-приложений. GitHub Copilot 1 100установок lint-and-validate sickn33 Скилл запускает настроенные линтеры и проверку типов, отличая сбои в коде от незапущенных утилит. Пригодится после правок кода перед сдачей задачи агентом. Claude Code CX Codex Cursor +1 1 300установок improve-codebase-architecture Matt Pocock Скилл ищет архитектурные узкие места в кодовой базе и показывает варианты углубления модулей в HTML-отчёте. Подойдёт для ревью перед рефакторингом. Claude Code 1 163 035установок design-taste-frontend Leonxlnx Скилл задаёт арт-дирекцию для публичных страниц и рабочих экранов, а затем проверяет результат в браузере по скриншотам. Нужен, когда интерфейс выглядит шаблонным или недоработанным. Claude Code CX Codex Cursor +1 673 100установок tdd Matt Pocock Скилл управляет циклом красный-зелёный в TDD: проверяет, что тесты пишутся до кода, держит их на уровне публичных интерфейсов и не завязывает на внутреннюю структуру. Claude Code 1 141 062установок skill-creator официальный anthropics Помогает создать новый скилл, доработать существующий и проверить результат через тестовые промпты и оценки. Claude Code Claude.ai 414 180установок

Вопросы о fuzzing-obstacles

Как установить fuzzing-obstacles в Claude Code?

Запустите команду npx skills add trailofbits/skills --skill fuzzing-obstacles -a claude-code. Файлы скилла запишутся в директорию ~/.claude/skills/fuzzing-obstacles/SKILL.md.

Для каких языков и фаззеров подходит скилл?

В руководстве описаны примеры для C, C++ и Rust. Шаблоны ориентированы на работу с libFuzzer, AFL++, LibAFL, honggfuzz и cargo-fuzz.

Чем опасен пропуск проверок валидации при фаззинге?

Последующий код может рассчитывать на корректность отфильтрованных структур. Если просто убрать проверку, фаззер начнёт находить ложные падения вроде деления на ноль, которые физически невозможны в релизе.

Смотрите также

Спонсоры проекта

Компании, которые помогают держать аналитику открытой
Золотой спонсор AI-аналитика спроса на iGaming — индекс, тренды, конкуренты
Nutra.Club Закрытое сообщество Nutra-вертикали от команды M1

Показы, клики и копирования кода — открытая статистика. Мы держим цифры публичными по той же логике, что и сам NeBlask. Стать спонсором