WG211/M7Lawall
From WG 2.11
Enforcing the Use of API Functions in Linux Code
Julia Lawall
DIKU
In the Linux kernel source tree, header files typically define many small functions that have a simple behavior but are critical to ensure readability, correctness, and maintainability. We have observed, however, that some Linux code does not use these functions systematically. In this work, we propose an approach combining rule-based program matching and transformation with generative programming to generate rules for finding and fixing code fragments that should use the functions defined in header files. We illustrate our approach using an in-depth study based on four typical functions defined in the header file include/linux/usb.h.
(Joint work with Gilles Muller and Nicolas Palix)
- Lawall-wg09.pdf : Slides
