Software Open Access

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

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

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:creator>Mansur, Muhammad Numair</dc:creator>
  <dc:creator>Mariano, Benjamin</dc:creator>
  <dc:creator>Christakis, Maria</dc:creator>
  <dc:creator>Navas, Jorge A</dc:creator>
  <dc:creator>Wüstholz, Valentin</dc:creator>
  <dc:description>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 -&gt; Import Appliance,
select the downloaded OVA file -&gt; continue -&gt; 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).

  <dc:title>Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios</dc:title>
All versions This version
Views 210210
Downloads 2323
Data volume 204.7 GB204.7 GB
Unique views 196196
Unique downloads 2020


Cite as