lkml.org 
[lkml]   [2010]   [Jun]   [6]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
    /
    From
    Subject[PATCH 0/7] Add some checks to be used with Coccinelle
    Date
    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



    \
     
     \ /
      Last update: 2010-06-06 17:17    [W:0.043 / U:0.464 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site