On Wed, Jan 13, 2021 at 5:05 PM Yonghong Song yhs@fb.com wrote:
On 1/12/21 9:38 PM, Gilad Reti wrote:
Add a test to check that the verifier is able to recognize spilling of PTR_TO_MEM registers, by reserving a ringbuf buffer, forcing the spill of a pointer holding the buffer address to the stack, filling it back in from the stack and writing to the memory area pointed by it.
The patch was partially contributed by CyberArk Software, Inc.
Signed-off-by: Gilad Reti gilad.reti@gmail.com
I didn't verify result_unpriv = ACCEPT part. I think it is correct by checking code.
Acked-by: Yonghong Song yhs@fb.com
Thanks for the description!
Acked-by: KP Singh kpsingh@kernel.org