Prev: [PATCH 6/7] Add scripts/coccinelle/err_cast.cocci
Next: [PATCH 5/7] Add scripts/coccinelle/resource_size.cocci
From: Nicolas Palix on 6 Jun 2010 11:20
This patch series adds a front-end to use Coccinelle. It also
includes a documentation file describing how to use the new
'coccicheck' target. Finally, some SmPL examples are provided.

Signed-off-by: Nicolas Palix <npalix(a)diku.dk>
Signed-off-by: Julia Lawall <julia(a)diku.dk>

Nicolas Palix (7):
Add a target to use the Coccinelle checker
Add Documentation/coccinelle.txt
Add scripts/coccinelle/alloc/drop_kmalloc_cast.cocci
Add scripts/coccinelle/alloc/kzalloc-simple.cocci
Add scripts/coccinelle/resource_size.cocci
Add scripts/coccinelle/err_cast.cocci
Add scripts/coccinelle/deref_null.cocci

Documentation/coccinelle.txt | 258 +++++++++++++++++++
MAINTAINERS | 10 +
Makefile | 10 +-
scripts/Makefile.help | 3 +
scripts/coccicheck | 54 ++++
scripts/coccinelle/alloc/drop_kmalloc_cast.cocci | 67 +++++
scripts/coccinelle/alloc/kzalloc-simple.cocci | 82 ++++++
scripts/coccinelle/deref_null.cocci | 293 ++++++++++++++++++++++
scripts/coccinelle/err_cast.cocci | 56 ++++
scripts/coccinelle/resource_size.cocci | 93 +++++++
10 files changed, 923 insertions(+), 3 deletions(-)
create mode 100644 Documentation/coccinelle.txt
create mode 100644 scripts/Makefile.help
create mode 100755 scripts/coccicheck
create mode 100644 scripts/coccinelle/alloc/drop_kmalloc_cast.cocci
create mode 100644 scripts/coccinelle/alloc/kzalloc-simple.cocci
create mode 100644 scripts/coccinelle/deref_null.cocci
create mode 100644 scripts/coccinelle/err_cast.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(a)vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
 | 
Pages: 1
Prev: [PATCH 6/7] Add scripts/coccinelle/err_cast.cocci
Next: [PATCH 5/7] Add scripts/coccinelle/resource_size.cocci