Loading…
This event has ended. View the official site or create your own event → Check it out
This event has ended. Create your own
View analytic
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 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.

Speakers
avatar for Vaishali Thakkar

Vaishali Thakkar

Oracle
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 embedd... Read More →


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

Attendees (5)