Automating Program Transformation with Coccinelle - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2022

Automating Program Transformation with Coccinelle

Résumé

Coccinelle is a program matching and transformation engine for C code. This paper introduces the use of Coccinelle through a collection of examples targeting evolutions and bug xes in the Linux kernel.

Domaines

Système d'exploitation [cs.OS] Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
paper.pdf (231.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Julia Lawall  : Connectez-vous pour contacter le contributeur

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

Soumis le : mercredi 28 septembre 2022-22:29:50

Dernière modification le : mardi 3 octobre 2023-17:18:04

Télécharger pour visualiser

Dates et versions

hal-03791022 , version 1 (28-09-2022)

Identifiants

  • HAL Id : hal-03791022 , version 1

Citer

Julia Lawall, Gilles Muller. Automating Program Transformation with Coccinelle. 2022 NASA Formal Methods - 14th International Symposium, May 2022, Pasadena, CA, USA, United States. ⟨hal-03791022⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INRIA INRIA2 SORBONNE-UNIVERSITE
31 Consultations
142 Téléchargements

Partager

Gmail Facebook X LinkedIn More