Joern MCP

🦡 codebadger

codebadger 是一个容器化的 Model Context Protocol (MCP) 服务，通过 Joern 代码属性图（CPG），让 AI Agent 和大模型能够深入查询代码库的结构与数据流。

将 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》已被 ICSE 2026 软件漏洞管理研讨会接收。🎉

文档

开发者或安全研究人员所需的一切内容都在 docs/ 中：

文档	内容
安装	前置要求和 5 分钟本地设置。
使用	连接 MCP 客户端、工具目录和研究人员工作流。
LLM 工作流指南	为 Agent 推荐的有界工具调用顺序。
可用工具	按类别列出所有 MCP 工具，并说明每个工具的功能。
配置	config.yaml / 环境变量参考、遥测。
部署	Postgres/Redis、内存配置、shared 与 pool、大型批次。
架构	系统设计和图示。
安全	威胁模型、信任边界和生产环境加固。
自定义工具	添加自己的检测器。
贡献	开发环境设置、测试和指南。
路线图	已发布的功能和后续计划。

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