🦡 codebadger is a containerized Model Context Protocol (MCP) server that gives AI agents and LLMs deep, queryable access to a codebase's structure and data flow through Joern Code Property Graphs (CPGs).
Python library for code analysis with CPG and Joern
AI-powered whitebox penetration testing plugin for Claude Code. 9 languages, 22 skills, 7 autonomous agents. STRIDE threat modeling, OWASP 2025 coverage, polyglot monorepo support.
Generate CPG for multiple languages for code and threat analysis
AI-powered multi-language security scanner: 154 Semgrep rules, 13 Joern CPG scripts, AI code detection, and attack-chain correlation
Stackoverflow code extraction and analyze using Joern
VISION is a framework for robust and interpretable code vulnerability detection using counterfactual data augmentation. It leverages GNNs, LLM-generated counterfactuals, and graph-based explainability to mitigate spurious correlations and improve generalization on real-world vulnerabilities (CWE-20).
MCP server wrapping Joern for AI-driven code security analysis
Variant analysis, open-sourced. Feed a CVE patch, find every structural twin across your codebase. 6-stage pipeline: patch ingestion, LLM signature extraction, embedding search, Joern CPG slicing, LLM feasibility reasoning, SARIF reporting.
LLM-based source-code vulnerability scanner: deterministic CPG discovery (Joern) + RAG over 4,095 advisories + a skeptical LLM judge. Recall 1.00 on the OWASP Benchmark, scored head-to-head vs Semgrep and CodeQL.
Reimplement partial implementation of Devign, a graph neural network-based model for identifying vulnerabilities in C code. Includes tools for data preparation, Joern integration, and model training for vulnerability detection.
Deterministic Joern CPG-to-Nuclei YAML compiler & Docker verification harness
An advanced AI-driven SAST engine that utilizes Tree-sitter for AST parsing, Microsoft CodeBERT for semantic featurization, and PyTorch Geometric GCNs for static code vulnerability detection, paired with a local DeepSeek LLM triage assistant loop.
Bounded Joern CPG tools for Codex and MCP coding agents
Parser utility to generate ASTs from PHP source code suitable to be processed by Joern.
Master's Thesis - Evaluating Reliability of Static Analysis Results Using Machine Learning
Reproducible A/B benchmark for Joern-grounded control-flow refactoring agents
Simple DSL for CPG analysis, wrapper around Joern
To associate your repository with the joern topic, visit your repo's landing page and select "manage topics."