Replication Package of Publication Detecting Information Flow Security Vulnerabilities by Analysis Coupling

Introduction This replication package contains a Virtual machine which comprises the replication package for the publication "Detecting Information Flow Security Vulnerabilities by Analysis Coupling" Requirements The following system requirements must be provided for using the Virtual Machine efficiently: at least two CPU cores at least 8 gigabytes of main memory (RAM) at least 25 gigabytes of free space on your file system Using the Virtual Machine Please execute the following steps: Download and install VirtualBox as described on https://www.virtualbox.org/ Unzip the Archive "ReplicationPackage.zip" to a location of your choice Execute the VirtualBox manager Include the virtual machine by selecting "Add", navigating to the prior location, and select the file TSE_Reiche_ReplicationPackage.vbox Start the virtual machine Wait until you reach the Ubuntu-Desktop You will find a README.md file on the desktop, describing the structure of the replication package. Please read this file for further instructions. If you experience issues, please contact us.