AIKraft/AI/Войти
AIKraft/Skills/Проверка ложных срабатываний

Проверка ложных срабатываний

Systematically verifies suspected security bugs to eliminate false positives, producing a TRUE POSITIVE or FALSE POSITIVE verdict with documented evidence for each. Use when asked whether a specific finding is real, exploitable, or a false positive, or to verify or validate a suspected vulnerability — not for hunting or discovering new bugs.

trailofbits official Документы

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

Навык систематически проверяет предполагаемые ошибки безопасности, чтобы исключить ложные срабатывания и выдать вердикт TRUE POSITIVE или FALSE POSITIVE с документированными доказательствами. Он предназначен для подтверждения или опровержения конкретной находки, а не для поиска новых уязвимостей.

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

  • Проверка, является ли конкретная находка реальной уязвимостью (true positive).
  • Подтверждение того, что подозрительный код является ложным срабатыванием (false positive).
  • Оценка того, является ли предполагаемая уязвимость эксплуатируемой.
  • Верификация или валидация конкретного подозреваемого бага.

Как работает

  1. Шаг 0: Понять утверждение и контекст — переформулировать уязвимость своими словами, определить класс бага, модель угроз, контекст выполнения и вызывающие функции.
  2. Выбор пути верификации: использовать Standard Verification для четких утверждений в одном компоненте без конкурентности или Deep Verification для сложных, многокомпонентных или неоднозначных случаев.
  3. Выполнение верификации: пройти линейный чеклист стандартной проверки или выполнить фазы глубокой проверки с отслеживанием задач, включая анализ потока данных от источника к месту использования.
  4. Проведение Devil's Advocate обзора: проверить, нет ли upstream-валидации, и доказать наличие уязвимости доказательствами, а не только похожим кодом.
  5. Формирование итогового резюме: предоставить количество TRUE POSITIVE и FALSE POSITIVE, списки с краткими описаниями и причинами отклонения.

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

Является ли эта находка реальной уязвимостью или ложным срабатыванием?
Проверь, эксплуатируема ли эта предполагаемая уязвимость.
Верифицируй этот конкретный баг безопасности.

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

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

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

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