angr

Repositories

• archr

  Target-centric program analysis.
  Python 8 40 10 4 Updated Jun 10, 2020

• ci-settings

  Docker image for angr's CI
  Python 2 0 3 1 Updated Jun 10, 2020

• angr

  A powerful and user-friendly binary analysis platform!

  analysis binary angr
  Python BSD-2-Clause 725 4,257 457 (23 issues need help) 59 Updated Jun 10, 2020

• angr-management

  A GUI for angr. Being developed *very* slowly.
  Python BSD-2-Clause 47 223 22 0 Updated Jun 10, 2020

• patcherex

  Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.
  C BSD-2-Clause 41 164 11 3 Updated Jun 9, 2020

• angr-doc

  Documentation for the angr suite
  Python BSD-2-Clause 321 596 16 (5 issues need help) 9 Updated Jun 9, 2020

• angr.github.io

  angry website
  HTML 9 6 1 0 Updated Jun 8, 2020

• ailment

  AIL: The angr Intermediate Language.
  Python BSD-2-Clause 5 12 2 1 Updated Jun 8, 2020

• archinfo

  Classes with architecture-specific information useful to other projects.
  Python BSD-2-Clause 48 59 5 1 Updated Jun 9, 2020

• pyvex

  Python bindings for Valgrind's VEX IR.
  Python BSD-2-Clause 91 206 14 (4 issues need help) 5 Updated Jun 8, 2020

• cle

  CLE Loads Everything (at least, many binary formats!)
  Python BSD-2-Clause 85 217 17 (8 issues need help) 11 Updated Jun 8, 2020

• claripy

  An abstraction layer for constraint solvers.
  Python BSD-2-Clause 65 122 17 (5 issues need help) 11 Updated Jun 8, 2020

• rex

  Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.
  Python BSD-2-Clause 100 475 19 3 Updated Jun 8, 2020

• fidget

  A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!
  Python BSD-2-Clause 7 35 0 0 Updated Jun 8, 2020

• nixpkgs

  angr related nixpkgs
  Nix MIT 0 0 1 0 Updated Jun 5, 2020

• angr-dev

  Some helper scripts to set up an environment for angr development.
  Shell BSD-2-Clause 69 69 8 (1 issue needs help) 3 Updated Jun 2, 2020

• vex

  A patched version of VEX to work with PyVEX.
  C 30 61 1 2 Updated May 30, 2020

• angr-platforms

  A collection of extensions to angr to handle new platforms
  Python BSD-2-Clause 18 37 2 4 Updated May 30, 2020

• binaries

  A repository with binaries for angr tests and examples.
  C 38 35 1 2 Updated May 27, 2020

• angr-megatest

  Forked from zardus/angr-megatest

  large-scale testing of cfg and decompiler
  Python 1 1 0 0 Updated Apr 30, 2020

• angr-targets

  This repository contains the currently implemented angr concrete targets.
  Python 3 12 0 2 Updated Apr 19, 2020

• angr-website-hugo

  Hugo project for generating the angr website
  HTML 4 1 1 0 Updated Apr 16, 2020

• wheels

  Wheels for speeding up builds and helping people out.
  BSD-2-Clause 4 5 1 0 Updated Apr 2, 2020

• phuzzer

  The new phuzzing framework!
  Python BSD-2-Clause 12 95 1 0 Updated Mar 10, 2020

• pysoot

  Python bindings for Shimple/Jimple IR from Soot.
  Python 9 13 1 0 Updated Feb 4, 2020

• heaphopper

  HeapHopper is a bounded model checking framework for Heap-implementations
  Python BSD-2-Clause 16 168 3 2 Updated Jan 5, 2020

• tracer

  Utilities for generating dynamic traces
  Python BSD-2-Clause 22 61 20 (1 issue needs help) 2 Updated Dec 9, 2019

• unicorn

  Forked from unicorn-engine/unicorn

  Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)
  C 775 8 0 0 Updated Sep 4, 2019

• azure-runners

  Docker stuff for self-hosted azure runners
  Shell 0 0 0 0 Updated Jul 3, 2019

• angr-z3

  Forked from Z3Prover/z3

  The Z3 Theorem Prover - repository for staging python distributions
  C++ 910 47 3 0 Updated Jun 10, 2019