К основному содержанию
скилл CX Codex

codeql · trailofbits — скилл для Claude Code: что делает и как установить

Запускает межпроцедурный статический анализ кода и отслеживание потоков данных через CodeQL. Помогает находить уязвимости в девяти языках программирования.

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

Что делает codeql

Скилл автоматизирует полный цикл работы с CodeQL. Он создаёт базу фактов о проекте, формирует модели источников и стоков данных, а затем выполняет запросы. Поддерживаются два режима: полный аудит с проверками качества и экспериментальными правилами либо точечный прогон по критическим проблемам. Все артефакты и логи сохраняются в каталоге static_analysis_codeql_1 в формате SARIF.

Для компилируемых проектов на C/C++, Go, Java, C# и Swift требуется успешная сборка. Ошибка 137 на macOS Apple Silicon означает не сбой сборки, а конфликт архитектур arm64e и arm64. Проблема решается переходом на бинарники Homebrew или запуском под Rosetta. Перед анализом встроенные скрипты обязательно проверяют полноту извлечения фактов, чтобы исключить пустые базы из-за кэширования.

Скилл сам описывает нестандартные источники и стоки данных. Без проектных расширений CodeQL пропускает цепочки вызовов во фреймворках вроде Django, Spring или Express.

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

  • Найти уязвимости в кодовой базе через анализ потоков данных
  • Собрать базу данных CodeQL с контролем качества извлечения
  • Описать проектные источники и стоки для фреймворков вроде Spring или Express
  • Выгрузить отчёт об уязвимостях в формате SARIF

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

  • Просканируй репозиторий с помощью CodeQL и найди уязвимости
  • Собери базу CodeQL для проекта и запусти режим важных проверок
  • Выполни анализ потоков данных и проверь качество собранной базы

Как установить codeql

1Через Skills CLI (Vercel)

npx skills add trailofbits/skills --skill codeql -a claude-code

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

~/.claude/skills/codeql/SKILL.md

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

По шагам, с командами для каждой платформы: Как установить скилл в Claude Code: пять способов

Вопросы о codeql

Как установить codeql в Claude Code?

Выполните команду npx skills add trailofbits/skills --skill codeql -a claude-code.

Чем codeql отличается от semgrep?

Скилл semgrep быстрее ищет шаблоны в отдельных файлах без компиляции проекта. CodeQL выполняет глубокий межпроцедурный анализ потоков данных, но требует честной сборки для компилируемых языков.

Какие языки поддерживает этот скилл?

Анализ работает для Python, JavaScript, TypeScript, Go, Java, Kotlin, C, C++, C#, Ruby и Swift.

Похожие скиллы

Всё по теме «Безопасность» →

Сначала — codeql от других авторов.

codeql официальный github Помогает настроить CodeQL: workflow в GitHub Actions, команды CLI, разбор SARIF и починка упавших проверок. 2 000установок git-guardrails-claude-code Matt Pocock Скилл ставит хук Claude Code, который останавливает опасные Git-команды до их запуска. Нужен, если агент не должен делать push или удалять изменения. 499 069установок ponytail-review DietrichGebert Скилл проверяет изменения глубже обычного diff: читает связанный код, ищет ошибки, риски, проблемы нагрузки и недостающие тесты. Пригодится для ревью PR и коммитов. CX Codex +1 57 000установок ponytail-audit DietrichGebert Проверяет репозиторий и ранжирует ошибки, риски и лишний код. Подойдёт, если нужен разовый разбор без автоматических правок. CX Codex +1 45 400установок security-audit cloudflare Проверяет кодовую базу на уязвимости и ищет нарушения границ доверия. Пригодится перед релизом или для точечного разбора опасных участков кода. CX Codex +1 54 800установок security-and-hardening addyosmani Помогает проектировать защиту и проверять код на уязвимости при работе с вводом, авторизацией, сессиями и внешними сервисами. Подойдёт перед релизом и при создании функций, которые обрабатывают недоверенные данные. CX Codex +1 70 200установок supabase официальный supabase Скилл помогает настраивать базу данных, аутентификацию и RLS в Supabase без скрытых дыр в безопасности. CX Codex GP ChatGPT 8установок

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

semgrep Находит уязвимости в кодовой базе с помощью Semgrep. Скилл согласует план проверок и собирает результаты в единый отчёт SARIF. CX Codex +1 9 500установок differential-review Проверяет изменения кода с упором на безопасность, историю Git и покрытие тестами. Нужен для разбора коммитов, различий и пул-реквестов с отчётом. CX Codex +1 8 800установок modern-python Настраивает Python-проекты под современный стек инструментов: uv для зависимостей, ruff для линтинга и форматирования, ty для проверки типов. Пригодится при создании новых проектов, написании скриптов и миграции со старых инструментов. CX Codex +1 8 700установок supply-chain-risk-auditor Проверяет зависимости проекта на известные уязвимости и признаки риска в цепочке поставок. Пригодится перед аудитом или проверкой дерева пакетов. CX Codex +1 8 100установок secure-workflow-guide Проводит смарт-контракты через пятиэтапный аудит безопасности от Trail of Bits перед деплоем или при коммитах. Запускает статический анализ, строит диаграммы и настраивает фаззинг. CX Codex +1 7 400установок code-maturity-assessor Скилл проверяет зрелость смарт-контрактов и блокчейн-кода по девяти категориям. На выходе — оценки с обоснованием и план улучшений по приоритету. CX Codex +1 7 100установок property-based-testing Скилл помогает создавать и проверять property-based-тесты для целого диапазона входных значений. Пригодится для сериализаторов, парсеров и инвариантов смарт-контрактов. CX Codex +1 7 000установок fp-check Разбирает подозрительную уязвимость по шагам и выносит вердикт TRUE POSITIVE или FALSE POSITIVE с доказательствами. Нужен, когда находку надо подтвердить, а не искать новые. CX Codex +1 7 000установок

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

Компании, которые помогают держать аналитику открытой