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.

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 > resource-leak-checker.tar`

2.) Load it into Docker.
    `docker load < 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`

Files (2.5 GB)
Name Size
2.5 GB Download
All versions This version
Views 21569
Downloads 2615
Data volume 65.7 GB37.2 GB
Unique views 10749
Unique downloads 2413


Cite as