Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

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).