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.
fn do_something() {
unsafe { ... }
}
// Somewhere in the program
do_something();