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.


BibTeX Export

@software{kellogg_martin_2021_4902322,
  author       = {Kellogg, Martin and
                  Shadab, Narges and
                  Sridharan, Manu and
                  Ernst, Michael D.},
  title        = {{Artifact for "Lightweight and Modular Resource 
                   Leak Verification"}},
  month        = jun,
  year         = 2021,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4902322},
  url          = {https://doi.org/10.5281/zenodo.4902322}
}
225
27
views
downloads
All versions This version
Views 22570
Downloads 2715
Data volume 68.5 GB37.2 GB
Unique views 11550
Unique downloads 2513

Share

Cite as