4th Coccinelle Workshop – Københavns Universitet

4th Coccinelle Workshop


Do you want to improve your bug finding capabilities?

Are you responsible for maintaining a large code base? Or do you want to brush up your knowledge about the Coccinelle bug finding tool? 

The purpose of this workshop is to present Coccinelle to new users and to help existing users get more out of their use of the tool. 

The program will consist of presentations about Coccinelle and associated tools, as well as some time for discussions and practical experiments.  Both new users and users with some experience are welcome.

Registration is closed.

Coccinelle is a program matching and transformation tool targeting C code.

Coccinelle can be used to automate code evolutions, such as updating code in response to API changes, and for bug finding.  In particular, in contrast to other bug finding tools, Coccinelle is easily configurable with new bug finding rules, based on a rule language, SmPL, that is very close to C code.  This makes it possible to tailor the evolution or bug finding process to the needs and conventions of a specific software project. Coccinelle has been extensively used in the context of Linux for evolutions and for bug finding.  Types of bugs found include NULL pointer dereferences, double initializations of variables and structure fields, memory leaks, incorrect locking, and bugs related to specific Linux APIs.

Because Coccinelle can also be used for searching for code patterns, without transformation, the workshop should also be of interest to anyone interested in understanding software structure and history. 

Practical information:

There is no charge for the workshop and lunch will be included.  If you would like to attend, please register your participation by December 31, 2010.  It would be helpful to include information about your familiarity with Coccinelle, eg never used, used in simple cases, or advanced.

Workshop organizer: Julia Lawall, DIKU

For more information:

Coccinelle: http://coccinelle.lip6.fr/
The venue: https://www.diku.dk/english/about/guests/