Re: [PATCH bpf v2 2/2] selftests/bpf: add verifier test for PTR_TO_MEM spill

On Wed, Jan 13, 2021 at 5:05 PM Yonghong Song [off-list ref] wrote:

On 1/12/21 9:38 PM, Gilad Reti wrote:

quoted

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 <redacted>

I didn't verify result_unpriv = ACCEPT part. I think it is correct
by checking code.

Acked-by: Yonghong Song <redacted>

Thanks for the description!

Acked-by: KP Singh <kpsingh@kernel.org>