A powerful and user-friendly binary analysis platform!

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

An abstraction layer for constraint solvers.

Classes with architecture-specific information useful to other projects.

Python bindings for Valgrind's VEX IR.

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

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)

AIL: The angr Intermediate Language.

This repository contains the currently implemented angr concrete targets.

Python bindings for Shimple/Jimple IR from Soot.

A repository with binaries for angr tests and examples.

A collection of extensions to angr to handle new platforms

Target-centric program analysis.

[DEPRECATED] A symbolic execution engine for the VEX IR

Python bindings to Ghidra's SLEIGH library for disassembly and lifting to P-Code IR

The new phuzzing framework!

HeapHopper is a bounded model checking framework for Heap-implementations