Skip to content
Change the repository type filter

All

    Repositories list

    • angr

      Public
      A powerful and user-friendly binary analysis platform!
      Python
      BSD 2-Clause "Simplified" License
      1.1k7.5k41793Updated Oct 1, 2024Oct 1, 2024
    • HeapHopper is a bounded model checking framework for Heap-implementations
      Python
      BSD 2-Clause "Simplified" License
      1821201Updated Oct 1, 2024Oct 1, 2024
    • The official angr GUI.
      Python
      BSD 2-Clause "Simplified" License
      1108852087Updated Oct 1, 2024Oct 1, 2024
    • archr

      Public
      Target-centric program analysis.
      Python
      BSD 2-Clause "Simplified" License
      217230Updated Sep 30, 2024Sep 30, 2024
    • ailment

      Public
      AIL: The angr Intermediate Language.
      Python
      BSD 2-Clause "Simplified" License
      172910Updated Sep 30, 2024Sep 30, 2024
    • archinfo

      Public
      Classes with architecture-specific information useful to other projects.
      Python
      BSD 2-Clause "Simplified" License
      588552Updated Sep 30, 2024Sep 30, 2024
    • claripy

      Public
      An abstraction layer for constraint solvers.
      Python
      BSD 2-Clause "Simplified" License
      932841410Updated Sep 30, 2024Sep 30, 2024
    • cle

      Public
      CLE Loads Everything (at least, many binary formats!)
      Python
      BSD 2-Clause "Simplified" License
      112408145Updated Sep 30, 2024Sep 30, 2024
    • pyvex

      Public
      Python bindings for Valgrind's VEX IR.
      Python
      BSD 2-Clause "Simplified" License
      11533361Updated Sep 30, 2024Sep 30, 2024
    • pypcode

      Public
      Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR
      C++
      Other
      2317971Updated Sep 30, 2024Sep 30, 2024
    • angr.io

      Public
      angr.io website source
      HTML
      5380Updated Sep 26, 2024Sep 26, 2024
    • binaries

      Public
      A repository with binaries for angr tests and examples.
      C
      Other
      515622Updated Sep 26, 2024Sep 26, 2024
    • angrop

      Public
      Python
      BSD 2-Clause "Simplified" License
      6959143Updated Sep 23, 2024Sep 23, 2024
    • A collection of extensions to angr to handle new platforms
      Python
      BSD 2-Clause "Simplified" License
      376602Updated Sep 21, 2024Sep 21, 2024
    • angr-dev

      Public
      Some helper scripts to set up an environment for angr development.
      Shell
      BSD 2-Clause "Simplified" License
      9511522Updated Sep 19, 2024Sep 19, 2024
    • Docker image and azure templates for angr's CI
      Python
      6281Updated Sep 17, 2024Sep 17, 2024
    • vex

      Public
      A patched version of VEX to work with PyVEX.
      C
      GNU General Public License v2.0
      4410533Updated Sep 12, 2024Sep 12, 2024
    • Example scripts using angr
      Python
      BSD 2-Clause "Simplified" License
      42760Updated Aug 20, 2024Aug 20, 2024
    • rex

      Public
      Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.
      Python
      BSD 2-Clause "Simplified" License
      10263620Updated Aug 15, 2024Aug 15, 2024
    • patcherex

      Public
      Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
      Python
      BSD 2-Clause "Simplified" License
      4524842Updated Jun 24, 2024Jun 24, 2024
    • phuzzer

      Public
      The new phuzzing framework!
      Python
      BSD 2-Clause "Simplified" License
      2414821Updated Jun 14, 2024Jun 14, 2024
    • Configuration to automatically publish a docker image for angr
      Dockerfile
      BSD 2-Clause "Simplified" License
      0000Updated May 1, 2024May 1, 2024
    • pyqodeng

      Public
      Our fork of pyQode.core, used as part of angr management
      Python
      MIT License
      27220Updated Mar 28, 2024Mar 28, 2024
    • qtconsole

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

      Public
      Python bindings for Shimple/Jimple IR from Soot.
      Python
      224172Updated Jan 12, 2024Jan 12, 2024
    • This repository contains the currently implemented angr concrete targets.
      Python
      93220Updated Sep 1, 2023Sep 1, 2023
    • angr-doc

      Public archive
      Documentation for the angr suite
      TeX
      BSD 2-Clause "Simplified" License
      37883700Updated Apr 27, 2023Apr 27, 2023
    • tracer

      Public
      Utilities for generating dynamic traces
      Python
      BSD 2-Clause "Simplified" License
      288820Updated Oct 28, 2022Oct 28, 2022
    • arbiter

      Public
      Python
      27100Updated Oct 27, 2022Oct 27, 2022
    • fidget

      Public archive
      A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!
      Python
      BSD 2-Clause "Simplified" License
      84500Updated Jun 11, 2022Jun 11, 2022