Анализ безопасности кода на базе графа свойств кода

CodeGraph помогает находить именно подтверждённые уязвимости, а не поток шумовых алертов. Платформа строит граф свойств кода, прослеживает данные от источника до приёмника через цепочки вызовов, учитывает валидацию и санитизацию и отдаёт результат в локальном контуре с экспортом в SARIF и SIEM.

Никуда. CodeGraph разворачивается локально. Код анализируется внутри вашего контура. При использовании GigaChat API передаются только текстовые запросы пользователей, но не исходный код. В изолированном контуре внешний трафик отсутствует.

Благодаря верификации потоков данных. CodeGraph строит полный граф потоков данных от источника до приёмника через CPG. Каждый потенциальный путь верифицируется: если данные проходят через валидацию или санитизацию, алерт не генерируется. В отчёт попадают только уязвимости с подтверждённым путём распространения данных.

Любые SIEM через 3 формата: Syslog RFC 5424 (универсальный), CEF (ArcSight), LEEF (IBM QRadar). Splunk, Elastic SIEM, MaxPatrol поддерживаются через Syslog. Результаты также экспортируются в SARIF 2.1.0 для интеграции с IDE и CI/CD.

Да. Локальное развёртывание означает, что код не покидает периметр. Локальные LLM (Qwen3, DeepSeek) заменяют облачные API. DLP-фильтрация (25+ паттернов) блокирует утечку API-ключей, паролей и ПДн до и после LLM. RBAC с 21 разрешением и полным журналом аудита в SIEM. Docker-образы доступны для автономной установки.

Три уровня защиты:

• Локальный контур — код не покидает ваш периметр. LLM развёрнута на ваших серверах
• DLP — 25+ паттернов: API-ключи, пароли, ПДн, номера карт. Фильтрация до отправки в LLM и после получения ответа. Блокировка и журналирование
• RBAC — 21 разрешение доступа. Разработчик видит только свой код, команда безопасности приложений — обнаружения, аудитор — отчёты. Полный журнал аудита в SIEM

CodeGraph можно использовать рядом с Fortify как слой верификации и дополнительного контекста, а для части команд и проектов — как целевую платформу миграции. Ключевое отличие — CodeGraph находит межсервисные потоки данных, которые Fortify не отслеживает. Используйте CodeGraph-отчёты как дополнительное подтверждение для аудита — с классификацией CWE, путями потоков данных и экспортом в SARIF.

PT AI использует сопоставление шаблонов — ищет известные признаки уязвимостей в тексте кода. CodeGraph строит граф свойств кода (CPG) и выполняет анализ потоков данных: прослеживает реальный путь данных от источника до приёмника через всю цепочку вызовов. Сопоставление шаблонов не видит межпроцедурные зависимости и не проходит через границы микросервисов. CPG показывает аудитору полный путь эксплуатации — с файлами и строками.

Semgrep работает на уровне AST — это сопоставление шаблонов по синтаксическому дереву. Такой подход хорош для локальных правил, но Semgrep не выполняет межпроцедурный анализ потоков данных. Нельзя написать правило уровня Semgrep: «найди места, где данные из request.body доходят до db.query через произвольную цепочку вызовов без sanitize()». Это задача для CPG. В CodeGraph правила пишутся на YAML, но с CPG-ограничениями: достижимость потоков данных, контекст вызова, проверка типов. Плюс 190 готовых правил из коробки.