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.

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <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:description>This upload is a docker image containing the artifact accompanying our ESEC/FSE'21 paper "Lightweight and Modular Resource Leak Verification".

To run the image,

0.) Install Docker following the directions at [] 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:manual-update`</dc:description>
  <dc:title>Artifact for "Lightweight and Modular Resource Leak Verification"</dc:title>
All versions This version
Views 22670
Downloads 2815
Data volume 71.3 GB37.2 GB
Unique views 11650
Unique downloads 2613


Cite as