You are talking about spatial safety. There are a few other types of memory safety: - temporal safety (e.g. no use after free) - initialization safety (no rea

You are talking about spatial safety. There are a few other types of memory safety: - temporal safety (e.g. no use after free) - initialization safety (no read of initialized memory) - thread safety (no data races) - type safety (accessing memory with the correct type)