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