coccinelle/api/kfree_mismatch.cocci

18 expression E, E1;
25     E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|
31     E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|
38   E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|kmalloc_node\|kzalloc_node\|
40   ... when != E = E1
42   if (E == NULL) {
44     E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|
53 expression E;
57   E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc_node\|kvmalloc_node\|
60   kvfree(E)@fok
63 expression E;
68 * E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|kmalloc_node\|
71 …... when != if (...) { ... E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|vmall…
72       when != is_vmalloc_addr(E)
74 * \(vfree\|vfree_atomic\|kvfree\)(E)@f
77 expression E;
82   E = \(kmalloc\|kzalloc\|krealloc\|kcalloc\|kmalloc_node\|
85 …... when != if (...) { ... E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|vmall…
86       when != is_vmalloc_addr(E)
88 - \(vfree\|vfree_atomic\|kvfree\)(E)@f
89 + kfree(E)
92 expression E;
97 * E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|
100   ... when != is_vmalloc_addr(E)
102 * \(kfree\|kfree_sensitive\|kvfree\)(E)@f
105 expression E;
110   E = \(vmalloc\|vzalloc\|vmalloc_user\|vmalloc_node\|vzalloc_node\|
113   ... when != is_vmalloc_addr(E)
115 - \(kfree\|kvfree\)(E)@f
116 + vfree(E)
119 expression E;
123 * E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc_node\|kvmalloc_node\|
125   ... when != is_vmalloc_addr(E)
127 * \(kfree\|kfree_sensitive\|vfree\|vfree_atomic\)(E)@f
130 expression E;
133   E = \(kvmalloc\|kvzalloc\|kvcalloc\|kvzalloc_node\|kvmalloc_node\|
135   ... when != is_vmalloc_addr(E)
137 - \(kfree\|vfree\)(E)
138 + kvfree(E)
141 expression alloc.E;
145   ... when != is_vmalloc_addr(E)
147 * \(kfree\|kfree_sensitive\|vfree\|vfree_atomic\)(E)@f
150 expression alloc.E;
154   ... when != is_vmalloc_addr(E)
157 - \(kfree\|vfree\)(E)@f
158 + kvfree(E)
160 - kfree_sensitive(E)@f
161 + kvfree_sensitive(E)
169 msg = "WARNING kmalloc is used to allocate this memory at line %s" % (a[0].line)
170 coccilib.report.print_report(f[0], msg)
177 msg = "WARNING kmalloc is used to allocate this memory at line %s" % (a[0].line)
178 coccilib.org.print_todo(f[0], msg)
185 msg = "WARNING vmalloc is used to allocate this memory at line %s" % (a[0].line)
186 coccilib.report.print_report(f[0], msg)
193 msg = "WARNING vmalloc is used to allocate this memory at line %s" % (a[0].line)
194 coccilib.org.print_todo(f[0], msg)
201 msg = "WARNING kvmalloc is used to allocate this memory at line %s" % (a[0].line)
202 coccilib.report.print_report(f[0], msg)
209 msg = "WARNING kvmalloc is used to allocate this memory at line %s" % (a[0].line)
210 coccilib.org.print_todo(f[0], msg)
218 …kmalloc (line %s) && vmalloc (line %s) are used to allocate this memory" % (ka[0].line, va[0].line)
219 coccilib.report.print_report(f[0], msg)
227 …kmalloc (line %s) && vmalloc (line %s) are used to allocate this memory" % (ka[0].line, va[0].line)
228 coccilib.org.print_todo(f[0], msg)