scripts/coccinelle/overflow_muldiv64.cocci

   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)