Grow your team on GitHub
GitHub is home to over 28 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.Sign up
Some helper scripts to set up an environment for angr development.
A powerful and user-friendly binary analysis platform!
Documentation for the angr suite
An abstraction layer for constraint solvers.
Python bindings for Valgrind's VEX IR.
Classes with architecture-specific information useful to other projects.
CLE Loads Everything (at least, many binary formats!)
AIL: The angr Imtermediate Language.
HeapHopper is a bounded model checking framework for Heap-implementations
A GUI for angr. Being developed *very* slowly.
A repository with binaries for angr tests and examples.
The Z3 Theorem Prover - repository for staging python distributions
A patched version of VEX to work with PyVEX.
Python bindings for Shimple/Jimple IR from Soot.
Hugo project for generating the angr website
A collection of extensions to angr to handle new platforms
Utilities for generating dynamic traces
Wheels for speeding up builds and helping people out.
A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!
[DEPRECATED] A symbolic execution engine for the VEX IR
Capstone disassembly/disassembler framework: Core (Arm, Arm64, M68K, Mips, PPC, Sparc, SystemZ, X86, X86_64, XCore) + bindings (Python, Java, Ocaml)
[DEPRECATED] Using angr and prebuilt testcases to identify functions in statically-linked binaries.
Unicorn CPU emulator framework (ARM, AArch64, M68K, Mips, Sparc, X86)