Re: [PATCH v2 bpf-next 05/10] selftests/bpf: validate STACK_ZERO is preserved on subreg spill

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Subject: Re: [PATCH v2 bpf-next 05/10] selftests/bpf: validate STACK_ZERO is preserved on subreg spill
From: Eduard Zingerman <eddyz87@xxxxxxxxx>
Date: Tue, 21 Nov 2023 02:55:31 +0200
Cc: kernel-team@xxxxxxxx
In-reply-to: <20231121002221.3687787-6-andrii@kernel.org>
User-agent: Evolution 3.50.1

On Mon, 2023-11-20 at 16:22 -0800, Andrii Nakryiko wrote:
> Add tests validating that STACK_ZERO slots are preserved when slot is
> partially overwritten with subregister spill.
> 
> Signed-off-by: Andrii Nakryiko <andrii@xxxxxxxxxx>
> ---

Acked-by: Eduard Zingerman <eddyz87@xxxxxxxxx>

[...]

References:
- [PATCH v2 bpf-next 00/10] Complete BPF verifier precision tracking support for register spills
  - From: Andrii Nakryiko
- [PATCH v2 bpf-next 05/10] selftests/bpf: validate STACK_ZERO is preserved on subreg spill
  - From: Andrii Nakryiko

Prev by Date: Re: [PATCH bpf] bpf: fix tracking of stack size for var-off access
Next by Date: Re: [PATCH bpf v3 06/11] bpf: verify callbacks as if they are called unknown number of times
Previous by thread: [PATCH v2 bpf-next 05/10] selftests/bpf: validate STACK_ZERO is preserved on subreg spill
Next by thread: [PATCH v2 bpf-next 01/10] bpf: support non-r10 register spill/fill to/from stack in precision tracking
Index(es):
- Date
- Thread

[Index of Archives] [Linux Samsung SoC] [Linux Rockchip SoC] [Linux Actions SoC] [Linux for Synopsys ARC Processors] [Linux NFS] [Linux NILFS] [Linux USB Devel] [Video for Linux] [Linux Audio Users] [Yosemite News] [Linux Kernel] [Linux SCSI]

Powered by Linux