Messages in this thread | | | From | Nicolas Palix <> | Subject | [PATCH 0/7] Add some checks to be used with Coccinelle | Date | Sun, 6 Jun 2010 17:15:00 +0200 |
| |
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@diku.dk> Signed-off-by: Julia Lawall <julia@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
| |