Enforcing the use of API functions in linux code

Authors:
Julia L. Lawall;Gilles Muller;Nicolas Palix
Affiliations:
University of Copenhagen, Copenhagen, Denmark;EMN/INRIA-Regal, Nantes and Paris, France;University of Copenhagen, Copenhagen, Denmark
Venue:
Proceedings of the 8th workshop on Aspects, components, and patterns for infrastructure software
Year:
2009

Citing 8
Cited 2

Bugs as deviant behavior: a general approach to inferring errors in systems code

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
PR-Miner: automatically extracting implicit programming rules and detecting violations in large software code

Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering
Thorough static analysis of device drivers

Proceedings of the 1st ACM SIGOPS/EuroSys European Conference on Computer Systems 2006
Path-Sensitive Inference of Function Precedence Protocols

ICSE '07 Proceedings of the 29th international conference on Software Engineering
Checking system rules using system-specific, programmer-written compiler extensions

OSDI'00 Proceedings of the 4th conference on Symposium on Operating System Design & Implementation - Volume 4
An overview of the saturn project

PASTE '07 Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Documenting and automating collateral evolutions in linux device drivers

Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
A foundation for flow-based program matching: using temporal logic and model checking

Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Tracking code patterns over multiple software versions with Herodotos

Proceedings of the 9th International Conference on Aspect-Oriented Software Development
A graph-based approach to API usage adaptation

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Quantified Score

Hi-index	0.00

Visualization

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.