qemu

FORK: QEMU emulator
git clone https://git.neptards.moe/neptards/qemu.git
Log | Files | Refs | Submodules | LICENSE

overflow_muldiv64.cocci (283B)

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