summaryrefslogtreecommitdiff
path: root/ANDROID_3.4.5/scripts/coccinelle/api/memdup.cocci
diff options
context:
space:
mode:
Diffstat (limited to 'ANDROID_3.4.5/scripts/coccinelle/api/memdup.cocci')
-rw-r--r--ANDROID_3.4.5/scripts/coccinelle/api/memdup.cocci66
1 files changed, 0 insertions, 66 deletions
diff --git a/ANDROID_3.4.5/scripts/coccinelle/api/memdup.cocci b/ANDROID_3.4.5/scripts/coccinelle/api/memdup.cocci
deleted file mode 100644
index 4dceab6d..00000000
--- a/ANDROID_3.4.5/scripts/coccinelle/api/memdup.cocci
+++ /dev/null
@@ -1,66 +0,0 @@
-/// Use kmemdup rather than duplicating its implementation
-///
-// Confidence: High
-// Copyright: (C) 2010-2012 Nicolas Palix. GPLv2.
-// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. GPLv2.
-// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2.
-// URL: http://coccinelle.lip6.fr/
-// Comments:
-// Options: -no_includes -include_headers
-
-virtual patch
-virtual context
-virtual org
-virtual report
-
-@r1@
-expression from,to;
-expression flag;
-position p;
-@@
-
- to = \(kmalloc@p\|kzalloc@p\)(strlen(from) + 1,flag);
-
-@r2@
-expression x,from,to;
-expression flag,E1;
-position p;
-@@
-
- x = strlen(from) + 1;
- ... when != \( x = E1 \| from = E1 \)
- to = \(kmalloc@p\|kzalloc@p\)(x,flag);
-
-@depends on patch@
-expression from,to,size,flag;
-position p != {r1.p,r2.p};
-statement S;
-@@
-
-- to = \(kmalloc@p\|kzalloc@p\)(size,flag);
-+ to = kmemdup(from,size,flag);
- if (to==NULL || ...) S
-- memcpy(to, from, size);
-
-@r depends on !patch@
-expression from,to,size,flag;
-position p != {r1.p,r2.p};
-statement S;
-@@
-
-* to = \(kmalloc@p\|kzalloc@p\)(size,flag);
- to = kmemdup(from,size,flag);
- if (to==NULL || ...) S
-* memcpy(to, from, size);
-
-@script:python depends on org@
-p << r.p;
-@@
-
-coccilib.org.print_todo(p[0], "WARNING opportunity for kmemdep")
-
-@script:python depends on report@
-p << r.p;
-@@
-
-coccilib.report.print_report(p[0], "WARNING opportunity for kmemdep")