Software Open Access

Artifact for "Lightweight and Modular Resource Leak Verification"

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


Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
  <dc:creator>Kellogg, Martin</dc:creator>
  <dc:creator>Shadab, Narges</dc:creator>
  <dc:creator>Sridharan, Manu</dc:creator>
  <dc:creator>Ernst, Michael D.</dc:creator>
  <dc:date>2021-08-26</dc:date>
  <dc:description>This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweight and Modular Resource Leak Verification".  Please download the latest 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 this version of the paper, which contains a minor correction in Table 3 compared to the originally-published version.

To run the image,

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.

1.) Unzip the provided Docker image.
`gunzip -c path/to/resource-leak-checker.tar.gz &gt; resource-leak-checker.tar`

2.) Load it into Docker.
    `docker load &lt; resource-leak-checker.tar`

3.) Run the image. This should open a bash shell, at the home directory of user `fse`.
    `docker run -it msridhar/rlc:latest`

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.</dc:description>
  <dc:identifier>https://zenodo.org/record/5275304</dc:identifier>
  <dc:identifier>10.5281/zenodo.5275304</dc:identifier>
  <dc:identifier>oai:zenodo.org:5275304</dc:identifier>
  <dc:relation>doi:10.5281/zenodo.4902321</dc:relation>
  <dc:rights>info:eu-repo/semantics/openAccess</dc:rights>
  <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
  <dc:title>Artifact for "Lightweight and Modular Resource Leak Verification"</dc:title>
  <dc:type>info:eu-repo/semantics/other</dc:type>
  <dc:type>software</dc:type>
</oai_dc:dc>
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