symbolic execution plugin for binary ninja

An automatic unpacker and logger for DotNet Framework targeting files

A binary analysis framework written in Rust.

DOESN'T WORK YET, PLEASE IGNORE

radius2 is a fast binary emulation and symbolic execution framework using radare2

The first analysis framework for CPU microcode

A LLVM Sanitizer for Symbolic Tracing

The OWASP Mobile Application Security Testing Guide (MASTG) is a comprehensive manual for mobile app security testing and reverse engineering. It describes technical processes for verifying the OWA…

an iOS kernel function hooking framework for checkra1n'able devices

minimal symbolic model checker & fuzzer

Pure python3 implementation for working with iDevices (iPhone, etc...).

weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interesting functionality in large codebases.

A powerful and user-friendly binary analysis platform!

A python symbolic execution framework using radare2's ESIL (Evaluable String Intermediate Language)