Coccinelle: reducing the barriers to modularization in a large C code base - Archive ouverte HAL
Communication Dans Un Congrès Année : 2014

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

Julia L. Lawall
Well Honed Infrastructure Software for Programming Environments and Runtimes

Résumé

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.

Domaines

Système d'exploitation [cs.OS]

Julia Lawall  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01001894

Soumis le : jeudi 5 juin 2014-11:07:05

Dernière modification le : mardi 14 mai 2024-15:18:13

Fichier non déposé

Dates et versions

hal-01001894 , version 1 (05-06-2014)

Identifiants

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UPMC CNRS INRIA LIP6 INRIA2 SORBONNE-UNIVERSITE SU-SCIENCES
105 Consultations
0 Téléchargements

Altmetric

Partager

More