software . 2021

Artifact for "Lightweight and Modular Resource Leak Verification"

Kellogg, Martin; Shadab, Narges; Sridharan, Manu; Ernst, Michael D.;
Open Access
  • Published: 26 Aug 2021
  • Publisher: Zenodo
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 [] for your OS, if it is not already installed. We have tested the artifact with Docker Desktop on Mac...
Any information missing or wrong?Report an Issue