Goblint
Published April 19, 2025 | Version v4
Software Open

Artifact for 'Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses'

Creators

  • 1. ROR icon Technical University of Munich
  • 2. ROR icon Ludwig-Maximilians-Universität München

Description

Artifact for PLDI '25 submission  "Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses".

Files

README.md

Files (17.6 GB)

Name Size Download all
md5:26a92ee4385d3dec31f78f387b9ee0e5
7.8 kB Preview Download
md5:44e39c26127cb14b11aa8b086439fcc1
3.5 kB Preview Download
md5:e9c2baf1ed2d3a9c7bba9373389a0e1f
5.0 kB Preview Download
md5:c935900f2f47c7d72b8c5a1fc2ad3abf
17.6 GB Download

Additional details

Software

Repository URL
https://github.com/tum-cit-pl/precision-recovery-mixed-flowsens-benchmarks
Programming language
OCaml, Ruby, Python