🦡 codebadger

codebadger는 컨테이너화된 Model Context Protocol (MCP) 서버로, Joern Code Property Graphs (CPGs)를 통해 AI 에이전트와 LLM이 코드베이스의 구조와 데이터 흐름에 깊이 있고 질의 가능한 방식으로 접근할 수 있게 해줍니다.

Git 저장소, 로컬 경로, 또는 붙여넣은 코드 스니펫을 지정하면 codebadger가 CPG를 구축하고 MCP를 통해 노출합니다. 그러면 어시스턴트가 CPGQL 쿼리를 실행하고, 데이터 흐름과 taint를 추적하고, 프로그램 슬라이싱을 수행하고, Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jimple, PHP, Ruby, Swift 전반에서 취약점을 탐색할 수 있습니다.

이는 프로그램 분석(코드 구조, 호출 그래프, 데이터 흐름 이해)과 취약점 분석(taint 추적, 버그 헌팅, PoC 개발) 모두를 위한 범용 기반입니다. 학계 연구뿐만 아니라 산업계 보안 및 엔지니어링 작업에도 유용합니다. 또한 CPG별 worker pool, 메모리 인식 스케줄링, 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, 프로젝트, 한 줄 설명, 날짜)

인용

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