Julia: Created page with "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. Sti..."

2022-08-12T05:45:56Z

Created page with "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. Sti..."

New page

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.

WG211/M21Lawall - Revision history

Julia: Created page with "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. Sti..."