The area of Rust code that is unsafe is much, much smaller than the amount in eq...

pizlonator · 2024-12-23T00:51:55 1734915115

There’s no easy bound on the set of code you’d have to audit to confirm that even one use of unsafe is in fact safe.

burjui · 2024-12-29T19:52:40 1735501960

It's literally THE unsafe part of the code. It's the only part of code that can invoke UB.

  fn do_something() {
      unsafe { ... }
  }

  // Somewhere in the program
  do_something();

Doesn't matter where "do_something" is used and how much. The only possibly problematic part of this code is the unsafe block. You only audit it.