Sophie

Sophie

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

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

// Options: -D alloc=kmalloc -D free=kfree

@r@
identifier virtual.alloc, virtual.free;
expression x;
position p1,p2;
@@

x = alloc@p1(...);
...
free@p2(x);

@script:python@
p1 << r.p1;
p2 << r.p2;
alloc << virtual.alloc;
@@
cocci.print_main(alloc,p1);
cocci.print_secs("free",p2);