Published April 5, 2024 | Version v3
Software Open

Artifact for "Reducing Static Analysis Unsoundness with Approximate Interpretation", PLDI 2024

Authors/Creators

  • 1. ROR icon Aarhus University

Description

This artifact consists of a VirtualBox image that contains program code and experimental data for the paper Reducing Static Analysis Unsoundness with Approximate Interpretation by Mathias Rud Laursen, Wenyuan Xu and Anders Møller, PLDI 2024.

To use the artifact, import the image in VirtualBox and follow the instructions in the README file.

Files

Files (48.3 GB)

Name Size Download all
md5:cbab77ad5c75d0b353c8474377cd8381
48.3 GB Download