scripts/coccinelle/free/kfreeaddr.cocci

   1 /// Free of a structure field
   2 ///
   3 // Confidence: High
   4 // Copyright: (C) 2013 Julia Lawall, INRIA/LIP6.  GPLv2.
   5 // URL: http://coccinelle.lip6.fr/
   6 // Comments:
   7 // Options: --no-includes --include-headers
   8
   9 virtual org
  10 virtual report
  11 virtual context
  12
  13 @r depends on context || report || org @
  14 expression e;
  15 identifier f;
  16 position p;
  17 @@
  18
  19 (
  20 * kfree@p(&e->f)
  21 |
  22 * kzfree@p(&e->f)
  23 )
  24
  25 @script:python depends on org@
  26 p << r.p;
  27 @@
  28
  29 cocci.print_main("kfree",p)
  30
  31 @script:python depends on report@
  32 p << r.p;
  33 @@
  34
  35 msg = "ERROR: invalid free of structure field"
  36 coccilib.report.print_report(p[0],msg)