Awesome GitHub RepositoriesBinary Analysis

The Mobile Application Security Testing Guide is a comprehensive manual and compliance framework for verifying the security of mobile applications. It provides a standardized reference for identifying and validating common software security weaknesses and performing reverse engineering based on industry standards. The project provides a structured set of technical processes and checklists used to audit applications against established security weakness enumerations. It encompasses guidance for analyzing application binaries and runtime behavior to identify hidden functionality and security ga

This project is a security tool installation framework and binary analysis toolkit designed to automate the deployment of research utilities. It provides a containerized security research environment and a system for managing Python and Ruby virtual environments to prevent dependency conflicts on the host machine. The framework distinguishes itself through a structured tool catalog and provisioning scripts that automate the installation of utilities into isolated directories. It utilizes executable symlink mapping to provide a unified command interface and supports the bootstrapping of consis

Angr is a binary analysis framework and static analysis tool used for reverse engineering compiled binaries. It serves as a binary decompiler and a lifting platform that translates machine code into a common intermediate representation to enable cross-architecture analysis. The framework integrates a symbolic execution engine and constraint solvers to determine the inputs required to reach specific program states. It also employs untrusted code sandboxing to isolate guest code from the host environment during analysis. Its capabilities cover control flow and data flow analysis, including the

MBE es un recurso educativo de investigación en seguridad que proporciona material didáctico sobre explotación binaria y un entorno de wargame CTF desplegable. Funciona como un currículo estructurado de laboratorios y materiales diseñados para aprender ingeniería inversa y corrupción de memoria. El proyecto proporciona infraestructura de laboratorio contenedorizada y una cadena de herramientas de análisis binario para garantizar un entorno controlado para la investigación de vulnerabilidades. Utiliza entornos aislados para desplegar tareas de explotación binaria, evitando interferencias e inestabilidad del sistema. El sistema cubre el aprovisionamiento de entornos vulnerables mediante la orquestación de máquinas virtuales y el aislamiento de contenedores. También gestiona la distribución de binarios estáticos y el despliegue automatizado de depuradores y desensambladores estandarizados.

Bloaty es un perfilador de tamaño de binarios y analizador de formatos ejecutables que atribuye cada byte de un binario a símbolos o unidades de compilación específicos. Funciona como un perfilador de unidades de compilación y demangler de símbolos C++, mapeando el tamaño del binario a los archivos fuente y traduciendo nombres mangled a formatos legibles por humanos. El proyecto se distingue como una herramienta de diffing binario capaz de comparar dos versiones de un binario para aislar símbolos o secciones específicas responsables de regresiones de tamaño. Proporciona soporte especializado para recuperar símbolos en binarios stripped asociándolos con archivos de depuración externos utilizando identificadores de build. La herramienta proporciona un análisis binario integral para formatos ELF, Mach-O, PE/COFF y WebAssembly. Sus capacidades incluyen el análisis de secciones de enlazador, segmentos de memoria y archivos de librerías estáticas, así como la identificación del espacio consumido por funciones inlined. Los usuarios pueden aislar aún más los datos mediante filtrado con expresiones regulares y exportar los resultados del perfilado en formatos CSV o TSV.

AFL is a coverage-guided fuzzer and security vulnerability scanner used to identify software bugs and memory corruption by feeding programs mutated data. It functions as a binary instrumentation tool and a test case minimizer to locate crashes and isolate the smallest set of bytes causing a fault. The project distinguishes itself through its ability to operate as a parallel fuzzing orchestrator, distributing workloads across multiple CPU cores or networked machines. It utilizes dictionary-based mutation for complex file formats and performs input sensitivity analysis to identify critical sect

ipsw is a specialized toolkit for iOS firmware analysis, binary reverse engineering, and hardware interaction. It provides a suite of tools for downloading, extracting, and analyzing firmware images and kernel caches, alongside a MachO binary analysis tool for disassembling and patching executables. The project distinguishes itself through integrated language-model-powered code reconstruction to translate machine code into high-level source code. It also features an automation client for the App Store Connect API to manage certificates and application settings. The framework covers a broad r

Analizador estático de código binario, con integración en IDA. Realiza análisis de valores y taint, reconstrucción de tipos, y detección de use-after-free y double-free

Twiggy🌱 is a code size profiler

A static analyzer for PE executables.

A binary static analysis tool that provides security and correctness results for Windows Portable Executable and *nix ELF binary formats

Make production Rust binaries auditable

HaboMalHunter is a sub-project of Habo Malware Analysis System (https://habo.qq.com), which can be used for automated malware analysis and security assessment on the Linux system.

The purpose of this project is to analyse a raw binary firmware and determine automatically some of its features. This tool is compatible with all architectures as basically, it just does simple statistics on it.

Linker/Compiler/Tool detector for Windows, Linux and MacOS.

chap analyzes un-instrumented core files for leaks, memory growth, and corruption

A malware/botnet analysis framework written in Ruby.

The Jakstab static analysis platform for binaries

BinAbsInspector (Binary Abstract Inspector) is a static analyzer for automated reverse engineering and scanning vulnerabilities in binaries, which is a long-term research project incubated at Keenlab. It is based on abstract interpretation with the support from Ghidra. It works on Ghidra's Pcode…