cachepc-qemu

Fork of AMDESE/qemu with changes for cachepc side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-qemu
Log | Files | Refs | Submodules | LICENSE | sfeed.txt

overflow_muldiv64.cocci (283B)

      1// Find muldiv64(i64, i64, x) for potential overflow
      2@filter@
      3typedef uint64_t;
      4typedef int64_t;
      5{ uint64_t, int64_t, long, unsigned long } a, b;
      6expression c;
      7position p;
      8@@
      9
     10muldiv64(a,b,c)@p
     11
     12@script:python@
     13p << filter.p;
     14@@
     15
     16cocci.print_main("potential muldiv64() overflow", p)