
sogen
🪅 Windows & Linux userspace emulator

🪅 Windows & Linux userspace emulator

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…

A pure-Python library that lets you inspect, modify and search the memory of any running process in a few lines of Python :snake: .

Runtime instrumentation framework for building dynamic analysis tools: tracing, profiling, code coverage, memory debugging, fuzzing, and disassembly…


Technical deep-dives and root cause analyses of recently disclosed CVEs - reverse engineering patches, building proof-of-concepts, and documenting…

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

Proof-of-concept and technical analysis for CVE-2026-85046, a V8 type confusion in inline Array.prototype.sort, including root cause, patch diff, and…

A powerful and user-friendly binary analysis platform!

Ghidra is a software reverse engineering (SRE) framework

Multi-architecture disassembly framework providing a lightweight, thread-safe API for binary analysis, reverse engineering, and malware research…

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

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

Extract files from any kind of container formats

The system of action for AI-native cybersecurity—where intent becomes governed execution, evidence becomes operational memory, and every operation…

Decompiles Android APK/XAPK/JAR/AAR files and extracts HTTP APIs, authentication patterns, and call flows using jadx, with R8-resistant Kotlin name…

autonomous red teaming platform; multi-agent offensive-security meta-harness