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