[PATCH 0/4] Add a Coccinelle front-end script

From: Nicolas Palix
Date: Mon May 10 2010 - 12:24:49 EST


New targets are added (coccicheck-<mode>) to call the 'coccinelle.sh' front-end
in the 'scripts' directory with the <mode> argument.

Four modes are defined: report, patch, context, and org.

'report' mode generates a list in the following format:
file:line:column-column: message

'patch' mode proposes a generic fix, when possible.

'context' mode highlights lines of interest and their context
in a diff-like style.

'org' mode generates a report in the Org mode format of Emacs.

Three semantic patches, with a low rate of false positives, are also
included. Other semantic patches will be provided later. Note that a
semantic patch does not need to define all four modes. As many semantic
patches may be proposed later, they are organized under sub-directories
of 'scripts/coccinelle/'.

We add a reference to the tool in the proposed changelog because it will
make the changelog easier to understand for someone who is not aware of
the tool.

To apply a single semantic patch, the user can define the COCCI environment
variable which gives the path to the semantic patch.

Nicolas Palix (4):
Add targets to use the Coccinelle checker
Add scripts/coccinelle/drop_kmalloc_cast.cocci
Add scripts/coccinelle/kzalloc-simple.cocci
Add scripts/coccinelle/resource_size.cocci

MAINTAINERS | 10 +++
Makefile | 20 +++++-
scripts/coccinelle.sh | 28 ++++++++
scripts/coccinelle/drop_kmalloc_cast.cocci | 68 ++++++++++++++++++++
scripts/coccinelle/kzalloc-simple.cocci | 83 ++++++++++++++++++++++++
scripts/coccinelle/resource_size.cocci | 94 ++++++++++++++++++++++++++++
6 files changed, 301 insertions(+), 2 deletions(-)
create mode 100755 scripts/coccinelle.sh
create mode 100644 scripts/coccinelle/drop_kmalloc_cast.cocci
create mode 100644 scripts/coccinelle/kzalloc-simple.cocci
create mode 100644 scripts/coccinelle/resource_size.cocci

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/