Fabian Stemmler, Michael Schwarz, Julian Erhard, Sarah Tilscher, Helmut Seidl: Artifact for 'Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses'. Zenodo 2025