Hacker Read

uecker · 2023-02-20 04:01:13

Isn't this confusing memory safety with safety?

bamboozled | karma 7012 | avg karma 1.83 · | 2020-10-12 02:56:41

Memory safety?

qayxc | karma 3685 | avg karma 2.51 · | 2021-06-24 21:10:57

I'm not sure you understand what "memory safety" means.

ctz | karma 2795 | avg karma 5.85 · | 2016-12-23 17:16:19+00:00

I don't really understand why this doesn't cover memory safety.

hot_gril | karma 4539 | avg karma 1.17 · | 2024-06-25 00:14:38

That's not what memory safety refers to.

dbaupp | karma 10204 | avg karma 4.33 · | 2019-02-13 16:32:50

I see no mention of memory safety or unsafety in the issue you linked. Could you be more specific?

jvanderbot | karma 13042 | avg karma 3.94 · | 2024-01-03 06:34:42

This is getting a bit defensive. I think people are interpreting your post as saying all safety is guaranteed by using memory safety, but you rightly walk it back in comments to mean it addresses "primary" security problems.

That's it.

reply

azakai | karma 7684 | avg karma 3.12 · | 2021-09-22 15:18:06

Oh right, good point. Other types of memory safety are more relevant here then.

tree_of_item | karma 2524 | avg karma 2.9 · | 2017-08-25 13:33:16+00:00

This is incorrect. What you're referring to is "memory safety".

nynx | karma 2474 | avg karma 3.75 · | 2021-11-15 18:37:55

its “memory safety”, not “accesses memory”

jobs_throwaway | karma 808 | avg karma 2.49 · | 2022-10-18 12:30:15

is memory safety not a real problem?

rurban | karma 5612 | avg karma 0.84 · | 2022-11-15 23:56:03

So memory safety is a cons point now?

Ar-Curunir | karma 3784 | avg karma 2.0 · | 2021-07-20 18:13:25

That's not memory-unsafety. Memory-safety means avoiding bugs like buffer overflow, ROP, etc.

worldsavior | karma 126 | avg karma 0.53 · | 2022-12-10 14:10:15

Isn't memory safety needed in all cases?

a1369209993 | karma 3438 | avg karma 1.19 · | 2020-08-15 18:11:29+00:00

> without any memory safety

Actually, I think that would be memory protection, not safety.

reply

cmeacham98 | karma 5725 | avg karma 4.47 · | 2024-03-26 21:39:02

The definition of memory safety is not "code that does not result in UB".

AaronFriel | karma 8373 | avg karma 7.29 · | 2022-08-24 01:03:31

I misspoke, there is a gradient in safety, but "memory safe" is binary.

extrememota | karma | avg karma · | 2021-01-27 16:48:46

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

pohl | karma 9288 | avg karma 3.55 · | 2023-03-04 10:29:43

Interesting, I hadn’t realized how much the phrase “memory safety” understates what is desirable.

noelwelsh | karma 8125 | avg karma 4.48 · | 2023-12-20 09:04:47

Memory safety and type safety are different things. They usually go together, but not necessarily so.