1 // SPDX-License-Identifier: GPL-2.0-only
2 /// This semantic patch looks for kmalloc etc
3 /// NULL check. It only gives a report in the
4 /// error handling code later in the function,
5 /// in determining what the error handling cod
6 /// should be.
7 ///
8 // Confidence: High
9 // Copyright: (C) 2010 Nicolas Palix, DIKU.
10 // Copyright: (C) 2010 Julia Lawall, DIKU.
11 // Copyright: (C) 2010 Gilles Muller, INRIA/Li
12 // URL: https://coccinelle.gitlabpages.inria.f
13 // Comments:
14 // Options: --no-includes --include-headers
15
16 virtual context
17 virtual org
18 virtual report
19
20 @withtest@
21 expression x;
22 position p;
23 identifier f,fld;
24 @@
25
26 x@p = f(...);
27 ... when != x->fld
28 \(x == NULL \| x != NULL\)
29
30 @fixed depends on context && !org && !report@
31 expression x,x1;
32 position p1 != withtest.p;
33 statement S;
34 position any withtest.p;
35 identifier f;
36 @@
37
38 *x@p1 = \(kmalloc\|kzalloc\|kcalloc\)(...);
39 ...
40 *x1@p = f(...);
41 if (!x1) S
42
43 // -------------------------------------------
44
45 @rfixed depends on (org || report) && !context
46 expression x,x1;
47 position p1 != withtest.p;
48 position p2;
49 statement S;
50 position any withtest.p;
51 identifier f;
52 @@
53
54 x@p1 = \(kmalloc\|kzalloc\|kcalloc\)(...);
55 ...
56 x1@p = f@p2(...);
57 if (!x1) S
58
59 @script:python depends on org@
60 p1 << rfixed.p1;
61 p2 << rfixed.p2;
62 @@
63
64 cocci.print_main("alloc call",p1)
65 cocci.print_secs("possible model",p2)
66
67 @script:python depends on report@
68 p1 << rfixed.p1;
69 p2 << rfixed.p2;
70 @@
71
72 msg = "alloc with no test, possible model on l
73 coccilib.report.print_report(p1[0],msg)
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.