new | show | ask | jobs Github

Mindless2112 10 hours ago

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

▲

delamon 9 hours ago | parent [-]

How would've memory safety helped here?

▲

Mindless2112 9 hours ago | parent [-]

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.

▲

delamon 8 hours ago | parent [-]

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).

▲

Mindless2112 8 hours ago | parent [-]

A fair point...

I thought the bug was a missing check for the COW flag, but looking at it again it seems it was missing both setting and checking the flag.

	▲	delamon 8 hours ago \| parent [-]
		Apparently it is both...