demos/interprocedural_adhoc.cocci

   1 // Even if our analysis does not go through nodes containing
   2 // funcall, we can still do some (limited) interprocedural modification.
   3
   4 @ rule1 @
   5 identifier foo;
   6 @@
   7
   8
   9 ioctl (...) {
  10  ...
  11  foo(3);
  12  ...
  13 }
  14
  15
  16
  17 @@
  18 identifier rule1.foo;
  19 @@
  20
  21
  22 foo(...)
  23 {
  24
  25 - bar(1);
  26 + bar(2);
  27
  28 }