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.


JSON-LD (schema.org) Export

{
  "description": "<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>", 
  "license": "https://creativecommons.org/licenses/by/4.0/legalcode", 
  "creator": [
    {
      "affiliation": "University of Washington", 
      "@type": "Person", 
      "name": "Kellogg, Martin"
    }, 
    {
      "affiliation": "University of California, Riverside", 
      "@type": "Person", 
      "name": "Shadab, Narges"
    }, 
    {
      "affiliation": "University of California, Riverside", 
      "@type": "Person", 
      "name": "Sridharan, Manu"
    }, 
    {
      "affiliation": "University of Washington", 
      "@type": "Person", 
      "name": "Ernst, Michael D."
    }
  ], 
  "url": "https://zenodo.org/record/4902322", 
  "datePublished": "2021-06-05", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4902322", 
  "@id": "https://doi.org/10.5281/zenodo.4902322", 
  "@type": "SoftwareSourceCode", 
  "name": "Artifact for \"Lightweight and Modular Resource Leak Verification\""
}
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