On Friday October 17, this site was moved to a new server, https://mw.hh.se. The original address will continue to work. Whithin a week or two this site will return to the original address. /Peo HH IT-dep
WG211/M21Lawall
From WG 2.11
Jump to navigationJump to search
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.
