From Leaks to Fixes: Automated Repairs for Resource Leak Warnings

Abstract

Resource leaks are a common and elusive source of bugs that can result in crashes and security vulnerabilities. The most effective technique to identify such leaks during development is static analysis. However, empirical studies show that in addition to leak warnings, developers often need help in the form of automated fix suggestions to correctly repair such leaks. The only existing tool that can suggest resource-leak fixes is the general-purpose tool Footpatch. Footpatch, however, performs poorly at this task; it generates fixes for only 6% of the leaks, out of which only 27% are correct.

BibTeX

@inproceedings{Utture-Palsberg:FSE23,
  author    = {Akshay Utture and
               Jens Palsberg},
  title     = {From Leaks to Fixes: Automated Repairs for Resource Leak Warnings},
  booktitle = {{ESEC/SIGSOFT} {FSE}},
  pages     = {159--171},
  publisher = {{ACM}},
  year      = {2023},
}

From Leaks to Fixes: Automated Repairs for Resource Leak Warnings

Abstract

Related papers