$ cat angr.md

Angr

The angr python framework, is used along with claripy which is "angr's constraint solver".

Reverse Engineering Tool

Description: Python framework for analyzing binaries using symbolic execution.
Common Uses: Finding inputs that reach specific program states (for instance, "success" branches).
Official Sites: angr and claripy documentation.