]>
Commit | Line | Data |
---|---|---|
7f904d7e | 1 | // SPDX-License-Identifier: GPL-2.0-only |
61cb48c3 JL |
2 | /// Free of a structure field |
3 | /// | |
4 | // Confidence: High | |
7f904d7e | 5 | // Copyright: (C) 2013 Julia Lawall, INRIA/LIP6. |
61cb48c3 JL |
6 | // URL: http://coccinelle.lip6.fr/ |
7 | // Comments: | |
93f14468 | 8 | // Options: --no-includes --include-headers |
61cb48c3 JL |
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 | ||
6dd9379e | 20 | ( |
61cb48c3 | 21 | * kfree@p(&e->f) |
6dd9379e YD |
22 | | |
23 | * kzfree@p(&e->f) | |
24 | ) | |
61cb48c3 JL |
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 | ||
6dd9379e | 36 | msg = "ERROR: invalid free of structure field" |
61cb48c3 | 37 | coccilib.report.print_report(p[0],msg) |