🦡 codebadger

codebadger 是一个容器化的 Model Context Protocol (MCP) 服务器，通过 Joern Code Property Graphs (CPGs) 为 AI 代理和 LLM 提供对代码库结构和数据流的深度、可查询的访问。

将其指向 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 录用。🎉

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