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