AIKraft/AI/Войти
AIKraft/Skills/trailmark-finding-triage

trailmark-finding-triage

Выполняет триаж находок безопасности (SARIF, weAudit, отчеты) с помощью Trailmark для анализа достижимости, тэинга и blast-radius. Применяется для приоритизации уязвимостей, подготовки доказательств для PoC и оценки практической значимости статического анализа.

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

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

Находит и анализирует достижимость, тэинг и blast-radius для одной кандидатуры на уязвимость, используя граф Trailmark. Формирует пакет доказательств для приоритизации статических находок и оценки необходимости ручного ревью или создания PoC.

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

  • Триаж одного результата статического анализа перед затратами времени на PoC
  • Проверка достижимости точки входа для ручной находки
  • Сбор пакета доказательств для работы над PoC
  • Ревью подозрительной функции, обнаруженной при ручном аудите
  • Решение о повышении приоритета, снижении или передаче находки в цепочечный анализ

Как работает

  1. Нормализовать кандидата (файл/строка, функция, SARIF, weAudit или ручное утверждение) в структурированный формат
  2. Построить или использовать существующий граф Trailmark, выполнив engine.preanalysis()
  3. Привязать кандидата к узлу графа по совпадению файла/строки или имени функции
  4. Проанализировать пути к entrypoint, уровень доверия, принадлежность к подграфам tainted/privilege_boundary/high_blast_radius
  5. Вынести вердикт (Promote, Needs manual review, Deprioritize, Blocked) и сформировать пакет доказательств

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

Используй триаж находок Trailmark для src/Vault.sol:148; я думаю, withdraw может обойти обновление баланса.
Проведи триаж этого результата SARIF перед тем, как тратить время на PoC: semgrep:error unchecked-transfer в contracts/Bridge.sol строка 91.
В этом отрывке утверждается, что parse_packet достижим атакующим. Собери пакет доказательств Trailmark и скажи, чего не хватает.

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

  • Инструменты и API Trailmark (включая engine.preanalysis() и графовые артефакты .trailmark/)
  • Доступ к исходному коду или артефактам анализа для построения/использования графа

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

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

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

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