Conférence de Julia Lawall organisée par le département d'informatique.
Coccinelle is a program matching and transformation tool for C code, founded on the notion of a semantic patch, in which matching and transformation specifications are expressed using a patch-like syntax. Coccinelle has been extensively used for bug finding and evolution in the context of the Linux kernel, and other C software. In this talk, we provide an overview of Coccinelle and its use on Linux code, as well as describing its internal design, based on a novel variant of the temporal logic CTL.
This is joint work with Julien Brunel, Damien Doligez, Rene Rydhof Hansen, and Gilles Muller.
Catégories: Séminaire général du département d'informatique
Mot-clés : recherche scientifique, Langage, syntaxe, information, programmation, ordinateur, sémantique, linux, Programme Coccinelle, innovation
Voir aussi
|
|
Cursus :
Julia Lawall est chargée de recherches à Paris 6. Elle a obtenu son doctorat de l'Université de l'Indiana en 1994.
Ses domaines de recherche sont : le langage de programmation, le génie logiciel empirique et les systèmes d'exploitation. Depuis 2005, elle a mis au point, avec Gilles Muller, le programme Coccinelle.
Cliquer ICI pour fermerDernière mise à jour : 12/02/2015
Tous droits réservés
@ 2011 ENS