1 // SPDX-License-Identifier: GPL-2.0-only
2 /// Free of a structure field
3 ///
4 // Confidence: High
5 // Copyright: (C) 2013 Julia Lawall, INRIA/LIP6.
6 // URL: https://coccinelle.gitlabpages.inria.fr/website
7 // Comments:
8 // Options: --no-includes --include-headers
9
10 virtual org
11 virtual report
12 virtual context
13
14 @r depends on context || report || org @
15 expression e;
16 identifier f;
17 position p;
18 @@
19
20 (
21 * kfree@p(&e->f)
22 |
23 * kfree_sensitive@p(&e->f)
24 )
25
26 @script:python depends on org@
27 p << r.p;
28 @@
29
30 cocci.print_main("kfree",p)
31
32 @script:python depends on report@
33 p << r.p;
34 @@
35
36 msg = "ERROR: invalid free of structure field"
37 coccilib.report.print_report(p[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.