Software Open Access

Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios

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


JSON-LD (schema.org) Export

{
  "description": "<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>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "MPI-SWS", 
      "@type": "Person", 
      "name": "Mansur, Muhammad Numair"
    }, 
    {
      "affiliation": "University of Texas at Austin", 
      "@type": "Person", 
      "name": "Mariano, Benjamin"
    }, 
    {
      "affiliation": "MPI-SWS", 
      "@type": "Person", 
      "name": "Christakis, Maria"
    }, 
    {
      "affiliation": "SRI International", 
      "@type": "Person", 
      "name": "Navas, Jorge A"
    }, 
    {
      "affiliation": "ConsenSys", 
      "@type": "Person", 
      "name": "W\u00fcstholz, Valentin"
    }
  ], 
  "url": "https://zenodo.org/record/4719604", 
  "datePublished": "2021-04-26", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4719604", 
  "@id": "https://doi.org/10.5281/zenodo.4719604", 
  "@type": "SoftwareSourceCode", 
  "name": "Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios"
}
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