• TheTechnician27@lemmy.world
    link
    fedilink
    English
    arrow-up
    35
    arrow-down
    6
    ·
    edit-2
    3 days ago

    I mean yes, I do, given safe Rust inherently fixes seemingly every exploit listed in this article:

    • RCE from integer overflow (not possible by default in Rust, CVSS 9.0)
    • RCE from a race condition (not possible in safe Rust, CVSS 9.0)
    • An exploit of a buffer copy
    • An out-of-bounds write leading to local privilege escalation
    • Using an uninitialized resource
    • TCP query stack buffer overflow leading to local privilege escalation

    I feel like it’s the 1960s and I’m being told “we get it, you like seatbelts”.


    Edit: Sorry, re: the first one. I was misremembering based on a mix of a few things (see below). It does this in debug mode (which in itself is good to have), and it won’t compile if it can detect an overflow statically, but it’s not checking over/underflow at runtime by default. It can do this if you want it to, but that’s an inherent speed penalty from C. I was thinking of Swift, which does automatically detect integer under/overflow at runtime unless you explicitly tell it not to on a per-operator basis.

    In the spirit of not making you “trust me bro” since I was so wrong about the integer under/overflow one, here’s Rust’s overview of how safe Rust guarantees against data races.

    • LaggyKar@programming.dev
      link
      fedilink
      arrow-up
      7
      ·
      3 days ago

      RCE from integer overflow (not possible by default in Rust

      It is possible. Rust will check for overflow and panic in debug builds, but will silently wrap integers in release builds.

      • TheTechnician27@lemmy.world
        link
        fedilink
        English
        arrow-up
        2
        ·
        3 days ago

        Yeah, you’re right. I was thinking of a combination of Rust’s debug mode, the fact it won’t compile if it detects a static under/overflow, and Swift’s default producing a runtime error on integer under/overflow. Corrected; I apologize.

    • hoshikarakitaridia@lemmy.world
      link
      fedilink
      arrow-up
      8
      arrow-down
      25
      ·
      4 days ago

      Yeah because the way you said it is extremely dick-ish and sounds like someone trying to push their preferred language onto others.

      • TheTechnician27@lemmy.world
        link
        fedilink
        English
        arrow-up
        33
        arrow-down
        3
        ·
        4 days ago

        > “sounds like someone trying to push their preferred language onto others.”

        > didn’t even name Rust in the first comment

        I literally only talked about Rust when someone else mentioned it, because I’m not specifically talking about Rust.

        Whereas yes, Rust is relevant to the Linux kernel for obvious reasons (matching C’s speed and being easily interoperable with it), I said “a modern language” because I’m talking generally about the use of old, unsafe languages and major exploits surrounding problems that modern languages fix cropping up every 5 seconds.

        I’m not going to police my own tone about what are clearly negligent engineering practices. SWE should be treated with the same level of scrutiny as other engineering fields when its poor, outdated practices are constantly causing accelerating worldwide damage.