This project aims at investigating Triton

How to use angr_run.py?

python angr_run.py --help "1"

You will find hints.

Change Log

8/22/2017:
- Finished main part of report 6, which details top-3 challenges.
- Designed a great multi-threading challenge.
- Changed symbolic variables used in KLEE test cases.
- Improved output format of Triton.
- Finish overflow challenge.