Webinar On Demand

Coccinelle: Automating Large-Scale Evolution and Bug Finding in C Code

Recorded February 2, 2021

View Coccinelle: Automating Large-scale Evolution and Bug Finding in C Code, with Julia Lawall, Senior Research Scientist, Inria.

Coccinelle is a program transformation tool for C code. Short scripts expressed using a patch-like syntax make it possible to make changes consistently and reliably across a C codebase. In this talk, we will see how to use existing scripts in the Linux kernel, write new scripts for some simple changes, and give an overview of more advanced concepts.

The session will begin with an overview by Julia Lawall (45 minutes) and will be followed by Q&A.

Julia Lawall

Senior Research Scientist Inria

Speaker

Julia Lawall is a Senior Research Scientist at Inria. Her research is at the intersection of programming languages and operating systems. She develops the tool Coccinelle and has over 2000 patches in the Linux kernel based on this work.