Sophie

Sophie

distrib > Mageia > 7 > i586 > media > core-release > by-pkgid > 589b38626859682dda0b4289ae4806af > files > 75

coccinelle-examples-1.0.7-2.mga7.i586.rpm

// Even if our analysis does not go through nodes containing 
// funcall, we can still do some (limited) interprocedural modification.

@ rule1 @
identifier foo;
@@


ioctl (...) {
 ...
 foo(3);
 ...
}



@@
identifier rule1.foo;
@@


foo(...)
{

- bar(1);
+ bar(2);

}