
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…

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

LAVA: Large-scale Automated Vulnerability Addition

A powerful and user-friendly binary analysis platform!

Cybersecurity oriented awesome list

A FREE comprehensive reverse engineering tutorial covering x86, x64, 32-bit/64-bit ARM, 8-bit AVR and 32-bit RISC-V architectures.


The unofficial Official FirmWare, a complete latest PSP firmware reverse engineering project

The Cyber Swiss Army Knife - a web app for encryption, encoding, compression and data analysis

Provide powerful tools for seccomp analysis

Chase H.Q. for ZX Spectrum — reverse-engineered and reconstructed in portable C


Source code for the Binaries of OWASP WrongSecrets

Dynamic branch-divergence finder for native code -- traces two Frida executions and finds the exact instruction where they diverge.

Agentic reverse engineering IDE with a pure-Rust multi-architecture disassembler, native decompiler, debugger, and LLM agent for binary analysis and…

Documentation and research notes for CVE-2026-43786, a macOS local privilege-escalation flaw caused by improper entitlement validation, covering root…

Reverse engineering notes and a working PoC for the macOS PackageKit symlink-following bug (CVE-2026-28912), with disassembly diff of the 26.6 fix.

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.