Abstract
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 paper, 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.
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 paper, 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.
Originalsprog | Engelsk |
---|---|
Titel | Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software |
Antal sider | 6 |
Forlag | Association for Computing Machinery |
Publikationsdato | 2009 |
Sider | 7-12 |
ISBN (Trykt) | 978-1-60558-450-8 |
DOI | |
Status | Udgivet - 2009 |
Begivenhed | Workshop on Aspects, components, and patterns for infrastructure software (ACP4IS 2009) - Charlottesville, VA, USA Varighed: 2 mar. 2009 → 2 mar. 2009 Konferencens nummer: 8 |
Konference
Konference | Workshop on Aspects, components, and patterns for infrastructure software (ACP4IS 2009) |
---|---|
Nummer | 8 |
Land/Område | USA |
By | Charlottesville, VA |
Periode | 02/03/2009 → 02/03/2009 |