
z3
High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

Decompiler from Java bytecode to Java, used in IntelliJ IDEA.

AI-powered reverse engineering assistant that bridges IDA Pro with language models through MCP.


An LLM extension for Ghidra to enable AI assistance in RE.

OGhidra bridges Large Language Models (LLMs) via Ollama with the Ghidra reverse engineering platform, enabling AI-driven binary analysis through…

LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…

IDA plugin which queries language models to speed up reverse-engineering

Connect your favorite AI agents directly to Cheat Engine via MCP. Automate reverse engineering, pointer scanning, and memory analysis using natural…

The FLARE team's open-source library to disassemble Common Intermediate Language (CIL) instructions.

Language Model Agent Instructions for Binary Refinery

a systems programming language prioritizing verifiable correctness, determinism, and performance

A decompiler-agnostic plugin for interacting with AI in your decompiler. GPT-4, Claude, and local models supported!

Modular software verification toolchain that translates LLVM IR into Boogie intermediate verification language for bounded and experimental unbounded…

Binary Ninja plugin for reverse engineering PTX -- the virtual instruction set architecture of CUDA-based GPUs.

Python library for parsing CLR/PE metadata in .NET assemblies, exposing streams and hash fingerprints to support malware analysis and threat hunting.

Reverse Engineering: Decompiling Binary Code with Large Language Models

YARI is an interactive debugger for YARA Language.