There’s no easy bound on the set of code you’d have to audit to confirm that eve...

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.