There is a newer version of the record available.

Published July 23, 2021 | Version v2
Dataset Open

Artifact for the paper "Abstract Interpretation of LLVM with a Region-Based Memory Model"

Authors/Creators

  • 1. University of Waterloo
  • 2. SRI

Description

Contain all scripts necessary to reproduce the results (Table 1) in the paper.

Files

vstte21-artifact.zip

Files (24.2 kB)

Name Size Download all
md5:62ba38d491e00d21a780a1e2735b3e2f
24.2 kB Preview Download