There is a newer version of this record available.

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.4902322", 
  "author": [
    {
      "family": "Kellogg, Martin"
    }, 
    {
      "family": "Shadab, Narges"
    }, 
    {
      "family": "Sridharan, Manu"
    }, 
    {
      "family": "Ernst, Michael D."
    }
  ], 
  "issued": {
    "date-parts": [
      [
        2021, 
        6, 
        5
      ]
    ]
  }, 
  "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;.</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&nbsp;&nbsp;&nbsp; `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:manual-update`</p>", 
  "title": "Artifact for \"Lightweight and Modular Resource Leak Verification\"", 
  "type": "article", 
  "id": "4902322"
}
227
28
views
downloads
All versions This version
Views 22770
Downloads 2815
Data volume 71.3 GB37.2 GB
Unique views 11750
Unique downloads 2613

Share

Cite as