


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

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


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

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

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc


The Ultimate Open-Source Security Arsenal for Hackers, Enterprises, and AI Agents——面向极客、企业与 AI 智能体的全域开源网络安全工具矩阵

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


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

UPX - the Ultimate Packer for eXecutables

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

EMBA - The firmware security analyzer

shell script protector (obfuscation, embedded interpreter, DRM) - invisible to kernel tracing

Automated YARA rule generation from the Cert Central compromised certificate database.

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