GSoC project on Coccinelle

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

3 Likes