Coccinelle

*

One Line Summary

Introduction to Coccinelle

Abstract

Coccinelle is a program matching and transformation for C code that has been used in various ways on the Linux kernel. This tutorial will provide an introduction to the use of Coccinelle for making code changes and a discussion of some advanced features.

Tags

development, Coccinelle, kernel APIs

Presentation Materials

slides

Speaker

  • Julia Lawall

    Inria

    Biography

    Julia Lawall is a Senior Researcher at Inria. She is the co-PI and main developer of Coccinelle, a tool for program matching and transformation in C code. Coccinelle has been extensively used for finding bugs and performing source code evolutions in Linux kernel code.