[Cocci] [PATCH 0/7] Add some checks to be used with Coccinelle

[Nicolas Palix]

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 at diku.dk>
Signed-off-by: Julia Lawall <julia at 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