Re: [PATCH bpf-next v1 5/9] bpf, verifier: improve signed ranges inference... | netdev

[PATCH -next v1 0/9] Add BPF LSM return value range check, BPF part · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 1/9] bpf, lsm: Add disabled BPF LSM hook list · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 2/9] bpf, lsm: Add check for BPF LSM return value · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 4/9] bpf: Fix compare error in function retval_range_within · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 3/9] bpf: Prevent tail call between progs attached to different hooks · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 6/9] selftests/bpf: Avoid load failure for token_lsm.c · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 8/9] selftests/bpf: Add test for lsm tail call · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 9/9] selftests/bpf: Add verifier tests for bpf lsm · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 7/9] selftests/bpf: Add return value checks for failed tests · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
[PATCH bpf-next v1 5/9] bpf, verifier: improve signed ranges inference for BPF_AND · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19
Re: [PATCH bpf-next v1 5/9] bpf, verifier: improve signed ranges inference for BPF_AND · Shung-Hsi Yu <hidden> · 2024-07-19
Re: [PATCH bpf-next v1 5/9] bpf, verifier: improve signed ranges inference for BPF_AND · Xu Kuohai <xukuohai@huaweicloud.com> · 2024-07-19

Re: [PATCH bpf-next v1 5/9] bpf, verifier: improve signed ranges inference for BPF_AND

From: Xu Kuohai <xukuohai@huaweicloud.com>
Date: 2024-07-19 08:41:37
Also in: bpf, linux-security-module

On 7/19/2024 4:23 PM, Shung-Hsi Yu wrote:

On Fri, Jul 19, 2024 at 04:17:45PM GMT, Xu Kuohai wrote:

quoted

From: Shung-Hsi Yu <redacted>

This commit teach the BPF verifier how to infer signed ranges directly
from signed ranges of the operands to prevent verifier rejection, which
is needed for the following BPF program's no-alu32 version, as shown by
Xu Kuohai:

[...]

Ah, I just sent and updated version of this patch[1] about the same time
as you, sorry about not communicating this clearer. Could you use the
update version instead?

Thanks,
Shung-Hsi

0: https://lore.kernel.org/bpf/20240719081702.137173-1-shung-hsi.yu@suse.com/ (local)

Interesting, we've sent the patch almost at the same time. I'll post an update
with your new patch, thanks.

`h`	back out one level
`j`	next message in thread
`k`	previous message in thread
`l`	drill in
`Esc`	close help / fold thread tree
`?`	toggle this help