Coccinelle For Rust (Automated complex syntax transforms)
Gitlab at Inria
Cocinelle for C, the original
Might want to link to some examples, e. g. https://gitlab.inria.fr/coccinelle/coccinelleforrust/-/blob/main/docs/Getting Started.md?ref_type=heads
I didn't really understand the usecase till I saw that^
The page is written as if there's more to come ("This is not the correct patch, but we will come to that"), but I don't see any further pages. Is this explaination unfinished or did I just miss where it continues? (I'm not used to Gitlab.)
Hello! I do not think the docs are ready for viewing yet. You should instead check out talks/lpc23.pdf and https://rust-for-linux.com/coccinelle-for-rust
The original (C) Cocinelle page may have better use cases. Cocinelle for Rust is in the early stages, Cocinelle for C has been around for a long time.
Semantic patches (a simple example)
Impact on the Linux kernel (case study)
Thanks for the link.
It would be interesting, whether this handles macro-expansion as well (I doubt that, haven't looked into detail yet though).