WG211/M21Lawall

Coccinelle is a tool for scripting repetitive transformations in C code, based on a notion of a semantic patch. Coccinelle has been used extensively on the Linux kernel. Still, its use requires the developer should understand the desired transformation well enough to write the script. To this end, we propose Prequel, which searches a git history for change examples and Spinfer that abstracts these examples into a collection of Coccinelle transformation rules.