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.