🦡 codebadger

codebadger es un servidor Model Context Protocol (MCP) contenerizado que ofrece a los agentes de IA y a los LLM un acceso profundo y consultable a la estructura y al flujo de datos de una base de código a través de los Code Property Graphs (CPGs) de Joern.

Apunta a un repositorio Git, a una ruta local o incluso a un fragmento de código pegado, y codebadger construye un CPG y lo expone a través de MCP, de modo que un asistente puede ejecutar consultas CPGQL, rastrear el flujo de datos y el taint, aplicar slicing a programas y buscar vulnerabilidades en Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jimple, PHP, Ruby y Swift.

Es una base de propósito general tanto para el análisis de programas (comprensión de la estructura del código, los grafos de llamadas y el flujo de datos) como para el análisis de vulnerabilidades (seguimiento de taint, caza de bugs y desarrollo de PoC), útil tanto para la investigación académica como para el trabajo de seguridad e ingeniería en la industria. Está diseñado para escalar a grandes lotes de análisis con pools de workers por CPG, planificación consciente de la memoria y un backend de Postgres/Redis.

Noticias

codebadger y su artículo - Bridging Code Property Graphs and Language Models for Program Analysis - fueron aceptados en el Software Vulnerability Management Workshop @ ICSE 2026. 🎉

Related MCP server: CodeFlow MCP Server

Documentación

Todo lo que un desarrollador o investigador de seguridad necesita está en docs/:

¿Has encontrado una vulnerabilidad usando codebadger?

Nos encantaría saberlo: abre un PR añadiéndola a TROPHIES.md (ID de CVE, proyecto, descripción de una línea, fecha).

Cita

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