This is correct, but not what most people think. For example, memory leaks could be considered bugs and it is easy to leak memory memory in safe rust on purpose.

Memory leaks are usually not disastrous for security, mostly an issue for availability, sometimes.

Explain how a use after free could occur in safe rust, because to my knowledge, that is exactly the kind of thing rust does protect against.

KVM/Qemu and Hyper-V also have snapshots, but hyper-v has a dumb name for them that I always forget.