summaryrefslogtreecommitdiff
path: root/ANDROID_3.4.5/scripts/coccinelle/api/kstrdup.cocci
diff options
context:
space:
mode:
Diffstat (limited to 'ANDROID_3.4.5/scripts/coccinelle/api/kstrdup.cocci')
-rw-r--r--ANDROID_3.4.5/scripts/coccinelle/api/kstrdup.cocci104
1 files changed, 0 insertions, 104 deletions
diff --git a/ANDROID_3.4.5/scripts/coccinelle/api/kstrdup.cocci b/ANDROID_3.4.5/scripts/coccinelle/api/kstrdup.cocci
deleted file mode 100644
index 07a74b2c..00000000
--- a/ANDROID_3.4.5/scripts/coccinelle/api/kstrdup.cocci
+++ /dev/null
@@ -1,104 +0,0 @@
-/// Use kstrdup 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
-
-@depends on patch@
-expression from,to;
-expression flag,E1,E2;
-statement S;
-@@
-
-- to = kmalloc(strlen(from) + 1,flag);
-+ to = kstrdup(from, flag);
- ... when != \(from = E1 \| to = E1 \)
- if (to==NULL || ...) S
- ... when != \(from = E2 \| to = E2 \)
-- strcpy(to, from);
-
-@depends on patch@
-expression x,from,to;
-expression flag,E1,E2,E3;
-statement S;
-@@
-
-- x = strlen(from) + 1;
- ... when != \( x = E1 \| from = E1 \)
-- to = \(kmalloc\|kzalloc\)(x,flag);
-+ to = kstrdup(from, flag);
- ... when != \(x = E2 \| from = E2 \| to = E2 \)
- if (to==NULL || ...) S
- ... when != \(x = E3 \| from = E3 \| to = E3 \)
-- memcpy(to, from, x);
-
-// ---------------------------------------------------------------------
-
-@r1 depends on !patch exists@
-expression from,to;
-expression flag,E1,E2;
-statement S;
-position p1,p2;
-@@
-
-* to = kmalloc@p1(strlen(from) + 1,flag);
- ... when != \(from = E1 \| to = E1 \)
- if (to==NULL || ...) S
- ... when != \(from = E2 \| to = E2 \)
-* strcpy@p2(to, from);
-
-@r2 depends on !patch exists@
-expression x,from,to;
-expression flag,E1,E2,E3;
-statement S;
-position p1,p2;
-@@
-
-* x = strlen(from) + 1;
- ... when != \( x = E1 \| from = E1 \)
-* to = \(kmalloc@p1\|kzalloc@p2\)(x,flag);
- ... when != \(x = E2 \| from = E2 \| to = E2 \)
- if (to==NULL || ...) S
- ... when != \(x = E3 \| from = E3 \| to = E3 \)
-* memcpy@p2(to, from, x);
-
-@script:python depends on org@
-p1 << r1.p1;
-p2 << r1.p2;
-@@
-
-cocci.print_main("WARNING opportunity for kstrdep",p1)
-cocci.print_secs("strcpy",p2)
-
-@script:python depends on org@
-p1 << r2.p1;
-p2 << r2.p2;
-@@
-
-cocci.print_main("WARNING opportunity for kstrdep",p1)
-cocci.print_secs("memcpy",p2)
-
-@script:python depends on report@
-p1 << r1.p1;
-p2 << r1.p2;
-@@
-
-msg = "WARNING opportunity for kstrdep (strcpy on line %s)" % (p2[0].line)
-coccilib.report.print_report(p1[0], msg)
-
-@script:python depends on report@
-p1 << r2.p1;
-p2 << r2.p2;
-@@
-
-msg = "WARNING opportunity for kstrdep (memcpy on line %s)" % (p2[0].line)
-coccilib.report.print_report(p1[0], msg)