R
r8-symbolic-execution-public
This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.
This project contains various symbolic execution challenges for the r8 CTF system. These challenges were developed in the scope of a seminar thesis about the evaluation of angr for CTF challenges.