Description

This is the artifact to the paper "Context-, Flow-, and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems". It can be used to reproduce the experiments conducted for research questions 1, 2, and 3. The artifact ships as a virtual machine image with a readily set up Eclipse instance. The workspace of Eclipse is set up with the projects and their source codes to run all experiments conducted within the paper.

Assets

Provenance

The source code comes from the following repository and its dependencies (all open source) https://github.com/secure-software-engineering/SPDS-experiments