BootStomp

BootStomp BootStomp is a boot-loader bug finder. It looks for two different class of bugs: memory corruption and state storage vulnerabilities. For more info please refer to the BootStomp paper at https://seclab.cs.ucsb.edu/academic/publishing/bootstomp-security-bootloaders-mobile-devices-2017 To...

fuzzable

Fuzzable Framework for Automating Fuzzable Target Discovery with Static Analysis Introduction Vulnerability researchers conducting security assessments on software will often harness the capabilities of coverage-guided fuzzing through powerful tools like AFL++ and libFuzzer. This is important as ...

angr 10.0.4

angr is an open-source binary analysis platform for Python. It combines both static and dynamic symbolic "concolic" analysis, providing tools to solve a variety of tasks...

angr

angr angr es un marco de análisis binario independiente de la plataforma. Es presentado por el Computer Security Lab de UC Santa Barbara, SEFCOM en Arizona State University, su equipo CTF asociado, Shellphish, la comunidad de código abierto, y @rhelmot. Enlaces del proyecto Página principal:...

heaphopper

heaphopper HeapHopper es un framework de verificación de modelos acotados para implementaciones de Heap. Descripción general Configuración sudo apt update && sudo apt install build-essential python3-dev virtualenvwrapper git clone https://github.com/angr/heaphopper.git && cd ./heaphopper...

angrgdb

angrgdb Usa angr dentro de GDB. Crea un estado de angr a partir del estado actual del depurador. Instalación pip install angrgdb echo "python import angrgdb.commands" /.gdbinit Uso angrgdb implementa la API de angrdbg en GDB. Puedes usarlo en scripts como este: from angrgdb import gdb.execute"b...

angr 10.0.1

angr is an open-source binary analysis platform for Python. It combines both static and dynamic symbolic "concolic" analysis, providing tools to solve a variety of tasks...

angr 10.0.0

angr is an open-source binary analysis platform for Python. It combines both static and dynamic symbolic "concolic" analysis, providing tools to solve a variety of tasks...

angr 9.3.4

angr is an open-source binary analysis platform for Python. It combines both static and dynamic symbolic "concolic" analysis, providing tools to solve a variety of tasks...

angr 9.3.3

angr is an open-source binary analysis platform for Python. It combines both static and dynamic symbolic "concolic" analysis, providing tools to solve a variety of tasks...

angr 9.3.1

angr is an open-source binary analysis platform for Python. It combines both static and dynamic symbolic "concolic" analysis, providing tools to solve a variety of tasks...

angr (>=9.2.66, <=9.3.1.post1), angr-management (>=9.2.92, <=9.3.1.post1) +8 more potentially affected by CVE-2026-47143 via capstone (>=5.0.0rc4, <=5.0.7)

capstone PYPI version =5.0.0rc4, =9.2.66, =9.2.92, =1.5.2, =0.0.1, =1.1.0rc4, =0.0.1, =3.20.1, =0.1.0, =1.0.2, =2.0.2 Source cves: CVE-2026-47143 Source advisory: OSV:PYSEC-2026-3544...

angr v9.3.0

angr angr is a platform-agnostic binary analysis framework. It is brought to you by the Computer Security Lab at UC Santa Barbara, SEFCOM at Arizona State University, their associated CTF team, Shellphish, the open source community, and @rhelmot. Project Links Homepage: https://angr.io Project...

Constraint-Guided Multi-Agent Decompilation for Executable Binary Recovery

Decompilation -- recovering source code from compiled binaries -- is essential for security analysis, malware reverse engineering, and legacy software maintenance. However, existing decompilers produce code that often fails to compile or execute correctly, limiting their practical utility. We...

Software-Security-Learning

It is an offensive tool for binary analysis. The repository Software-Security-Learning contains a collection of resources for learning software security, including tools and tutorials for binary analysis. The tools listed include Pharos, Angr, Vuzzer, PEDA, and pwntools, which are used for static...

Zeratool

This repository, Zeratool, is an automatic exploit generation tool for exploitable CTF Capture The Flag problems. It uses the angr concolic analysis engine to analyze binaries and identify vulnerabilities, and then weaponizes these vulnerabilities for remote code execution through pwntools. The...

Data Flows in You: Benchmarking and Improving Static Data-Flow Analysis on Binary Executables

Data-flow analysis is a critical component of security research. Theoretically, accurate data-flow analysis in binary executables is an undecidable problem, due to complexities of binary code. Practically, many binary analysis engines offer some data-flow analysis capability, but we lack...

angr (>=9.0.4446, <=9.2.25), angr-management (>=9.0.4446, <=9.2.25) +3 more potentially affected by CVE-2021-44078 via unicorn (1.0.2rc4)

unicorn PYPI version 1.0.2rc4 is affected by a known vulnerability. The following packages have a transitive dependency on unicorn and may be impacted: - angr =9.0.4446, =9.0.4446, =9.0.4446, =0.0.3, =1.4.4, =1.5.1 Source cves: CVE-2021-44078 Source advisory: OSV:PYSEC-2021-868...

Zeratool

This is an offensive tool for CTF Capture The Flag problems. It is designed to automatically generate exploits and remotely capture flags for exploitable CTF problems. The tool, called Zeratool, uses the angr binary analysis framework to concolically analyze binaries by hooking printf and looking...

Software-Security-Learning

It is an offensive tool for binary exploitation. The primary CVE ID is not explicitly mentioned, but the repository contains information on various software security topics, including binary exploitation. The target product/service or framework is not specified, but the repository includes tools...