Software Open Access

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4719604", 
  "author": [
    {
      "family": "Mansur, Muhammad Numair"
    }, 
    {
      "family": "Mariano, Benjamin"
    }, 
    {
      "family": "Christakis, Maria"
    }, 
    {
      "family": "Navas, Jorge A"
    }, 
    {
      "family": "W\u00fcstholz, Valentin"
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2021, 
        4, 
        26
      ]
    ]
  }, 
  "abstract": "<p>This is an artifact for our CAV&#39;21 paper titled &quot;Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios&quot;. It&nbsp;contains the benchmarks we used for our experimental evaluation&nbsp;and the implementation of TAILOR on top of CRAB abstract interpreter.<br>\nThere are no special hardware or software requirements.<br>\nThe artifact is packaged as a VM image (created with VirtualBox<br>\nand saved as an OVA file) with everything pre-configured and pre-installed.<br>\nWe recommend using VirtualBox to import and run the OVA file.</p>\n\n<p>Ubuntu root password: 123</p>\n\n<p>How to run the VM?<br>\nDownload the&nbsp;OVA file. Start VirtualBox, click on File -&gt; Import Appliance,<br>\nselect the downloaded OVA file -&gt; continue -&gt; import.<br>\nOnce imported, select the image &quot;tailorVM&quot; and press Start.<br>\nThere will be a README.txt file waiting for you in a folder named ARTIFACT on the Desktop (or the home directory).</p>\n\n<p>&nbsp;</p>", 
  "title": "Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios", 
  "type": "article", 
  "id": "4719604"
}
210
23
views
downloads
All versions This version
Views 210210
Downloads 2323
Data volume 204.7 GB204.7 GB
Unique views 196196
Unique downloads 2020

Share

Cite as