ASE 2024
Sun 27 October - Fri 1 November 2024 Sacramento, California, United States

We describe the artifact accompanying the ASE 2024 paper Language-Agnostic Static Analysis of Probabilistic Programs. It is available at https://doi.org/10.5281/zenodo.13347682 and includes a prototype implementation of the proposed framework which allows the application of four static analyses to probabilistic programs written in one of five supported probabilistic programming languages. A Dockerfile is provided for easy installation and scripts to generate the exact results of all experiments have been prepared. A benchmark set of over 200 probabilistic programs is included in the artifact.