Write a Blog >>
ESEC/FSE 2021
Thu 19 - Sat 28 August 2021 Clowdr Platform
Thu 26 Aug 2021 16:00 - 16:10 - Dependability—Dependability Chair(s): Eunsuk Kang
Fri 27 Aug 2021 04:00 - 04:10 - Dependability—Dependability Chair(s): Eunsuk Kang

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.

Static detection of resource leaks requires checking that de-allocation methods are always invoked on relevant objects before they become unreachable. Our key insight is that leak detection can be reduced to an accumulation problem, a class of typestate problems amenable to sound and modular checking without the need for a heavyweight, whole-program alias analysis. The precision of an accumulation analysis can be improved by computing targeted aliasing information, and we augmented our baseline checker with three such novel techniques: a lightweight ownership transfer system; a specialized resource alias analysis; and a system to create a fresh obligation when a non-final resource field is updated.

Our approach occupies a unique slice of the design space: it is sound and runs relatively quickly (taking minutes on programs that a state-of-the-art approach took hours to analyze). We implemented our techniques for Java in an open-source tool called the Resource Leak Checker. The Resource Leak Checker revealed 49 real resource leaks in widely-deployed software. It scales well, has a manageable false positive rate (comparable to the high-confidence resource leak analysis built into the Eclipse IDE), and imposes only a small annotation burden (1/1500 LoC) for developers.

Thu 26 Aug

Displayed time zone: Athens change

16:00 - 17:00
Dependability—DependabilityIdeas, Visions and Reflections / Research Papers +12h
Chair(s): Eunsuk Kang Carnegie Mellon University
16:00
10m
Paper
Lightweight and Modular Resource Leak VerificationArtifacts FunctionalArtifacts Available
Research Papers
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
DOI
16:10
10m
Paper
JSISOLATE: Lightweight In-Browser JavaScript IsolationArtifacts Available
Research Papers
Mingxue Zhang Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong
DOI
16:20
5m
Paper
Software Robustness: A Survey, a Theory, and Prospects
Ideas, Visions and Reflections
Justyna Petke University College London, David Clark University College London, William B. Langdon University College London
DOI
16:25
5m
Paper
Health of Smart Ecosystems
Ideas, Visions and Reflections
Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs
DOI
16:30
30m
Live Q&A
Q&A (Dependability—Dependability)
Research Papers

Fri 27 Aug

Displayed time zone: Athens change

04:00 - 05:00
Dependability—DependabilityIdeas, Visions and Reflections / Research Papers
Chair(s): Eunsuk Kang Carnegie Mellon University
04:00
10m
Paper
Lightweight and Modular Resource Leak VerificationArtifacts FunctionalArtifacts Available
Research Papers
Martin Kellogg University of Washington, Narges Shadab University of California at Riverside, Manu Sridharan University of California at Riverside, Michael D. Ernst University of Washington
DOI
04:10
10m
Paper
JSISOLATE: Lightweight In-Browser JavaScript IsolationArtifacts Available
Research Papers
Mingxue Zhang Chinese University of Hong Kong, Wei Meng Chinese University of Hong Kong
DOI
04:20
5m
Paper
Software Robustness: A Survey, a Theory, and Prospects
Ideas, Visions and Reflections
Justyna Petke University College London, David Clark University College London, William B. Langdon University College London
DOI
04:25
5m
Paper
Health of Smart Ecosystems
Ideas, Visions and Reflections
Noura El Moussa USI Lugano; Schaffhausen Institute of Technology, Davide Molinelli USI Lugano; Schaffhausen Institute of Technology, Mauro Pezze USI Lugano; Schaffhausen Institute of Technology, Martin Tappler TU Graz; Silicon Austria Labs
DOI
04:30
30m
Live Q&A
Q&A (Dependability—Dependability)
Research Papers