> We conclude that although the use of the keyword unsafe is limited, the propagation of unsafeness offers a challenge to the claim of Rust as a memory-safe lan

> We conclude that although the use of the keyword unsafe is limited, the propagation of unsafeness offers a challenge to the claim of Rust as a memory-safe language. By this definition, is there any memory safe language? They all boil down to unsafe dependencies. Even if you ignore interpreter abstractions, any language with FFI is unsafe but without any way to audit it.