A containerized Model Context Protocol (MCP) server providing static code analysis using Joern's Code Property Graph (CPG) with support for Java, C/C++, JavaScript, Python, Go, Kotlin, C#, Ghidra, Jimple, PHP, Ruby, and Swift.

Python library for code analysis with CPG and Joern

Example queries for joern

Generate CPG for multiple languages for code and threat analysis

Stackoverflow code extraction and analyze using Joern

Export ShiftLeft Code Property Graph (cpg) from OverflowDB to json and csv

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.

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).

Go client for Joern

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

🔍 Explore and analyze code efficiently with Joern86-source, a powerful tool for static code analysis and vulnerabilities detection.