Semantic patching for Linux (spatch)
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.
Version: 1.1.1
General Commands | |
| 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. |
Library Functions | |
| Coccilib.3cocci | Library of functions for use with Coccinelle OCaml script code |