Loading...
1// SPDX-License-Identifier: GPL-2.0-only
2/// Remove casting the values returned by memory allocation functions
3/// like kmalloc, kzalloc, kmem_cache_alloc, kmem_cache_zalloc etc.
4///
5//# This makes an effort to find cases of casting of values returned by
6//# kmalloc, kzalloc, kcalloc, kmem_cache_alloc, kmem_cache_zalloc,
7//# kmem_cache_alloc_node, kmalloc_node and kzalloc_node and removes
8//# the casting as it is not required. The result in the patch case may
9//# need some reformatting.
10//
11// Confidence: High
12// Copyright: (C) 2014 Himangi Saraogi
13// Copyright: (C) 2017 Himanshu Jha
14// Comments:
15// Options: --no-includes --include-headers
16//
17
18virtual context
19virtual patch
20virtual org
21virtual report
22
23@initialize:python@
24@@
25import re
26pattern = '__'
27m = re.compile(pattern)
28
29@r1 depends on context || patch@
30type T;
31@@
32
33 (T *)
34 \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|
35 kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\|
36 dma_alloc_coherent\|devm_kmalloc\|devm_kzalloc\|
37 kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\|
38 pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\|
39 kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...)
40
41//----------------------------------------------------------
42// For context mode
43//----------------------------------------------------------
44
45@script:python depends on context@
46t << r1.T;
47@@
48
49if m.search(t) != None:
50 cocci.include_match(False)
51
52@depends on context && r1@
53type r1.T;
54@@
55
56* (T *)
57 \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|
58 kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\|
59 dma_alloc_coherent\|devm_kmalloc\|devm_kzalloc\|
60 kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\|
61 pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\|
62 kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...)
63
64//----------------------------------------------------------
65// For patch mode
66//----------------------------------------------------------
67
68@script:python depends on patch@
69t << r1.T;
70@@
71
72if m.search(t) != None:
73 cocci.include_match(False)
74
75@depends on patch && r1@
76type r1.T;
77@@
78
79- (T *)
80 \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|
81 kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\|
82 dma_alloc_coherent\|devm_kmalloc\|devm_kzalloc\|
83 kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\|
84 pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\|
85 kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...)
86
87//----------------------------------------------------------
88// For org and report mode
89//----------------------------------------------------------
90
91@r2 depends on org || report@
92type T;
93position p;
94@@
95
96 (T@p *)
97 \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|
98 kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\|
99 dma_alloc_coherent\|devm_kmalloc\|devm_kzalloc\|
100 kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\|
101 pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\|
102 kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...)
103
104@script:python depends on org@
105p << r2.p;
106t << r2.T;
107@@
108
109if m.search(t) != None:
110 cocci.include_match(False)
111else:
112 coccilib.org.print_safe_todo(p[0], t)
113
114@script:python depends on report@
115p << r2.p;
116t << r2.T;
117@@
118
119if m.search(t) != None:
120 cocci.include_match(False)
121else:
122 msg="WARNING: casting value returned by memory allocation function to (%s *) is useless." % (t)
123 coccilib.report.print_report(p[0], msg)
1/// Remove casting the values returned by memory allocation functions
2/// like kmalloc, kzalloc, kmem_cache_alloc, kmem_cache_zalloc etc.
3///
4//# This makes an effort to find cases of casting of values returned by
5//# kmalloc, kzalloc, kcalloc, kmem_cache_alloc, kmem_cache_zalloc,
6//# kmem_cache_alloc_node, kmalloc_node and kzalloc_node and removes
7//# the casting as it is not required. The result in the patch case may
8//# need some reformatting.
9//
10// Confidence: High
11// Copyright: (C) 2014 Himangi Saraogi GPLv2.
12// Copyright: (C) 2017 Himanshu Jha GPLv2.
13// Comments:
14// Options: --no-includes --include-headers
15//
16
17virtual context
18virtual patch
19virtual org
20virtual report
21
22@initialize:python@
23@@
24import re
25pattern = '__'
26m = re.compile(pattern)
27
28@r1 depends on context || patch@
29type T;
30@@
31
32 (T *)
33 \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|
34 kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\|
35 dma_alloc_coherent\|dma_zalloc_coherent\|devm_kmalloc\|devm_kzalloc\|
36 kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\|
37 pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\|
38 kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...)
39
40//----------------------------------------------------------
41// For context mode
42//----------------------------------------------------------
43
44@script:python depends on context@
45t << r1.T;
46@@
47
48if m.search(t) != None:
49 cocci.include_match(False)
50
51@depends on context && r1@
52type r1.T;
53@@
54
55* (T *)
56 \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|
57 kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\|
58 dma_alloc_coherent\|dma_zalloc_coherent\|devm_kmalloc\|devm_kzalloc\|
59 kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\|
60 pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\|
61 kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...)
62
63//----------------------------------------------------------
64// For patch mode
65//----------------------------------------------------------
66
67@script:python depends on patch@
68t << r1.T;
69@@
70
71if m.search(t) != None:
72 cocci.include_match(False)
73
74@depends on patch && r1@
75type r1.T;
76@@
77
78- (T *)
79 \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|
80 kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\|
81 dma_alloc_coherent\|dma_zalloc_coherent\|devm_kmalloc\|devm_kzalloc\|
82 kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\|
83 pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\|
84 kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...)
85
86//----------------------------------------------------------
87// For org and report mode
88//----------------------------------------------------------
89
90@r2 depends on org || report@
91type T;
92position p;
93@@
94
95 (T@p *)
96 \(kmalloc\|kzalloc\|kcalloc\|kmem_cache_alloc\|kmem_cache_zalloc\|
97 kmem_cache_alloc_node\|kmalloc_node\|kzalloc_node\|vmalloc\|vzalloc\|
98 dma_alloc_coherent\|dma_zalloc_coherent\|devm_kmalloc\|devm_kzalloc\|
99 kvmalloc\|kvzalloc\|kvmalloc_node\|kvzalloc_node\|pci_alloc_consistent\|
100 pci_zalloc_consistent\|kmem_alloc\|kmem_zalloc\|kmem_zone_alloc\|
101 kmem_zone_zalloc\|vmalloc_node\|vzalloc_node\)(...)
102
103@script:python depends on org@
104p << r2.p;
105t << r2.T;
106@@
107
108if m.search(t) != None:
109 cocci.include_match(False)
110else:
111 coccilib.org.print_safe_todo(p[0], t)
112
113@script:python depends on report@
114p << r2.p;
115t << r2.T;
116@@
117
118if m.search(t) != None:
119 cocci.include_match(False)
120else:
121 msg="WARNING: casting value returned by memory allocation function to (%s *) is useless." % (t)
122 coccilib.report.print_report(p[0], msg)