armchair_progamer@programming.devM to Programming Languages@programming.dev · 11 months agoCoccinelle For Rust (Automated complex syntax transforms)gitlab.inria.frexternal-linkmessage-square5fedilinkarrow-up16arrow-down10file-text
arrow-up16arrow-down1external-linkCoccinelle For Rust (Automated complex syntax transforms)gitlab.inria.frarmchair_progamer@programming.devM to Programming Languages@programming.dev · 11 months agomessage-square5fedilinkfile-text
minus-squarejeffhykin@lemm.eelinkfedilinkarrow-up4·11 months agoMight 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^
minus-squarephilm@programming.devlinkfedilinkarrow-up1·11 months agoThanks for the link. It would be interesting, whether this handles macro-expansion as well (I doubt that, haven’t looked into detail yet though).
minus-squarecrystal@feddit.delinkfedilinkarrow-up1·11 months agoThe 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.)
minus-squarearmchair_progamer@programming.devOPMlinkfedilinkarrow-up1·edit-211 months agoThe 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)
minus-squarepixel__goblin@programming.devlinkfedilinkarrow-up1·11 months agoHello! 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
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.
Semantic patches (a simple example)
Impact on the Linux kernel (case study)
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