# angr

A series of demo's and exercises used to show basic usage of angr's API and symbolic execution functionality.

## Hello World

Uses a simple serial number validation shared library with a series of basic validation routines to demonstrate basic usage of angr.

## Bomb Lab

A classic crackme designed to be solved using angr.

## Opaque Predicates

An example of using angr to identify opaque predicates (conditional jumps in assembly which will always be taken or not taken).

## IOCTLs

An example of using angr to identify the IOCTL codes supported by a Windows driver.