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

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

Subject: Re: [PATCH bpf-next 7/7] bpf: track aligned STACK_ZERO cases as imprecise spilled registers
From: Eduard Zingerman <eddyz87@xxxxxxxxx>
Date: Thu, 09 Nov 2023 19:44:48 +0200
Cc: Andrii Nakryiko <andrii@xxxxxxxxxx>, bpf@xxxxxxxxxxxxxxx, ast@xxxxxxxxxx, daniel@xxxxxxxxxxxxx, martin.lau@xxxxxxxxxx, kernel-team@xxxxxxxx
In-reply-to: <CAEf4Bzat=bHEF30nt95vGV=Jhh9FYiAPA94SK=vLcR4XACT32Q@mail.gmail.com>
User-agent: Evolution 3.50.0

On Thu, 2023-11-09 at 09:43 -0800, Andrii Nakryiko wrote:
> sure, though I guess I'd have to rely on verifier state printing logic
> for this, is that ok?

Sure, thank you.

References:
- [PATCH bpf-next 0/7] Complete BPF verifier precision tracking support for register spills
  - From: Andrii Nakryiko
- [PATCH bpf-next 7/7] bpf: track aligned STACK_ZERO cases as imprecise spilled registers
  - From: Andrii Nakryiko
- Re: [PATCH bpf-next 7/7] bpf: track aligned STACK_ZERO cases as imprecise spilled registers
  - From: Eduard Zingerman
- Re: [PATCH bpf-next 7/7] bpf: track aligned STACK_ZERO cases as imprecise spilled registers
  - From: Andrii Nakryiko

Prev by Date: [PATCHv3] selftests: bpf: xskxceiver: ksft_print_msg: fix format type error
Next by Date: Re: [PATCH bpf-next 3/7] bpf: enforce precision for r0 on callback return
Previous by thread: Re: [PATCH bpf-next 7/7] bpf: track aligned STACK_ZERO cases as imprecise spilled registers
Next by thread: [PATCH bpf-next v4 0/3] Relax allowlist for open-coded css_task iter
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