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

Name Size Download all
md5:7cda09613bfa9321e8647dbdd8498c3d
23.9 kB Preview Download