Published September 16, 2025 | Version v1
Software Open

Artifact for 'Data Race Detection by Digest-Driven Abstract Interpretation'

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

Description

This is the artifact for our manuscript Data Race Detection by Digest-Driven Abstract Interpretation.

Files

artifact.zip

Files (8.9 GB)

Name Size Download all
md5:cac9ba2846b6195366a1c193db52e5cc
8.9 GB Preview Download
md5:ad60f81f1eb5c2a641a577fe77579b6f
12.0 kB Preview Download

Additional details

Software

Repository URL
https://github.com/goblint/analyzer
Programming language
OCaml