A series of demo's and exercises used to show basic usage of angr's API and symbolic execution functionality.
Uses a simple serial number validation shared library with a series of basic validation routines to demonstrate basic usage of angr.
A classic crackme designed to be solved using angr.
An example of using angr to identify opaque predicates (conditional jumps in assembly which will always be taken or not taken).
An example of using angr to identify the IOCTL codes supported by a Windows driver.