Re: [bpf-next] bpf: Verifying eBPF range analysis on v6.8

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

Subject: Re: [bpf-next] bpf: Verifying eBPF range analysis on v6.8
From: Harishankar Vishwanathan <hv90@xxxxxxxxxxxxxx>
Date: Wed, 20 Mar 2024 21:53:04 +0000
Accept-language: en-US
Cc: Harishankar Vishwanathan <harishankar.vishwanathan@xxxxxxxxxxx>, "bpf@xxxxxxxxxxxxxxx" <bpf@xxxxxxxxxxxxxxx>, Paul Chaignon <paul@xxxxxxxxxxxxx>, Daniel Borkmann <daniel@xxxxxxxxxxxxx>, Srinivas Narayana Ganapathy <sn624@xxxxxxxxxxxxxx>, Santosh Nagarakatte <sn349@xxxxxxxxxxxxxx>, Matan Shachnai <m.shachnai@xxxxxxxxxxx>
In-reply-to: <CAADnVQKN5Hk7CHgDBg3JtPoeYXoTNFoXCWp_u-2YP9dN7juavg@mail.gmail.com>
Thread-index: AQHaekEEXwavwD8qdEOBFYtheIwylLFAH3WAgAEN9IA=
Thread-topic: [bpf-next] bpf: Verifying eBPF range analysis on v6.8


> On Mar 20, 2024, at 1:46 AM, Alexei Starovoitov <alexei.starovoitov@xxxxxxxxx> wrote:
> 
> Maybe send a patch to refactor regs_refine_cond_op() to avoid that goto?
> case BPF_JGE:...
> can be moved before the main switch as another switch
> that flips opcode.

Sounds good! I will send that patch.

References:
- [bpf-next] bpf: Verifying eBPF range analysis on v6.8
  - From: Harishankar Vishwanathan
- Re: [bpf-next] bpf: Verifying eBPF range analysis on v6.8
  - From: Alexei Starovoitov

Prev by Date: [syzbot] [bpf?] [net?] possible deadlock in wq_worker_tick
Next by Date: Re: [bpf-next] bpf: Verifying eBPF range analysis on v6.8
Previous by thread: Re: [bpf-next] bpf: Verifying eBPF range analysis on v6.8
Next by thread: Re: [bpf-next] bpf: Verifying eBPF range analysis on v6.8
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