161cb48c3SJulia Lawall/// Free of a structure field 261cb48c3SJulia Lawall/// 361cb48c3SJulia Lawall// Confidence: High 461cb48c3SJulia Lawall// Copyright: (C) 2013 Julia Lawall, INRIA/LIP6. GPLv2. 561cb48c3SJulia Lawall// URL: http://coccinelle.lip6.fr/ 661cb48c3SJulia Lawall// Comments: 7*93f14468SNicolas Palix// Options: --no-includes --include-headers 861cb48c3SJulia Lawall 961cb48c3SJulia Lawallvirtual org 1061cb48c3SJulia Lawallvirtual report 1161cb48c3SJulia Lawallvirtual context 1261cb48c3SJulia Lawall 1361cb48c3SJulia Lawall@r depends on context || report || org @ 1461cb48c3SJulia Lawallexpression e; 1561cb48c3SJulia Lawallidentifier f; 1661cb48c3SJulia Lawallposition p; 1761cb48c3SJulia Lawall@@ 1861cb48c3SJulia Lawall 1961cb48c3SJulia Lawall* kfree@p(&e->f) 2061cb48c3SJulia Lawall 2161cb48c3SJulia Lawall@script:python depends on org@ 2261cb48c3SJulia Lawallp << r.p; 2361cb48c3SJulia Lawall@@ 2461cb48c3SJulia Lawall 2561cb48c3SJulia Lawallcocci.print_main("kfree",p) 2661cb48c3SJulia Lawall 2761cb48c3SJulia Lawall@script:python depends on report@ 2861cb48c3SJulia Lawallp << r.p; 2961cb48c3SJulia Lawall@@ 3061cb48c3SJulia Lawall 3161cb48c3SJulia Lawallmsg = "ERROR: kfree of structure field" 3261cb48c3SJulia Lawallcoccilib.report.print_report(p[0],msg) 33