http://mw.hh.se/wg211/index.php?action=history&feed=atom&title=WG211%2FM7LawallWG211/M7Lawall - Revision history2026-04-05T20:58:38ZRevision history for this page on the wikiMediaWiki 1.43.5http://mw.hh.se/wg211/index.php?title=WG211/M7Lawall&diff=233&oldid=prevAdmin: 1 revision2011-12-12T10:06:27Z<p>1 revision</p>
<p><b>New page</b></p><div>[[Category:WG211]]<br />
<br />
<br />
<h1>Enforcing the Use of API Functions in Linux Code</h1><br />
<br />
<h3>Julia Lawall</h3><br />
DIKU<br />
<br />
In the Linux kernel source tree, header files typically define many small<br />
functions that have a simple behavior but are critical to ensure<br />
readability, correctness, and maintainability. We have observed, however,<br />
that some Linux code does not use these functions systematically. In this<br />
work, we propose an approach combining rule-based program matching and<br />
transformation with generative programming to generate rules for finding<br />
and fixing code fragments that should use the functions defined in header<br />
files. We illustrate our approach using an in-depth study based on four<br />
typical functions defined in the header file include/linux/usb.h.<br />
<br />
(Joint work with Gilles Muller and Nicolas Palix)<br />
<br />
* [[Media:Lawall-wg09.pdf | Lawall-wg09.pdf ]]: Slides<br />
<br />
==File Attachments== <br />
<br />
*[[Media:Lawall-wg09.pdf | Lawall-wg09.pdf]]</div>Admin