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.
- 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¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:c348e85de6ff · see in the full table