Lightweight and modular resource leak verification
Martin Kellogg, Narges Shadab, Manu Sridharan, Michael D. Ernst · 2021
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.