🦡 codebadger

codebadger — это контейнеризованный сервер Model Context Protocol (MCP), который предоставляет AI-агентам и LLM глубокий, доступный для запросов доступ к структуре кодовой базы и потокам данных через Joern Code Property Graphs (CPG).

Укажите ему Git-репозиторий, локальный путь или даже вставленный фрагмент кода — и codebadger построит CPG и предоставит его через MCP, так что ассистент сможет выполнять CPGQL-запросы, отслеживать потоки данных и taint, выполнять слайсинг программ и искать уязвимости в Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jimple, PHP, Ruby и Swift.

Это универсальная основа как для анализа программ (понимание структуры кода, графов вызовов и потоков данных), так и для анализа уязвимостей (отслеживание taint, поиск ошибок и разработка PoC) — полезная как для академических исследований, так и для промышленных задач безопасности и разработки. Он спроектирован для масштабирования на большие пакеты анализа с пулами воркеров для каждого CPG, планированием с учётом памяти и бэкендом на Postgres/Redis.

Новости

codebadger и его статья — Bridging Code Property Graphs and Language Models for Program Analysis — были приняты на Software Vulnerability Management Workshop @ ICSE 2026. 🎉

Related MCP server: CodeFlow MCP Server

Документация

Всё, что нужно разработчику или исследователю безопасности, находится в docs/:

Нашли уязвимость с помощью codebadger?

Мы будем рады узнать о ней — откройте PR, добавив её в TROPHIES.md (CVE ID, проект, описание в одну строку, дата).

Цитирование

@inproceedings{lekssays2026bridging,
  title={Bridging Code Property Graphs and Language Models for Program Analysis},
  author={Lekssays, Ahmed},
  booktitle={Proceedings of the 2026 IEEE/ACM 4th International Workshop on Software Vulnerability Management},
  pages={33--40},
  year={2026}
}