undefined | Better HN

0 pointsMindless21122d ago0 comments

How much pain must there be until people realize we actually do need memory safety?

0 comments

delamon2d ago

How would've memory safety helped here?

Mindless2112OP2d ago

In CHERI, for example, pointers have permissions. The pointer to the COW memory would not have the "write" permission.

I could be misunderstanding the bug, of course.

delamon2d ago

If you "forget" to mark COW memory pointer as no-write, the net effect would be same, would it not? If I'm reading the diff correctly, the problem was that code missed to mark some pages as shared (aka no-write).

1 more reply

tatersolid2d ago

Because “Page-cache write into any readable file” is a memory safety bug? All of these recent Linux LPEs are memory safety issues.

j / k navigate · click thread line to collapse

0 comments

delamon2d ago

How would've memory safety helped here?

Mindless2112OP2d ago

In CHERI, for example, pointers have permissions. The pointer to the COW memory would not have the "write" permission.

I could be misunderstanding the bug, of course.

delamon2d ago

1 more reply

tatersolid2d ago

Because “Page-cache write into any readable file” is a memory safety bug? All of these recent Linux LPEs are memory safety issues.

j / k navigate · click thread line to collapse