Back to 2015-proposals
Title: Coccinelle for the Working Programmer
Proposer: Julia Lawall
Type: Interactive tutorial
Duration: 90 mins
Description:
Coccinelle is a program matching and transformation tool for C programs
that has been extensively applied to the Linux kernel and is used on a
number of other C code bases. Coccinelle makes it easy to specify software
specific rules for finding bugs and for updating software to use new APIs.
These rules can then be applied automatically across an entire code base.
Over 40 Coccinelle rules are already available in the Linux kernel source
tree. This talk will present the motivations behind Coccinelle, the basics
of how to use the tool, and several real case studies drawn from our work
on the Linux kernel. Coccinelle is available in open source, and is
packaged with a number of widely used Linux distributions (Ubuntu, Debian,
Fedora, Suse, etc).
JJ: Julia is only available on Saturday, April 25.