Software Open Access

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

Mansur, Muhammad Numair; Mariano, Benjamin; Christakis, Maria; Navas, Jorge A; Wüstholz, Valentin

This is an artifact for our CAV'21 paper titled "Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios". It 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.

Ubuntu root password: 123

How to run the VM?
Download the OVA file. Start VirtualBox, click on File -> Import Appliance,
select the downloaded OVA file -> continue -> import.
Once imported, select the image "tailorVM" and press Start.
There will be a README.txt file waiting for you in a folder named ARTIFACT on the Desktop (or the home directory).

 

Files (8.9 GB)
Name Size
tailorVM.ova
md5:fa746a2373518de31549811f9dc16717
8.9 GB Download
197
22
views
downloads
All versions This version
Views 197197
Downloads 2222
Data volume 195.8 GB195.8 GB
Unique views 183183
Unique downloads 1919

Share

Cite as