Sjmarf@sh.itjust.works to Programmer Humor@programming.dev · 1 year agoIs this a Nut?sh.itjust.worksimagemessage-square5fedilinkarrow-up12arrow-down10
arrow-up12arrow-down1imageIs this a Nut?sh.itjust.worksSjmarf@sh.itjust.works to Programmer Humor@programming.dev · 1 year agomessage-square5fedilink
minus-squaremuzzle@lemm.eelinkfedilinkarrow-up0·edit-21 year agoRust is more like: unless you can mathematically prove to me that this is equivalent to a nut there is no ducking way I’ll ever let you compiled this.
minus-squareryannathans@aussie.zonelinkfedilinkarrow-up0·edit-21 year agoAnd then still segfault https://github.com/Speykious/cve-rs/blob/main/src/segfault.rs
minus-squareEinfachUnersetzlich@lemm.eelinkfedilinkarrow-up0·1 year agoIf you can make safe Rust segfault you’re doing something wrong.
minus-squarexlash123@sh.itjust.workslinkfedilinkarrow-up1·1 year agoIt actually is possible to segfault in safe Rust, although it is considered a bug. Proofs of concept are shown in this cve-rs crate. If you want an explanation of why this happens, I recommend this video: https://youtu.be/vfMpIsJwpjU
Rust is more like: unless you can mathematically prove to me that this is equivalent to a nut there is no ducking way I’ll ever let you compiled this.
And then still segfault
https://github.com/Speykious/cve-rs/blob/main/src/segfault.rs
If you can make safe Rust segfault you’re doing something wrong.
It actually is possible to segfault in safe Rust, although it is considered a bug. Proofs of concept are shown in this cve-rs crate.
If you want an explanation of why this happens, I recommend this video: https://youtu.be/vfMpIsJwpjU