
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…

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

UNIX-like reverse engineering framework and command-line toolset

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

Code-quality and static-analysis platform with quality gates, multi-language scanning, and security-focused rules to detect vulnerabilities and…

EMBA - The firmware security analyzer

Hunt every Endpoint in your code, expose Shadow APIs, map the Attack Surface.

A security focused static analysis tool for Android and Java applications.

Comprehensive OWASP guide for mobile app security testing, reverse engineering, and verifying MASVS/MASWE weaknesses through static, dynamic, and…


A powerful and user-friendly binary analysis platform!

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

[Official] Android reverse engineering tool focused on dynamic instrumentation automation leveraging Frida. It disassembles dex, analyzes it…

OWASP Certified Secure-Software Developer

Radare2 and Frida better together.

Open-source Android client for VirusTotal. Scan files, URLs, and installed apps against 70+ antivirus engines. View detailed reports with hashes,…