4th Coccinelle workshop (Copenhagen, Jan 11)

Julia Lawall <julia@diku.dk>
Sat, 13 Nov 2010 07:48:35 +0100 (CET)

          From comp.compilers

Related articles
4th Coccinelle workshop (Copenhagen, Jan 11) julia@diku.dk (Julia Lawall) (2010-11-13)
| List of all articles for this month |

From: Julia Lawall <julia@diku.dk>
Newsgroups: comp.compilers
Date: Sat, 13 Nov 2010 07:48:35 +0100 (CET)
Organization: Compilers Central
Keywords: conference, tools
Posted-Date: 14 Nov 2010 00:24:35 EST

4th Coccinelle Workshop
January 26, 2011
DIKU, University of Copenhagen, room 3-1-25
http://coccinelle.lip6.fr/


Coccinelle is a program matching and transformation engine 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.


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. It should be
of interest to anyone who is responsible for maintaining a large code
base. 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.


The day will consist of presentations about Coccinelle and associated
tools, as well as a lab session, interspersed with presentations of more
advanced topics. Participants are requested to bring laptops on which
they can install Coccinelle. Linux is preferred, however, Coccinelle is
also usable under Windows, Mac, and BSD variants.


To register for the workshop, please contact Julia Lawall (julia at diku
dot dk). There is no charge for the workshop, and lunch will be provided.



Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.