Coccinelle is a tool to utilize semantic patches for manipulating C
code. It was originally designed to ease maintenance of device
drivers in the Linux kernel.
|pycocci||pycocci is wrapper around spatch, it enables a set of default arguments and also uses a bit of heuristics to infers which arguments you likely want enabled.|
|spatch||apply a semantic patch file to a set of C files|
|spgen||spgen is a source-to-source transformation tool for hardening Coccinelle semantic patch scripts.|
|Coccilib.3cocci||Library of functions for use with Coccinelle OCaml script code|