Enforcing the use of API functions in Linux code

Julia Lawall; Gilles Muller; Nicolas Jean-Michel Palix

doi:10.1145/1509276.1509279

Enforcing the use of API functions in Linux code

Julia Lawall, Gilles Muller, Nicolas Jean-Michel Palix

Department of Computer Science

7 Citations (Scopus)

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.

Original language	English
Title of host publication	Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software
Number of pages	6
Publisher	Association for Computing Machinery
Publication date	2009
Pages	7-12
ISBN (Print)	978-1-60558-450-8
DOIs	https://doi.org/10.1145/1509276.1509279
Publication status	Published - 2009
Event	Workshop on Aspects, components, and patterns for infrastructure software (ACP4IS 2009) - Charlottesville, VA, United States Duration: 2 Mar 2009 → 2 Mar 2009 Conference number: 8

Conference

Conference	Workshop on Aspects, components, and patterns for infrastructure software (ACP4IS 2009)
Number	8
Country/Territory	United States
City	Charlottesville, VA
Period	02/03/2009 → 02/03/2009

Access to Document

10.1145/1509276.1509279

Cite this

Enforcing the use of API functions in Linux code. / Lawall, Julia; Muller, Gilles; Palix, Nicolas Jean-Michel.

Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software. Association for Computing Machinery, 2009. p. 7-12.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Lawall, J, Muller, G & Palix, NJ-M 2009, Enforcing the use of API functions in Linux code. in Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software. Association for Computing Machinery, pp. 7-12, Workshop on Aspects, components, and patterns for infrastructure software (ACP4IS 2009), Charlottesville, VA, United States, 02/03/2009. https://doi.org/10.1145/1509276.1509279

@inproceedings{618c5be05fc811dea8de000ea68e967b,

title = "Enforcing the use of API functions in Linux code",

abstract = "In the Linux kernel source tree, header files typically definemany small functions that have a simple behavior but arecritical to ensure readability, correctness, and maintainability.We have observed, however, that some Linux code does notuse these functions systematically. In this paper, we proposean approach combining rule-based program matching andtransformation with generative programming to generaterules for finding and fixing code fragments that should use thefunctions defined in header files. We illustrate our approachusing an in-depth study based on four typical functionsdefined in the header file include/linux/usb.h.",

author = "Julia Lawall and Gilles Muller and Palix, {Nicolas Jean-Michel}",

year = "2009",

doi = "10.1145/1509276.1509279",

language = "English",

isbn = "978-1-60558-450-8",

pages = "7--12",

booktitle = "Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software",

publisher = "Association for Computing Machinery",

note = "Workshop on Aspects, components, and patterns for infrastructure software (ACP4IS 2009) ; Conference date: 02-03-2009 Through 02-03-2009",

}

TY - GEN

T1 - Enforcing the use of API functions in Linux code

AU - Lawall, Julia

AU - Muller, Gilles

AU - Palix, Nicolas Jean-Michel

N1 - Conference code: 8

PY - 2009

Y1 - 2009

N2 - In the Linux kernel source tree, header files typically definemany small functions that have a simple behavior but arecritical to ensure readability, correctness, and maintainability.We have observed, however, that some Linux code does notuse these functions systematically. In this paper, we proposean approach combining rule-based program matching andtransformation with generative programming to generaterules for finding and fixing code fragments that should use thefunctions defined in header files. We illustrate our approachusing an in-depth study based on four typical functionsdefined in the header file include/linux/usb.h.

AB - In the Linux kernel source tree, header files typically definemany small functions that have a simple behavior but arecritical to ensure readability, correctness, and maintainability.We have observed, however, that some Linux code does notuse these functions systematically. In this paper, we proposean approach combining rule-based program matching andtransformation with generative programming to generaterules for finding and fixing code fragments that should use thefunctions defined in header files. We illustrate our approachusing an in-depth study based on four typical functionsdefined in the header file include/linux/usb.h.

U2 - 10.1145/1509276.1509279

DO - 10.1145/1509276.1509279

M3 - Article in proceedings

SN - 978-1-60558-450-8

SP - 7

EP - 12

BT - Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software

PB - Association for Computing Machinery

T2 - Workshop on Aspects, components, and patterns for infrastructure software (ACP4IS 2009)

Y2 - 2 March 2009 through 2 March 2009

ER -

Enforcing the use of API functions in Linux code

Abstract

Conference

Access to Document

Fingerprint

Cite this