Software Open Access

Artifact for "Lightweight and Modular Resource Leak Verification"

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


JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/867d1a2b-e094-43c4-840d-a34653d8e60f/resource-leak-checker.tar.gz"
      }, 
      "checksum": "md5:76055fcaeb00d32fb2a855121201d728", 
      "bucket": "867d1a2b-e094-43c4-840d-a34653d8e60f", 
      "key": "resource-leak-checker.tar.gz", 
      "type": "gz", 
      "size": 2793457485
    }
  ], 
  "owners": [
    53431
  ], 
  "doi": "10.5281/zenodo.5275304", 
  "stats": {
    "version_unique_downloads": 24.0, 
    "unique_views": 33.0, 
    "views": 58.0, 
    "version_views": 215.0, 
    "unique_downloads": 4.0, 
    "version_unique_views": 107.0, 
    "volume": 11173829940.0, 
    "version_downloads": 26.0, 
    "downloads": 4.0, 
    "version_volume": 65734981116.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.5275304", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.4902321", 
    "bucket": "https://zenodo.org/api/files/867d1a2b-e094-43c4-840d-a34653d8e60f", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.4902321.svg", 
    "html": "https://zenodo.org/record/5275304", 
    "latest_html": "https://zenodo.org/record/5275304", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.5275304.svg", 
    "latest": "https://zenodo.org/api/records/5275304"
  }, 
  "conceptdoi": "10.5281/zenodo.4902321", 
  "created": "2021-08-26T21:15:32.427870+00:00", 
  "updated": "2021-09-08T20:13:35.600571+00:00", 
  "conceptrecid": "4902321", 
  "revision": 8, 
  "id": 5275304, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.5275304", 
    "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;.&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>", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "title": "Artifact for \"Lightweight and Modular Resource Leak Verification\"", 
    "relations": {
      "version": [
        {
          "count": 3, 
          "index": 2, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "4902321"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "5275304"
          }
        }
      ]
    }, 
    "publication_date": "2021-08-26", 
    "creators": [
      {
        "affiliation": "University of Washington", 
        "name": "Kellogg, Martin"
      }, 
      {
        "affiliation": "University of California, Riverside", 
        "name": "Shadab, Narges"
      }, 
      {
        "affiliation": "University of California, Riverside", 
        "name": "Sridharan, Manu"
      }, 
      {
        "affiliation": "University of Washington", 
        "name": "Ernst, Michael D."
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.4902321", 
        "relation": "isVersionOf"
      }
    ]
  }
}
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