[AlotOfReading]

The stdlib's use of unsafe is the process of formal verification [0]. Unsafe usage is still a decent rule of thumb for dependencies you should pay more attention to.

[0] https://github.com/model-checking/verify-rust-std