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