| From: |
| Nicolas Palix <npalix@diku.dk> |
| To: |
| Andrew Morton <akpm@linux-foundation.org>,
Joe Perches <joe@perches.com>,
"David S. Miller" <davem@davemloft.net>,
Michal Marek <mmarek@suse.cz>, Sam Ravnborg <sam@ravnborg.org>,
Julia Lawall <julia@diku.dk>,
Gilles Muller <Gilles.Muller@lip6.fr>,
Nicolas Palix <npalix@diku.dk>, linux-kernel@vger.kernel.org,
linux-kbuild@vger.kernel.org, cocci@diku.dk |
| Subject: |
| [PATCH 0/4] Add a Coccinelle front-end script |
| Date: |
| Mon, 26 Apr 2010 23:11:15 +0200 |
| Message-ID: |
| <1272316279-12042-1-git-send-email-npalix@diku.dk> |
| Archive-link: |
| Article, Thread
|
New targets are added (coccicheck-<mode>) to call the spatch 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 added.
Other semantic patches will be propose later.
Nicolas Palix (4):
Add targets to use the Coccinelle checker
Add scripts/smpl/drop_kmalloc_cast.cocci
Add scripts/smpl/kzalloc-simple.cocci
Add scripts/smpl/resource_size.cocci
MAINTAINERS | 10 +++
Makefile | 9 +++
scripts/smpl/drop_kmalloc_cast.cocci | 74 +++++++++++++++++++++++++
scripts/smpl/kzalloc-simple.cocci | 88 +++++++++++++++++++++++++++++
scripts/smpl/resource_size.cocci | 101 ++++++++++++++++++++++++++++++++++
scripts/spatch.sh | 14 +++++
6 files changed, 296 insertions(+), 0 deletions(-)
create mode 100644 scripts/smpl/drop_kmalloc_cast.cocci
create mode 100644 scripts/smpl/kzalloc-simple.cocci
create mode 100644 scripts/smpl/resource_size.cocci
create mode 100755 scripts/spatch.sh
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/