szeder/coccinelle repository overview

"Coccinelle is a program matching and transformation engine which provides the language SmPL (Semantic Patch Language) for specifying desired matches" and "writing some complex style-preserving source-to-source transformations on C source code, like for instance to perform some refactorings".

https://coccinelle.gitlabpages.inria.fr/website/⁠

https://github.com/coccinelle/coccinelle/⁠

Currently these images' default CMD runs 'make coccicheck' on the volume mounted at '/src'.