LinuxCon + ContainerCon Japan 2016

Coccinelle is a program matching and transformation tool which provides the language SmPL for specifying desired matches and transformations in C code. It has been extensively used for finding bugs and performing source code evolutions in the Linux kernel. The tool has been designed with the goal of contributing to Linux kernel development and being part of the Linux source distribution Coccinelle scripts are being used by Linux kernel developers on a regular basis. The tutorial will describe and demonstrate the structure of Coccinelle scripts with the introduction to various basic features of the semantic patch language, including the interface with python. The talk will highlight the capabilities and limitations of Coccinelle with the introduction to the tool spgen which is used to harden Coccinelle scripts by generating context and printing modes.