kfreeaddr.cocci

 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)