Lightweight and modular resource leak verification.¶
Kellogg, M., Shadab, N., Sridharan, M., & Ernst, M. D. (2021). Lightweight and modular resource leak verification. Proceedings of the 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), 181-192.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Primes¶
- Antagonist
- A structurally parallel applied instance is software resource-handle hoarding turned to defence or read as a fault: a process holding a database connection or mutex it acquired but does no work with denies others access while the handle is recognised as held
This sourceDefines a resource leak as a finite system resource (file handle, database connection, socket, lock) acquired but not released, holding it against other users — the software instance of resource-handle hoarding.
Supported in partVerified against the work's full text
Defines a resource leak as a finite resource such as a database connection that is never disposed of, and says leaks cause resource starvation, slowdowns and crashes.
“A resource leak occurs when some finite resource managed by the programmer is not explicitly disposed of. ... a file descriptor, a socket, or a data- base connection.”
- A structurally parallel applied instance is software resource-handle hoarding turned to defence or read as a fault: a process holding a database connection or mutex it acquired but does no work with denies others access while the handle is recognised as held
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Read against the text for 1 of 1 citation: 1 supported in part. Each verdict is shown under its citation below, with what in the work backs the sentence.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:c348e85de6ff · see in the full table