cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

kfreeaddr.cocci (625B)

      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
     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)