Coccinelle is a C code matching and transformation tool written in OCaml.
A GSoC project is available on improving the implementation of Coccinelle,
under the umbrella of the Linux Foundation:
https://wiki.linuxfoundation.org/gsoc/2019-gsoc-safety-critical-linux