[PATCH bpf 00/11] skb/arena bugfixes · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
[PATCH bpf 01/11] bpf: Fix bounds check for skb-backed dynptrs · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
Re: [PATCH bpf 01/11] bpf: Fix bounds check for skb-backed dynptrs · Jiayuan Chen <jiayuan.chen@linux.dev> · 2026-09-16
Re: [PATCH bpf 01/11] bpf: Fix bounds check for skb-backed dynptrs · Jakub Kicinski <kuba@kernel.org> · 2026-09-16
[PATCH bpf 02/11] selftests/bpf: Test dynptr slices past end of skb · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
[PATCH bpf 03/11] bpf: Fix bpf_sock context code generation · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
Re: [PATCH bpf 03/11] bpf: Fix bpf_sock context code generation · Jiayuan Chen <jiayuan.chen@linux.dev> · 2026-09-16
[PATCH bpf 04/11] selftests/bpf: Add selftests for rx_queue_mapping context access · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
[PATCH bpf 05/11] bpf: Reject pkt arguments in mutating subprogs · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
Re: [PATCH bpf 05/11] bpf: Reject pkt arguments in mutating subprogs · Amery Hung <hidden> · 2026-09-16
Re: [PATCH bpf 05/11] bpf: Reject pkt arguments in mutating subprogs · Amery Hung <hidden> · 2026-09-16
Re: [PATCH bpf 05/11] bpf: Reject pkt arguments in mutating subprogs · "Emil Tsalapatis" <emil@etsalapatis.com> · 2026-09-16
Re: [PATCH bpf 05/11] bpf: Reject pkt arguments in mutating subprogs · Amery Hung <hidden> · 2026-09-16
[PATCH bpf 06/11] selftests/bpf: Test rejection of pkt args to mutating subprogs · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
[PATCH bpf 07/11] bpf: Prevent variable arena/non-arena register contents · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
[PATCH bpf 08/11] selftests/bpf: Test for mixed arena/nonarena code paths · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
[PATCH bpf 09/11] bpf: Track whether dynptr type is known · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
[PATCH bpf 10/11] bpf: Track skb memory invalidation by packet-backed dynptrs · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16
[PATCH bpf 11/11] selftests/bpf: Test dynptr slice invalidation on skb clobber · Emil Tsalapatis <emil@etsalapatis.com> · 2026-09-16

Re: [PATCH bpf 01/11] bpf: Fix bounds check for skb-backed dynptrs

From: Jakub Kicinski <kuba@kernel.org>
Date: 2026-09-16 23:08:48
Also in: bpf

On Wed, 16 Sep 2026 05:08:19 +0000 Emil Tsalapatis wrote:

-	if (likely(skb_headlen(skb) - offset >= len))
+	if (likely((u64)offset <= skb_headlen(skb) && 
+			(u64)len <= skb_headlen(skb) - (u64)offset))

I don't think the 64b arithmetic is needed since the max value
(headlen) itself is 32b. You can cast to unsigned int.

Also the continuation line is mis-aligned

`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