Hannover Messe 2024
COOL - Compact OSADL Online Lectures - April 2024 edition
HOT - Heidelberg OSADL Talks 2024 (online event)
OSADL Networking Day 2024 in Heidelberg, Germany
Real Time Linux Workshops
1999 - 2000 - 2001 - 2002 - 2003 - 2004 - 2005 - 2006 - 2007 - 2008 - 2009 - 2010 - 2011 - 2012 - 2013
15th Real Time Linux Workshop, October 28 to 31, 2013 at the Dipartimento Tecnologie Innovative, Scuola Universitaria Professionale della Svizzera Italiana in Lugano-Manno, Switzerland
Announcement - Call for participation (ASCII) - Hotels - Directions - Agenda - Paper Abstracts - Presentations - Registration - Abstract Submission - Sponsors - Gallery
October 28 to 31, 2013
Dipartimento Tecnologie Innovative
Scuola Universitaria Professionale della Svizzera Italiana
Lugano-Manno
Switzerland
What is Coccinelle? - Linux RTOS Howto - Git version control - GPL compliance - openPOWERLINK - Linux kernel analysis - OSADL QA Farm
A Program Matching and Transformation Tool for C Code
by Julia Lawall, Inria/LIP6-Regal
Coccinelle is an open-source scriptable program matching and transformation tool for C code. It can be used for bug finding and for automating program maintenance and evolution. Coccinelle has been used in developing over 1000 patches that have been accepted into the Linux kernel, and Coccinelle scripts are included in the Linux kernel source code. The main novelty of Coccinelle is its use of a patch-like pattern-specification language, that allows scripts to be expressed in a notation that is very close to the structure of the code to be matched and transformed. This feature makes Coccinelle easy to learn and facilitates rapid tool prototyping.
The purpose of this tutorial is to introduce Coccinelle to the real time Linux developer community. The tutorial will consider a number of examples related to bug finding and code evolution, and will include hands-on exercises to allow attendees to interact directly with the tool. A basic knowledge of C code would be useful, but no other background is required. Participants will obtain a working knowledge of Coccinelle and an understanding of the range of problems for which it can be useful.
About Julia Lawall
Julia Lawall is a Senior Researcher at Inria. Her current research focuses on the application of programming-language techniques to improving the robustness of operating systems code. She has been the principal designer and developer of Coccinelle since 2005, and has used Coccinelle in the development of over 1,000 patches that have been accepted into the Linux kernel. She is an associate editor of the journal Higher-Order and Symbolic Computation, a member of the editorial board of the journal Science of Computer Programming, and has served on program committees for both systems and programming languages conferences, including EuroSys, GPCE, ICFP, and POPL.
