How does Rust prevent undefined behavior in safe code execution paths?

Safe Rust eliminates undefined behavior through strict ownership and borrowing rules.

Safe Rust guarantees no data races, no dangling pointers, and no invalid memory access. UB is only possible inside unsafe blocks where compiler guarantees are bypassed.