Re: [PATCH bpf-next 7/7] bpf: track aligned STACK_ZERO cases as imprecise spilled registers

Andrii Nakryiko
2023-11-09T17:43:30Z

On Thu, Nov 9, 2023 at 7:21 AM Eduard Zingerman <eddyz87@gmail.com> wrote:
>
> On Mon, 2023-10-30 at 22:03 -0700, Andrii Nakryiko wrote:
> > track aligned STACK_ZERO cases as imprecise spilled registers
>
> Great improvement.

thanks!

> Could you please add a test case?

sure, though I guess I'd have to rely on verifier state printing logic
for this, is that ok?

>
> Acked-by: Eduard Zingerman <eddyz87@gmail.com>
>
>
>