Binary Analysis

angr is a multi-architecture binary analysis toolkit, with the capability to perform dynamic symbolic execution (like Mayhem, KLEE, etc.) and various static analyses on binaries.

Installing angr is quite simple, you may find a guide here.

First Steps

Once you have angr installed, please look over this first example and run it. This is a basic script that explains how to use angr to symbolically execute a program and produce concrete input satisfying certain conditions.

Explore at your own peace

Today's task is to go through some of the examples from here. You may pick examples you find interesting.