Software Open Access

Artifact for "Lightweight and Modular Resource Leak Verification"

Kellogg, Martin; Shadab, Narges; Sridharan, Manu; Ernst, Michael D.


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.5275304", 
  "author": [
    {
      "family": "Kellogg, Martin"
    }, 
    {
      "family": "Shadab, Narges"
    }, 
    {
      "family": "Sridharan, Manu"
    }, 
    {
      "family": "Ernst, Michael D."
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2021, 
        8, 
        26
      ]
    ]
  }, 
  "abstract": "<p>This upload is a docker image containing the artifact accompanying our ESEC/FSE&#39;21 paper&nbsp;&quot;Lightweight and Modular Resource Leak Verification&quot;.&nbsp; Please download the <strong>latest</strong> version of the artifact, as we have fixed some bugs in the experimental scripts. &nbsp;Also note that the experimental results produced by the scripts in the artifact are consistent with&nbsp;<a href=\"https://manu.sridharan.net/files/FSE21Leaks.pdf\">this version</a>&nbsp;of the paper, which contains a minor correction in Table 3 compared to the originally-published version.</p>\n\n<p>To run the image,</p>\n\n<p>0.) Install Docker following the directions at [https://www.docker.com/get-started] for your OS, if it is not already installed.&nbsp; We have &nbsp;tested the artifact&nbsp;with Docker Desktop on MacOS, but it should work for other operating systems.</p>\n\n<p>1.) Unzip the provided Docker image.<br>\n`gunzip -c path/to/resource-leak-checker.tar.gz &gt; resource-leak-checker.tar`</p>\n\n<p>2.) Load it into Docker.<br>\n&nbsp;&nbsp;&nbsp; `docker load &lt; resource-leak-checker.tar`</p>\n\n<p>3.) Run the image. This should open a bash shell, at the home directory of user `fse`.<br>\n&nbsp;&nbsp;&nbsp; `docker run -it msridhar/rlc:latest`</p>\n\n<p>Instructions for how to run the paper&#39;s experiments are inside the container in the `object-construction-checker/fse-2021/README.md` file in the `fse` user&#39;s home directory.</p>", 
  "title": "Artifact for \"Lightweight and Modular Resource Leak Verification\"", 
  "type": "article", 
  "id": "5275304"
}
215
26
views
downloads
All versions This version
Views 21558
Downloads 264
Data volume 65.7 GB11.2 GB
Unique views 10733
Unique downloads 244

Share

Cite as