c/programming_languages · by armchair_progamer@programming.dev · 2yCoccinelle For Rust (Automated complex syntax transforms) https://gitlab.inria.fr/coccinelle/coccinelleforrustCocinelle for C, the original 5 points · 5 comments · view on lemmy.world
5 Comments
jeffhykin@lemm.ee · 4 pts · 2y
Might want to link to some examples, e. g. https://gitlab.inria.fr/coccinelle/coccinelleforrust/-/blob/main/docs/Getting%20Started.md?ref_type=heads
I didn't really understand the usecase till I saw that^
philm@programming.dev · 1 pts · 2y
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).
crystal@feddit.de · 1 pts · 2y
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.)
armchair_progamer@programming.dev · 1 pts · 2y
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)
pixel__goblin@programming.dev · 1 pts · 2y
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