
radare2
UNIX-like reverse engineering framework and command-line toolset

UNIX-like reverse engineering framework and command-line toolset

A powerful and user-friendly binary analysis platform!

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

UNIX-like reverse engineering framework and command-line toolset.

Static code analysis tool for Android apps based on OWASP MASVS, detecting security vulnerabilities in APK files with low false-positive rates and…

Ghidra is a software reverse engineering (SRE) framework

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

Automated mobile application security testing framework for Android, iOS, and Windows. Performs static and dynamic analysis, malware detection, and…

Python framework for building LLM workflows as state machines with formal verification via Z3 theorem proving, CTL model checking, and conformal…

Reverse engineering framework in Python

An easy-to-learn/use static analysis framework for Java and Android

C-based Android static analysis framework for decompilation, secret detection, endpoint discovery, permission analysis, and native library scanning…

Qiskit-based resource estimation framework for space-efficient quantum modular inversion and affine point-addition circuits used in elliptic-curve…

Agentic Framework for Synthesizing CodeQL Queries

Vulnerability detection framework by Binarly's REsearch team

A Framework for Integrating Application Security into Software Engineering (FIASSE) using the Securable Software Engineering Model (SSEM)

Static Analyzer for Solidity and Vyper

Vimana is a modular security framework for auditing Python APIs and Web applications. The plugin-based architecture enables security professionals to…