| ▲ | Mindless2112 9 hours 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. | |||||||||||||||||
| ▲ | 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). | |||||||||||||||||
| |||||||||||||||||