This is a very simple example of how to use angr.
Binary included is built using the Docker image provided for angr - http://docs.angr.io/INSTALL.html#docker-install
A Docker image is also included for quick setup and execution of the example.
- Install & Start Docker
- Run
./scripts/startImage.shand cd into simple - Run
./solve-simple.py
- Install Angr: http://docs.angr.io/INSTALL.html
- Run
./solve-simple.pywhich should return'a'as the solution to the simple binary.