Joern MCP

🦡 codebadger

codebadger は、Joern のコードプロパティグラフ（CPG）を通じて、AI エージェントや LLM がコードベースの構造やデータフローを詳細にクエリできる、コンテナ化された Model Context Protocol（MCP） サーバーです。

Git リポジトリやローカルパス、貼り付けたコードスニペットを指定すると、codebadger が CPG を構築して MCP 経由で公開します。これにより、アシスタントは CPGQL クエリの実行、データフローや汚染の追跡、プログラムのスライス、Java、C/C++、JavaScript、Python、Go、Kotlin、C#、Ghidra、Jimple、PHP、Ruby、Swift における脆弱性の調査を行えます。

プログラム解析（コード構造、呼び出しグラフ、データフローの理解）と脆弱性解析（汚染追跡、バグの調査、PoC の開発）の両方に役立つ汎用基盤です。学術研究だけでなく、業界におけるセキュリティやエンジニアリングの業務にも活用できます。CPG ごとのワーカープール、メモリを考慮したスケジューリング、Postgres/Redis バックエンドを備え、大規模な解析バッチにも対応できるよう構築されています。

ニュース

codebadger とその論文『Bridging Code Property Graphs and Language Models for Program Analysis』が、Software Vulnerability Management Workshop @ ICSE 2026 に採択されました。🎉

ドキュメント

開発者やセキュリティ研究者に必要な情報はすべて docs/ にあります。

ドキュメント	内容
インストール	前提条件と、5 分で完了するローカル環境のセットアップです。
使い方	MCP クライアントの接続、ツールカタログ、研究者向けワークフローです。
LLM ワークフローガイド	エージェント向けに推奨する、上限を設けたツール実行手順です。
利用可能なツール	各 MCP ツールの機能を説明した、カテゴリ別の一覧です。
設定	config.yaml / 環境変数のリファレンス、テレメトリーです。
デプロイ	Postgres/Redis、メモリのサイジング、shared と pool の違い、大規模バッチです。
アーキテクチャ	システム設計と図です。
セキュリティ	脅威モデル、信頼境界、本番環境のセキュリティ強化です。
カスタムツール	独自の検出器を追加する方法です。
コントリビューション	開発環境のセットアップ、テスト、ガイドラインです。
ロードマップ	リリース済みの機能と今後の予定です。

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