🦡 codebadger

codebadger は、Joern の Code Property Graphs (CPG) を通じて、AIエージェントやLLMにコードベースの構造とデータフローへの深く検索可能なアクセスを提供する、コンテナ化された Model Context Protocol (MCP) サーバーです。

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 を使用して脆弱性を発見しましたか？

ぜひお知らせください。TROPHIES.md に追加する PR を開いてください（CVE ID、プロジェクト、1行の説明、日付）。

引用

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