Master 2013 2014
Stages de la spécialité SAR
Better Linux with Coccinelle

Site :Coccinelle
Lieu :Laboratoire d'Informatique de Paris. 4, place Jussieu 75005 Paris
Encadrant : Julia Lawall
Dates :01/04/2014 au 30/09/2014
Rémunération :Environ 400 euros/mois
Mots-clés : Parcours SAR autre qu’ATIAM, rech./prof.


Coccinelle is a program matching and transformation tool for C code that has been developed over the last 7 years by researchers in the Regal group. Coccinelle has been used in past for finding bugs in Linux and performing evolutions in the Linux source code. Coccinelle scripts are part of the Linux source distribution, and are used by Linux developers on a regular basis.

The goal of this internship is to use Coccinelle in the context of the development of the Linux kernel. The intern will have the opportunity to contribute to Linux intensively over the project period, including contributing new scripts to the Linux kernel source distribution. The internship will provide familiarity with Linux code, an understanding of the kinds of problems that occur in real-world source code, and experience with interacting with professional developers in an open source development environment.

A possible concrete project is to replace the use of unmanaged resources by the use of managed resources across the kernel source code, which should lead to a major improvement in robustness. Once the intern is familiar with Coccinelle and the process of interacting with the Linux developer community, the intern may propose other issues to consider, depending on personal interest and the kinds of problems that are found in the source code.

The intern should be familiar with C or C++ programming, and should have experience in studying code written by others. No previous experience with Coccinelle or Linux source code is required.


Yoann Padioleau, Julia L. Lawall, RenĂ© Rydhof Hansen, Gilles Muller : Documenting and automating collateral evolutions in Linux device drivers. EuroSys 2008 : 247-260