🦡 codebadger

codebadger ist ein containerisierter Model Context Protocol (MCP)-Server, der KI-Agenten und LLMs tiefen, abfragbaren Zugriff auf die Struktur und den Datenfluss einer Codebasis über Joern Code Property Graphs (CPGs) bietet.

Richten Sie es auf ein Git-Repository, einen lokalen Pfad oder sogar ein eingefügtes Code-Snippet, und codebadger erstellt einen CPG und stellt ihn über MCP bereit – sodass ein Assistent CPGQL-Abfragen ausführen, Datenfluss und Taint verfolgen, Programme slicen und über Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jimple, PHP, Ruby und Swift hinweg nach Schwachstellen suchen kann.

Es ist eine universelle Grundlage sowohl für die Programmanalyse (Verständnis von Codestruktur, Call-Graphen und Datenfluss) als auch für die Schwachstellenanalyse (Taint-Tracking, Bug-Jagd und PoC-Entwicklung) – nützlich für die akademische Forschung sowie für industrielle Sicherheits- und Entwicklungsarbeit. Es ist darauf ausgelegt, mit CPG-spezifischen Worker-Pools, speicherbewusstem Scheduling und einem Postgres/Redis-Backend auf große Analyse-Batches zu skalieren.

News

codebadger und sein Paper - Bridging Code Property Graphs and Language Models for Program Analysis - wurden beim Software Vulnerability Management Workshop @ ICSE 2026 angenommen. 🎉

Related MCP server: CodeFlow MCP Server

Dokumentation

Alles, was ein Entwickler oder Sicherheitsforscher braucht, befindet sich in docs/:

Eine Schwachstelle mit codebadger gefunden?

Wir würden uns freuen, davon zu erfahren - eröffnen Sie eine PR, die es zu TROPHIES.md hinzufügt (CVE-ID, Projekt, einzeilige Beschreibung, Datum).

Zitation

@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}
}