C coccinelle.gitlabpages.inria.fr Coccinelle: The secret weapon of the Linux kernel devs 3 points agvxov 1 year ago 1 comments