Coccinelle is an interesting project, relatively widely used by the Linux kernel developers. Some examples on their website: https://coccinelle.gitlabpages.in

Coccinelle is an interesting project, relatively widely used by the Linux kernel developers. Some examples on their website: https://coccinelle.gitlabpages.inria.fr/website/sp.html https://coccinelle.gitlabpages.inria.fr/website/sp.html https://coccinelle.gitlabpages.inria.fr/website/rules/ https://coccinelle.gitlabpages.inria.fr/website/rules/