"Coccinelle Explorer: Learning Semantic Patching Interactively" ( 2025 )

Sunday at 16:40, 20 minutes, UD2.208 (Decroly), UD2.208 (Decroly), Kernel Michele Martone , slides , video

The Compiler Explorer is an online resource which greatly accelerates compilation and assembly language viewing of C/C++ code for different compilers and architectures. Now we have a similar tool to learn Coccinelle, the tool for large-scale refactorings of the Linux kernel. The demo will demonstrate how anybody can use the tool while learning Coccinelle.