Published April 24, 2021
| Version v1
Software
Open
TEST
Creators
- 1. MPI-SWS
- 2. University of Texas at Austin
- 3. SRI International
- 4. ConsenSys
Description
This artifact contains the benchmarks we used for our experimental evaluation
and the implementation of TAILOR on top of CRAB abstract interpreter.
There are no special hardware or software requirements.
The artifact is packaged as a VM image (created with VirtualBox
and saved as an OVA file) with everything pre-configured and pre-installed.
We recommend using VirtualBox to import and run the OVA file.
Link to the OVA file on Zenodo: << Will be added later >>
Ubuntu login password: 123
Files
Files
(8.8 GB)
| Name | Size | Download all |
|---|---|---|
|
md5:4da28990ccb4cb1866e7dfd8bc0899b5
|
8.8 GB | Download |