debugging static-analysis Coccinelle References Videos Mentorship Session: Coccinelle: Automating Large-scale Evolution and Bug Finding in C Code SAN19-500K1 Keynote: Coccinelle: 10 Years of Automated Evolution in the Linux Kernel