Closed
Description
When a process issues the allow syscall, the range is checked in order to verify that the memory buffer does not overlap with the grants region.
However, brk can be used to reduce the memory region reserved for the process without invalidating the allowed memory buffer. This can be problematic if a grant is later on allocated in the same region, as it could still be accessed by another driver.