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

ifaddr.cocci (684B)

      1// SPDX-License-Identifier: GPL-2.0-only
      2/// The address of a variable or field is likely always to be non-zero.
      3///
      4// Confidence: High
      5// Copyright: (C) 2012 Julia Lawall, INRIA/LIP6.
      6// Copyright: (C) 2012 Gilles Muller, INRIA/LiP6.
      7// URL: http://coccinelle.lip6.fr/
      8// Comments:
      9// Options: --no-includes --include-headers
     10
     11virtual org
     12virtual report
     13virtual context
     14
     15@r@
     16expression x;
     17statement S1,S2;
     18position p;
     19@@
     20
     21*if@p (&x)
     22 S1 else S2
     23
     24@script:python depends on org@
     25p << r.p;
     26@@
     27
     28cocci.print_main("test of a variable/field address",p)
     29
     30@script:python depends on report@
     31p << r.p;
     32@@
     33
     34msg = "ERROR: test of a variable/field address"
     35coccilib.report.print_report(p[0],msg)