• @xlash123
    link
    214 months ago

    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

    • TechNom (nobody)
      link
      fedilink
      English
      94 months ago

      So you can’t get a Rust program to segfault without trying really hard. I haven’t observed a single segfault in the normal Rust code I wrote in the past 8 years.

      • @[email protected]
        link
        fedilink
        64 months ago

        The code used in cve-rs is not that complicated, and it’s not out of the realm of possibility that somebody would use lifetimes like this if they had just enough knowledge to be dangerous.

        I’m as much a rust evangelist as the next guy, but part of having excellent guard rails is loudly pointing out subtle breakages that can cause hard to diagnose issues.

        • TechNom (nobody)
          link
          fedilink
          English
          -14 months ago

          If that’s so trivial to trigger, people would be doing so everywhere. Have you seen it in the wild or heard of anyone doing so?

              • @[email protected]
                link
                fedilink
                0
                edit-2
                4 months ago

                No, I’m saying that when people run into strange bugs, sometimes they put together an issue (like the person behind cve-rs), and sometimes they quietly work around it because they’re busy.

                Seeing as I don’t often trawl through issues on the language git, neither really involve notifying me specifically.

                My lack of an anecdote does not equate to anecdotal evidence of no issue, just that I haven’t met every rust developer.

                • TechNom (nobody)
                  link
                  fedilink
                  English
                  13 months ago

                  You don’t have any evidence, much less anecdotal evidence. Things don’t become true just because you insist.