Coccinelle: synergy between programming language research and the Linux kernel
Julie Lawall, Inria/LIP6
Julie Lawall (Inria/LIP6) will give a talk on novembre, 23, 2017 on "Coccinelle: synergy between programming language research and the Linux kernel".
- Date : 23/11/2017
- Place : Inria, Sophia Antipolis, Amphithéâtre, Kahn Building, 11 a.m.
- Organiser(s) : Comité Colloquium
The Linux kernel underlies all kinds of systems across the computing landscape, from embedded systems to supercomputers. Today, the number of developers contributing to a given Linux kernel version is almost 2000. These range from developers who have many years of experience and work on core parts of the kernel to new developers who contribute a single device driver or bug fix. This volume of contributors and range of experience levels implies that devising means to unambiguously communicate information about kernel properties across the code base is critical.
In this talk, we will highlight one of the tools that we have developed in this direction, Coccinelle. Coccinelle provides a domain-specific, code-based language for describing bug finding rules and evolutions in C code. It has been used in the development of thousands of changes (commits) to the Linux kernel, since 2007. This talk will give an overview of Coccinelle, its impact on the Linux kernel, and the research projects that have been carried out in the Whisper team that it has enabled.