[Ar-Curunir]

Err there are other ways to prove (memory) safety than exhaustive testing, such as better type systems and static analysis (Rust) or better run time checks (any garbage collected language)

[extrememota]

Memory safety is not the only type of safety though. There are race conditions for example.