9 ms·
How would've memory safety helped here?
by delamon 4mo ago
How would've memory safety helped here?
- Mindless2112 4mo agoIn 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 4mo agoIf 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 4mo agoA 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 4mo agoApparently it is both...
- tatersolid 4mo agoBecause “Page-cache write into any readable file” is a memory safety bug? All of these recent Linux LPEs are memory safety issues.