Coccinelle: The secret weapon of the Linux kernel devshttps://coccinelle.gitlabpages.inria.fr/website/sp.html by agvxov • 12 months ago 3 1 12 months agoCOcoccinelle.gitlabpages.inria.fr