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