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
10virtual org
11virtual report
12virtual context
13
14@r depends on context || report || org @
15expression e;
16identifier f;
17position p;
18@@
19
20(
21* kfree@p(&e->f)
22|
23* kfree_sensitive@p(&e->f)
24)
25
26@script:python depends on org@
27p << r.p;
28@@
29
30cocci.print_main("kfree",p)
31
32@script:python depends on report@
33p << r.p;
34@@
35
36msg = "ERROR: invalid free of structure field"
37coccilib.report.print_report(p[0],msg)
38