Back To Schedule
Friday, July 15 • 11:00 - 12:30
Introduction to Coccinelle and SmPL - Vaishali Thakkar, Oracle

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

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.

avatar for Vaishali Thakkar

Vaishali Thakkar

Vaishali Thakkar is working as a Linux Kernel engineer at Oracle. She works on memory management part of the kernel and a tool Coccinelle to find/fix bugs in the Linux kernel. She previously worked as an Outreachy intern on project Coccinelle. Her area of interest includes embedded... Read More →

Friday July 15, 2016 11:00 - 12:30 JST

Attendees (5)