Bachelor's Thesis

This repository contains the LaTeX source code for my Bachelor's thesis in computer science (see thesis.pdf):

Implementation

As part of this thesis, a proof of concept was implemented that can be found here:

• Styx: control flow graph derivation library
• Styx CLI: command-line interface for Styx