Lightweight and modular resource leak verification

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

Abstract

A resource leak occurs when a program allocates a resource, such as a socket or file handle, but fails to deallocate it. Resource leaks cause resource starvation, slowdowns, and crashes. Previous techniques to prevent resource leaks are either unsound, imprecise, inapplicable to existing code, slow, or a combination of these.

BibTeX

@inproceedings{Kellogg-al:FSE21,
  author    = {Martin Kellogg and
               Narges Shadab and
               Manu Sridharan and
               Michael D. Ernst},
  title     = {Lightweight and modular resource leak verification},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {181--192},
  publisher = {{ACM}},
  year      = {2021},
}

Lightweight and modular resource leak verification

Abstract

Related papers