Messages in this thread | | | From | Nicolas Palix <> | Subject | [PATCH 0/4] Add a Coccinelle front-end script | Date | Mon, 10 May 2010 18:24:23 +0200 |
| |
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
| |