Fuzzing, Symbolic Execution

In my bachelor thesis I rewrote the state-handling and snapshotting of PORSE.

For my masters degree at TU Berlin I had to write and present a small "paper" in the context of the "Code Analysis and Reverse Engineering" Seminar at the MLSec chair. Here it is.