Skip to content
Change the repository type filter

All

    Repositories list

    • 0100Updated Mar 15, 2026Mar 15, 2026
    • angr

      Public
      A powerful and user-friendly binary analysis platform!
      Python
      BSD 2-Clause "Simplified" License
      1.2k8.5k486109Updated Mar 15, 2026Mar 15, 2026
    • claripy

      Public
      An abstraction layer for constraint solvers.
      Python
      BSD 2-Clause "Simplified" License
      1043271414Updated Mar 15, 2026Mar 15, 2026
    • angr-dev

      Public
      Some helper scripts to set up an environment for angr development.
      Shell
      BSD 2-Clause "Simplified" License
      10212321Updated Mar 15, 2026Mar 15, 2026
    • angr-management

      Public
      The official angr GUI.
      Python
      BSD 2-Clause "Simplified" License
      1231.1k2279Updated Mar 15, 2026Mar 15, 2026
    • pypcode

      Public
      Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
      C++
      Other
      2920981Updated Mar 11, 2026Mar 11, 2026
    • cle

      Public
      CLE Loads Everything (at least, many binary formats!)
      Python
      BSD 2-Clause "Simplified" License
      130473219Updated Mar 10, 2026Mar 10, 2026
    • pyvex

      Public
      Python bindings for Valgrind's VEX IR.
      Python
      BSD 2-Clause "Simplified" License
      128375113Updated Mar 10, 2026Mar 10, 2026
    • binaries

      Public
      A repository with binaries for angr tests and examples.
      C
      Other
      616411Updated Mar 10, 2026Mar 10, 2026
    • archinfo

      Public
      Classes with architecture-specific information useful to other projects.
      Python
      BSD 2-Clause "Simplified" License
      669574Updated Mar 10, 2026Mar 10, 2026
    • Docker image and azure templates for angr's CI
      Python
      62101Updated Mar 10, 2026Mar 10, 2026
    • pysoot

      Public
      Python bindings for Shimple/Jimple IR from Soot.
      Python
      224370Updated Mar 9, 2026Mar 9, 2026
    • archr

      Public
      Target-centric program analysis.
      Python
      BSD 2-Clause "Simplified" License
      237631Updated Mar 9, 2026Mar 9, 2026
    • leakmore

      Public
      Python
      0100Updated Mar 7, 2026Mar 7, 2026
    • angrop

      Public
      Python
      BSD 2-Clause "Simplified" License
      8581260Updated Mar 6, 2026Mar 6, 2026
    • pyqodeng

      Public
      Our fork of pyQode.core, used as part of angr management
      Python
      MIT License
      26220Updated Feb 9, 2026Feb 9, 2026
    • angr.io

      Public
      angr.io website source
      HTML
      5280Updated Feb 2, 2026Feb 2, 2026
    • vex

      Public
      A patched version of VEX to work with PyVEX.
      C
      GNU General Public License v2.0
      5211463Updated Feb 1, 2026Feb 1, 2026
    • Example scripts using angr
      Python
      BSD 2-Clause "Simplified" License
      114860Updated Jan 26, 2026Jan 26, 2026
    • patcherex

      Public
      Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
      Python
      BSD 2-Clause "Simplified" License
      4726544Updated Jan 13, 2026Jan 13, 2026
    • rex

      Public
      Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.
      Python
      BSD 2-Clause "Simplified" License
      10365631Updated Jan 12, 2026Jan 12, 2026
    • A collection of extensions to angr to handle new platforms
      Python
      BSD 2-Clause "Simplified" License
      376902Updated Nov 21, 2025Nov 21, 2025
    • Configuration to automatically publish a docker image for angr
      Dockerfile
      BSD 2-Clause "Simplified" License
      0000Updated Nov 17, 2025Nov 17, 2025
    • HeapHopper is a bounded model checking framework for Heap-implementations
      Python
      BSD 2-Clause "Simplified" License
      1722601Updated Jul 2, 2025Jul 2, 2025
    • ailment

      Public archive
      AIL: The angr Intermediate Language.
      Python
      BSD 2-Clause "Simplified" License
      173300Updated May 28, 2025May 28, 2025
    • tracer

      Public
      Utilities for generating dynamic traces
      Python
      BSD 2-Clause "Simplified" License
      269420Updated Mar 24, 2025Mar 24, 2025
    • A Python wrapper library for demumble; demumble is a tool to demangle C++, Rust, and Swift symbol names.
      CMake
      BSD 2-Clause "Simplified" License
      0800Updated Feb 15, 2025Feb 15, 2025
    • phuzzer

      Public
      The new phuzzing framework!
      Python
      BSD 2-Clause "Simplified" License
      2416421Updated Jun 14, 2024Jun 14, 2024
    • qtconsole

      Public
      Jupyter Qt Console
      Python
      BSD 3-Clause "New" or "Revised" License
      204000Updated Mar 21, 2024Mar 21, 2024
    • angr-targets

      Public archive
      This repository contains the currently implemented angr concrete targets.
      Python
      123420Updated Sep 1, 2023Sep 1, 2023