Skip to Main content Skip to Navigation
Conference papers

Coccinelle: reducing the barriers to modularization in a large C code base

Julia L. Lawall 1
1 Whisper - Well Honed Infrastructure Software for Programming Environments and Runtimes
LIP6 - Laboratoire d'Informatique de Paris 6, Inria Paris-Rocquencourt
Abstract : Coccinelle is a program matching and transformation tool for C code that has been extensively used for bug finding and evolutions in the Linux kernel. In this paper, we show how Coccinelle can be used in maintaining and improving the modularity of software, taking as a case study the introduction of an API providing a form of managed resources into the Linux kernel.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-01001894
Contributor : Julia Lawall <>
Submitted on : Thursday, June 5, 2014 - 11:07:05 AM
Last modification on : Wednesday, January 13, 2021 - 11:54:02 AM

Identifiers

Citation

Julia L. Lawall. Coccinelle: reducing the barriers to modularization in a large C code base. 13th International Conference on Modularity, MODULARITY '14, ACM, Apr 2014, Lugano, Switzerland. pp.5-6, ⟨10.1145/2584469.2584661⟩. ⟨hal-01001894⟩

Share

Metrics

Record views

213