Coccinelle: Finding bugs in the Linux Kernel - Vaishali Thakkar - FOSSASIA Summit 2017

Published on: Sunday, 9 April 2017

Speaker: Vaishali Thakkar, Oracle

Coccinelle is a program matching and transformation tool which provides the language SmPL (Semantic Patch Language) 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. Coccinelle is designed around a language for expressing matching and transformation rules in terms of fragments of C code. Coccinelle has been used in the development of almost 4000 patches found in the Linux kernel. More than 40 Coccinelle scripts are distributed with the Linux kernel source code.The talk will highlight the capabilities and limitations of Coccinelle along with introducing various basic features of the SmPL.

Event Page:

Produced by Engineers.SG