AIKraft/AI/Войти
AIKraft/Skills/post-patch-validation

post-patch-validation

Проверяет безопасность патчей, воспроизводя доказательства до и после исправления, включая регрессии и новые уязвимости. Применяется перед слиянием или принятием исправлений, особенно для AI-сгенерированных патчей.

TOBTrail of Bits official Разработка ★ 7.5k

Что делает навык

Навык проверяет безопасность исправлений (патчей), воспроизводя доказательства уязвимости до и после исправления, а также выявляя регрессии и новые уязвимости. Он обеспечивает валидацию корректности патча, особенно сгенерированных ИИ, перед его слиянием или принятием.

Когда применять

  • Валидация AI-сгенерированного патча перед человеческим ревью или мержем.
  • Проверка существующего pull request или файла исправления на предмет полноты устранения уязвимости.
  • Выявление случаев, когда исправление закрывает один вектор атаки, но оставляет другие варианты той же корневой причины.
  • Обнаружение побочных эффектов, когда исправление нарушает легитимное поведение или создает новую уязвимость.

Как работает

  1. Закрепить (pin) базовую уязвимую версию и исправленную версию (или создать бинарный файл патча), избегая работы в рабочем дереве пользователя.
  2. Сгенерировать план валидации с помощью команды scaffold, указав репозиторий, ссылки на коммиты, идентификатор находки и уровень достоверности.
  3. Проанализировать дифф, вызывающие функции и существующие тесты, затем заполнить план проверками (checks) разных типов (control, exploit, variant, behavior, regression, security, suite).
  4. Запустить команду validate-plan для проверки структуры плана, ограничений команд и закрепленных входных данных перед выполнением кода.
  5. Выполнить план с помощью команды run, которая изолированно запускает проверки на обеих версиях, фиксируя stdout/stderr и результаты.
  6. Сформировать отчет (result.json, report.md), вернуть автору патча конкретные неудачи с ID проверок и выявить пробелы в тестировании.

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

Проверь безопасность патча в этом репозитории перед мержем: используй post-patch-validation для валидации исправления уязвимости.
Сгенерируй план валидации для AI-патча, исправляющего XSS, и запусти его, чтобы убедиться, что оригинальная атака больше не работает, а легитимный ввод не сломан.
Выполни полную валидацию исправления, включая проверку на регрессии и новые уязвимости, используя команду run с предварительно созданным планом.

Что понадобится

  • Доступ к локальному репозиторию и возможность выполнения кода и тестовых наборов (не для удаленных или production-окружений).
  • Утилита uv для запуска скриптов post_patch_validation.py.
  • Явное разрешение пользователя на выполнение кода репозитория и его тестового набора.

Описание составлено по SKILL.md навыка, сверено 11.10.2026.

Как подключить

1Скачать навык
# возьмите папку навыка «post-patch-validation» из репозитория: # https://github.com/trailofbits/skills
2Положить папку с SKILL.md к навыкам ассистента
# положите папку навыка туда, где ассистент ищет skills: cp -r post-patch-validation/ ~/.claude/skills/post-patch-validation/

Навык — папка с файлом SKILL.md (описание + инструкции) и опциональными скриптами. Ассистент (Claude, Claude Code и совместимые) подхватывает его по описанию и следует шагам.