22 open source projects by angr

CLE Loads Everything (at least, many binary formats!)

Python bindings for Valgrind's VEX IR.

Shellphish's automated patching engine, originally created for the Cyber Grand Challenge.

HeapHopper is a bounded model checking framework for Heap-implementations

An abstraction layer for constraint solvers.

The new phuzzing framework!

[DEPRECATED] A symbolic execution engine for the VEX IR

A collection of extensions to angr to handle new platforms

Python bindings for Shimple/Jimple IR from Soot.

Documentation for the angr suite

A powerful and user-friendly binary analysis platform!

Shellphish's automated exploitation engine, originally created for the Cyber Grand Challenge.

A GUI for angr. Being developed *very* slowly.

AIL: The angr Intermediate Language.

Python bindings to Ghidra's SLEIGH library for disassembly and lifting to p-code IR

Utilities for generating dynamic traces

A repository with binaries for angr tests and examples.

A tool to add simple inline patches to a binary to rearrange its stack frames, and other things!

Some helper scripts to set up an environment for angr development.

A collaborative reversing plugin for cross-decompiler collaboration, built on git.