4719604
doi
10.5281/zenodo.4719604
oai:zenodo.org:4719604
Mariano, Benjamin
University of Texas at Austin
Christakis, Maria
MPI-SWS
Navas, Jorge A
SRI International
Wüstholz, Valentin
ConsenSys
Automatically Tailoring Abstract Interpretation to Custom Usage Scenarios
Mansur, Muhammad Numair
MPI-SWS
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
<p>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.<br>
There are no special hardware or software requirements.<br>
The artifact is packaged as a VM image (created with VirtualBox<br>
and saved as an OVA file) with everything pre-configured and pre-installed.<br>
We recommend using VirtualBox to import and run the OVA file.</p>
<p>Ubuntu root password: 123</p>
<p>How to run the VM?<br>
Download the OVA file. Start VirtualBox, click on File -> Import Appliance,<br>
select the downloaded OVA file -> continue -> import.<br>
Once imported, select the image "tailorVM" and press Start.<br>
There will be a README.txt file waiting for you in a folder named ARTIFACT on the Desktop (or the home directory).</p>
<p> </p>
Zenodo
2021-04-26
info:eu-repo/semantics/other
4719603
1619442636.991768
8900591104
md5:fa746a2373518de31549811f9dc16717
https://zenodo.org/records/4719604/files/tailorVM.ova
public
10.5281/zenodo.4719603
isVersionOf
doi