4 ms·
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
by Ar-Curunir 6y ago
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 6y agoMemory safety is not the only type of safety though. There are race conditions for example.