Abstract: We consider memory errors and memory safety in the cases of the Java and Rust programming languages. We also give a view of how type safety fits in.