http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM10LawallWG211/M10Lawall - Revision history2026-04-05T19:51:44ZRevision history for this page on the wikiMediaWiki 1.43.5http://mw.hh.se/wg211/index.php?title=WG211/M10Lawall&diff=47&oldid=prevAdmin: 1 revision2011-12-12T10:06:24Z<p>1 revision</p>
<p><b>New page</b></p><div>[[Category:WG211]]<br />
<br />
<br />
<br />
'''Finding Resource-Release Omission Faults in Linux''' by Julia Lawall (Joint work with Suman Saha and Gilles Muller, accepted at PLOS 2011)<br />
<br />
The management of the releasing of allocated resources is a continual <br />problem in ensuring the robustness of systems code. Missing <br />resource-releasing operations lead to memory leaks and deadlocks. A <br />number of approaches have been proposed to detect such problems, but they <br />often have a high rate of false positives, or focus only on commonly used <br />functions. In this paper we observe that resource-releasing operations are <br />often found in error-handling code, and that the choice of <br />resource-releasing operation may depend on the context in which it is to <br />be used. We propose an approach to finding resource-release omission <br />faults that takes into account these issues. We use our approach to find <br />over 100 faults in the drivers directory of Linux 2.6.34, with a false <br />positive rate of only 16%, well below the 30% that has been found to be <br />acceptable to developers.</div>Admin