
dd
JIT-based userspace Linux kernel that runs containers natively on Apple Silicon macOS without a VM. Drop-in Docker Engine API replacement with…

JIT-based userspace Linux kernel that runs containers natively on Apple Silicon macOS without a VM. Drop-in Docker Engine API replacement with…

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

Autonomous security research framework integrating static analysis, binary analysis, fuzzing, LLM-powered vulnerability validation, exploit…


Program for determining types of files for Windows, Linux and MacOS.

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

pefile is a Python module to read and work with PE (Portable Executable) files

Cross-platform library to parse, modify, and abstract ELF, PE, and MachO executable formats. Supports C++, Python, and Rust APIs with disassembler,…

UNIX-like reverse engineering framework and command-line toolset

User-mode x86_64 binary emulator for malware analysis and reverse engineering. Supports PE, ELF, memory dumps, and raw binaries with syscall tracing,…

B2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering,…


match functions in binaries by what they do, not what their bytes look like. behavioral function fingerprinting via microexecution.

🔍 Identify and understand the local privilege escalation vulnerability (CVE-2025-68921) in Nahimic audio software, impacting many gaming laptops.

Local Linux binary analysis tool. Zero cloud. Zero root. See exactly what a binary does before you run it.

macOS IPC, launchd, Mach-O, and trust relationship explorer — zero-dependency terminal-native forensic tool

Collection of forensic tools

IDA plugin and loader for UEFI firmware analysis and reverse engineering automation