There is a newer version of the record available.

Published July 23, 2021 | Version v1
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 (9.9 kB)

Name Size
md5:0644261e88e7868129e40d4950389372
9.9 kB Preview Download