r8-symbolic-execution-public

Project information

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.

4 Commits
1 Branch
0 Tags

README

Created on

June 15, 2020

Copy SSH clone URLgit@git.uibk.ac.at:csat8536/r8-symbolic-execution-public.git
Copy HTTPS clone URLhttps://git.uibk.ac.at/csat8536/r8-symbolic-execution-public.git