armchair_progamerM to Programming Languages · 1 year 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_progamerM to Programming Languages · 1 year agomessage-square5fedilinkfile-text
minus-squarejeffhykin@lemm.eelinkfedilinkarrow-up4·1 year 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-squarephilmlinkfedilinkarrow-up1·1 year 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·1 year 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_progamerOPMlinkfedilinkarrow-up1·edit-21 year 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__goblinlinkfedilinkarrow-up1·1 year 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