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

Explore the powerful tool Coccinelle for automating large-scale code evolution and bug finding in C programs during this comprehensive mentorship session. Learn about common programming problems, pervasive code changes, and the concept of semantic patches. Dive into meta variables, transformation techniques, and rewriting processes. Gain hands-on experience through exercises and discover how to create effective semantic patches. Master command-line options, understand code duplication issues, and learn to work with header files. Enhance your C programming skills and improve code quality with this in-depth tutorial on Coccinelle.

Introduction
Common problems in programming
Pervasive code changes
What is Coccinelle
Semantic Patches
Meta Variables
Transformation
Exercise
Rewriting
Command Line Options
Coccinelle Options
Questions
Q A
Creating a Semantic Patch
Semantic Patch
Metavariables
Rule
Code duplication
Disjunction
Separate Rules
Exercise 3 Header Files