1 // SPDX-License-Identifier: GPL-2.0-only
2 ///
3 /// Check that kvmalloc'ed memory is freed by
4 /// vmalloc'ed by vfree functions and kvmalloc
5 /// functions.
6 ///
7 // Confidence: High
8 // Copyright: (C) 2020 Denis Efremov ISPRAS
9 // Options: --no-includes --include-headers
10 //
11
12 virtual patch
13 virtual report
14 virtual org
15 virtual context
16
17 @alloc@
18 expression E, E1;
19 position kok, vok;
20 @@
21
22 (
23 if (...) {
24 ...
25 E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\
26 kmalloc_node\|kzalloc_node\|kmalloc_
27 kmalloc_array_node\|kcalloc_node\)(.
28 ...
29 } else {
30 ...
31 E = \(vmalloc\|vzalloc\|vmalloc_user\|vmal
32 vzalloc_node\|vmalloc_exec\|vmalloc_
33 vmalloc_32_user\|__vmalloc\|__vmallo
34 __vmalloc_node\)(...)@vok
35 ...
36 }
37 |
38 E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|k
39 kmalloc_array\|kmalloc_array_node\|kca
40 ... when != E = E1
41 when any
42 if (E == NULL) {
43 ...
44 E = \(vmalloc\|vzalloc\|vmalloc_user\|vmal
45 vzalloc_node\|vmalloc_exec\|vmalloc_
46 vmalloc_32_user\|__vmalloc\|__vmallo
47 __vmalloc_node\)(...)@vok
48 ...
49 }
50 )
51
52 @free@
53 expression E;
54 position fok;
55 @@
56
57 E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc
58 kvmalloc_array\)(...)
59 ...
60 kvfree(E)@fok
61
62 @vfree depends on !patch@
63 expression E;
64 position a != alloc.kok;
65 position f != free.fok;
66 @@
67
68 * E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|k
69 * kzalloc_node\|kmalloc_array\|kmalloc_a
70 * kcalloc_node\)(...)@a
71 ... when != if (...) { ... E = \(vmalloc\|vz
72 when != is_vmalloc_addr(E)
73 when any
74 * \(vfree\|vfree_atomic\|kvfree\)(E)@f
75
76 @depends on patch exists@
77 expression E;
78 position a != alloc.kok;
79 position f != free.fok;
80 @@
81
82 E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|k
83 kzalloc_node\|kmalloc_array\|kmalloc_a
84 kcalloc_node\)(...)@a
85 ... when != if (...) { ... E = \(vmalloc\|vz
86 when != is_vmalloc_addr(E)
87 when any
88 - \(vfree\|vfree_atomic\|kvfree\)(E)@f
89 + kfree(E)
90
91 @kfree depends on !patch@
92 expression E;
93 position a != alloc.vok;
94 position f != free.fok;
95 @@
96
97 * E = \(vmalloc\|vzalloc\|vmalloc_user\|vmallo
98 * vmalloc_exec\|vmalloc_32\|vmalloc_32_u
99 * __vmalloc_node_range\|__vmalloc_node\)
100 ... when != is_vmalloc_addr(E)
101 when any
102 * \(kfree\|kfree_sensitive\|kvfree\)(E)@f
103
104 @depends on patch exists@
105 expression E;
106 position a != alloc.vok;
107 position f != free.fok;
108 @@
109
110 E = \(vmalloc\|vzalloc\|vmalloc_user\|vmallo
111 vmalloc_exec\|vmalloc_32\|vmalloc_32_u
112 __vmalloc_node_range\|__vmalloc_node\)
113 ... when != is_vmalloc_addr(E)
114 when any
115 - \(kfree\|kvfree\)(E)@f
116 + vfree(E)
117
118 @kvfree depends on !patch@
119 expression E;
120 position a, f;
121 @@
122
123 * E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc
124 * kvmalloc_array\)(...)@a
125 ... when != is_vmalloc_addr(E)
126 when any
127 * \(kfree\|kfree_sensitive\|vfree\|vfree_atomi
128
129 @depends on patch exists@
130 expression E;
131 @@
132
133 E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc
134 kvmalloc_array\)(...)
135 ... when != is_vmalloc_addr(E)
136 when any
137 - \(kfree\|vfree\)(E)
138 + kvfree(E)
139
140 @kvfree_switch depends on !patch@
141 expression alloc.E;
142 position f;
143 @@
144
145 ... when != is_vmalloc_addr(E)
146 when any
147 * \(kfree\|kfree_sensitive\|vfree\|vfree_atomi
148
149 @depends on patch exists@
150 expression alloc.E;
151 position f;
152 @@
153
154 ... when != is_vmalloc_addr(E)
155 when any
156 (
157 - \(kfree\|vfree\)(E)@f
158 + kvfree(E)
159 |
160 - kfree_sensitive(E)@f
161 + kvfree_sensitive(E)
162 )
163
164 @script: python depends on report@
165 a << vfree.a;
166 f << vfree.f;
167 @@
168
169 msg = "WARNING kmalloc is used to allocate thi
170 coccilib.report.print_report(f[0], msg)
171
172 @script: python depends on org@
173 a << vfree.a;
174 f << vfree.f;
175 @@
176
177 msg = "WARNING kmalloc is used to allocate thi
178 coccilib.org.print_todo(f[0], msg)
179
180 @script: python depends on report@
181 a << kfree.a;
182 f << kfree.f;
183 @@
184
185 msg = "WARNING vmalloc is used to allocate thi
186 coccilib.report.print_report(f[0], msg)
187
188 @script: python depends on org@
189 a << kfree.a;
190 f << kfree.f;
191 @@
192
193 msg = "WARNING vmalloc is used to allocate thi
194 coccilib.org.print_todo(f[0], msg)
195
196 @script: python depends on report@
197 a << kvfree.a;
198 f << kvfree.f;
199 @@
200
201 msg = "WARNING kvmalloc is used to allocate th
202 coccilib.report.print_report(f[0], msg)
203
204 @script: python depends on org@
205 a << kvfree.a;
206 f << kvfree.f;
207 @@
208
209 msg = "WARNING kvmalloc is used to allocate th
210 coccilib.org.print_todo(f[0], msg)
211
212 @script: python depends on report@
213 ka << alloc.kok;
214 va << alloc.vok;
215 f << kvfree_switch.f;
216 @@
217
218 msg = "WARNING kmalloc (line %s) && vmalloc (l
219 coccilib.report.print_report(f[0], msg)
220
221 @script: python depends on org@
222 ka << alloc.kok;
223 va << alloc.vok;
224 f << kvfree_switch.f;
225 @@
226
227 msg = "WARNING kmalloc (line %s) && vmalloc (l
228 coccilib.org.print_todo(f[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.