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

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

Windows privilege escalation discovery tool that parses Process Monitor boot logs to identify DLL hijacking, weak ACLs, and other elevation paths,…

Automated binary vulnerability analysis tool that decompiles executables via Ghidra, scans pseudo-C code with Semgrep, and validates findings using…

IFL - Interactive Functions List (plugin for IDA Pro)

ATrace is a tool for tracing execution of binaries on Windows.

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

Binary Ninja plugin to identify obfuscated code and other interesting code constructs

pyREtic is an extensible framework for in-memory Python 2.x bytecode reverse engineering

This is the main repository for metasm, a free assembler / disassembler / compiler written in ruby

AFL + DynamoRIO = fuzzing binaries with no source code on Linux

Injects code into ELF executables post-build

Coefficient-Based Reconstruction of Arithmetic — a Mixed Boolean-Arithmetic (MBA) expression simplifier for deobfuscation

Vibe Reverse Engineer with IDA SQL: An interface for IDA in SQL via live virtual tables

IDA Pro plugin for filtering functions by assembly patterns, byte sequences, string/name references, and size constraints, with rule-based search and…

MCP server integrating IDA Pro with AI agents, featuring a stateless gateway for multi-session management, a relational SQL query engine for binary…

Two IDAPython Scripts help you to reconstruct Microsoft COM (Component Object Model) Code

🤖🏴☠️ radare2 plugin for GPT-4 🦜. Solve crackmes automatically 🪄

Sandbox untrusted code with safe access to the host.