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^
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).
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.)
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.
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