mirror of https://lore.kernel.org/lkml/
 help / color / mirror / Atom feed
From: Lars-Peter Clausen <lars@metafoo.de>
To: Julia Lawall <julia@diku.dk>,
	Gilles Muller <Gilles.Muller@lip6.fr>,
	Nicolas Palix <npalix.work@gmail.com>
Cc: <cocci@diku.dk>, <linux-kernel@vger.kernel.org>,
	Lars-Peter Clausen <lars@metafoo.de>
Subject: [PATCH] coccinelle: Add patch to use kcalloc instead of kzalloc for array allocations
Date: Fri, 25 Nov 2011 15:46:08 +0100	[thread overview]
Message-ID: <1322232368-28814-1-git-send-email-lars@metafoo.de> (raw)

This patch adds a coccinelle patch to convert array allocations which use
kzalloc to kcalloc. The advantage of kcalloc is, that will take care of
integer overflows which could result from the multiplication and it is also
nicer to read.

The coccinelle patch does not convert array allocations using kmalloc, since
kcalloc will zero the allocated memory which is considered too much overhead
in some situations.

Signed-off-by: Lars-Peter Clausen <lars@metafoo.de>
---
 scripts/coccinelle/api/alloc/kcalloc.cocci |   59 ++++++++++++++++++++++++++++
 1 files changed, 59 insertions(+), 0 deletions(-)
 create mode 100644 scripts/coccinelle/api/alloc/kcalloc.cocci

diff --git a/scripts/coccinelle/api/alloc/kcalloc.cocci b/scripts/coccinelle/api/alloc/kcalloc.cocci
new file mode 100644
index 0000000..b2a5893
--- /dev/null
+++ b/scripts/coccinelle/api/alloc/kcalloc.cocci
@@ -0,0 +1,59 @@
+///
+/// Use kcalloc instead of kzalloc to allocate array.
+/// The advantage of kcalloc is, that will prevent integer overflows which could
+/// result from the multiplication of number of elements and size and it is also
+/// a bit nicer to read.
+///
+// Confidence: High
+// Options: -no_includes -include_headers
+//
+// Keywords: kzalloc, kcalloc
+// Version min: < 2.6.12 kcalloc
+// Version min:   2.6.14 kzalloc
+//
+
+virtual context
+virtual patch
+virtual org
+virtual report
+
+//----------------------------------------------------------
+//  For patch mode
+//----------------------------------------------------------
+
+@depends on patch@
+expression E;
+expression E2;
+expression gfp;
+expression x;
+@@
+-x = kzalloc(sizeof(E2) * (E), gfp);
++x = kcalloc(E, sizeof(E2), gfp);
+
+//----------------------------------------------------------
+//  For org and report mode
+//----------------------------------------------------------
+
+@r depends on org || report@
+expression E;
+expression E2;
+expression gfp;
+position p;
+expression x;
+@@
+x = kzalloc@p(sizeof(E2) * (E), gfp);
+
+@script:python depends on org@
+p << r.p;
+x << r.x;
+@@
+
+coccilib.org.print_safe_todo(p[0], "%s" % x)
+
+@script:python depends on report@
+p << r.p;
+x << r.x;
+@@
+
+msg="WARNING: kcalloc should be used to allocate an array instead of kzalloc"
+coccilib.report.print_report(p[0], msg)
-- 
1.7.7.1



             reply	other threads:[~2011-11-25 14:45 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-11-25 14:46 Lars-Peter Clausen [this message]
2011-11-29 18:42 ` Thomas Meyer
2011-11-29 19:42   ` Lars-Peter Clausen

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=1322232368-28814-1-git-send-email-lars@metafoo.de \
    --to=lars@metafoo.de \
    --cc=Gilles.Muller@lip6.fr \
    --cc=cocci@diku.dk \
    --cc=julia@diku.dk \
    --cc=linux-kernel@vger.kernel.org \
    --cc=npalix.work@gmail.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox

all inboxes | Powered by JetHome®