User: Password:
|
|
Subscribe / Log in / New account

Coccinelle 0.2.5 released

From:  Julia Lawall <julia-AT-diku.dk>
To:  cocci-AT-diku.dk
Subject:  version 0.2.5 released
Date:  Sun, 3 Apr 2011 15:44:12 +0200 (CEST)
Message-ID:  <Pine.LNX.4.64.1104031543390.8756@pc-004.diku.dk>
Cc:  corbet-AT-lwn.net
Archive-link:  Article

Coccinelle is a tool for matching and transformation of C code.  Coccinelle
is well suited for automating low-level evolutions, such as updating the
use of APIs, and for bug finding.  Examples are available on the Coccinelle
web site (http://coccinelle.lip6.fr/).  A number of bug-finding rules are
also available in the Linux kernel source code (versions since 2.6.36) in
the directory scripts/coccinelle.

Version 0.2.5 of Coccinelle has been released and is available at
http://coccinelle.lip6.fr/download.php.  The most significant change is
that Coccinelle now makes a very minimal attempt to parse C++ code.  We
hope to further improve the support for C++ in the near future.

Some other new features are as follows:

* Support for iteration of a semantic patch over a code base.  This can be
  useful for performing simple interprocedural analyses.  An example is
  found in demos/iteration.cocci.  The specification of the iteration
  process must currently be done in an ocaml script.

* Improved treatment of #endif, __attribute__((...)), #undef, and arrays.

* Added the "field list" metavariable type and the "metavariable"
  metavariable type.  The latter can be used when knowing whether a
  metavariable represents an expression, statement, etc is not necessary
  for parsing the SmPL code.

* Allow transformation on variable declarations declaring multiple
  variables in some cases.  More information about this is available in the
  entry "More that one variable in decl error" in the wiki
  (http://cocci.ekstranet.diku.dk/wiki/doku.php).

The complete set of changes is available at
http://coccinelle.lip6.fr/distrib/changes.html



(Log in to post comments)


Copyright © 2011, Eklektix, Inc.
Comments and public postings are copyrighted by their creators.
Linux is a registered trademark of Linus Torvalds