Kellogg, Martin
Shadab, Narges
Sridharan, Manu
Ernst, Michael D.
2021-08-26
<p>This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweight and Modular Resource Leak Verification". Please download the <strong>latest</strong> version of the artifact, as we have fixed some bugs in the experimental scripts. Also note that the experimental results produced by the scripts in the artifact are consistent with <a href="https://manu.sridharan.net/files/FSE21Leaks.pdf">this version</a> of the paper, which contains a minor correction in Table 3 compared to the originally-published version.</p>
<p>To run the image,</p>
<p>0.) Install Docker following the directions at [https://www.docker.com/get-started] for your OS, if it is not already installed. We have tested the artifact with Docker Desktop on MacOS, but it should work for other operating systems.</p>
<p>1.) Unzip the provided Docker image.<br>
`gunzip -c path/to/resource-leak-checker.tar.gz > resource-leak-checker.tar`</p>
<p>2.) Load it into Docker.<br>
`docker load < resource-leak-checker.tar`</p>
<p>3.) Run the image. This should open a bash shell, at the home directory of user `fse`.<br>
`docker run -it msridhar/rlc:latest`</p>
<p>Instructions for how to run the paper's experiments are inside the container in the `object-construction-checker/fse-2021/README.md` file in the `fse` user's home directory.</p>
https://doi.org/10.5281/zenodo.5275304
oai:zenodo.org:5275304
Zenodo
https://doi.org/10.5281/zenodo.4902321
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
Artifact for "Lightweight and Modular Resource Leak Verification"
info:eu-repo/semantics/other