Files
linux-stable-mirror/kernel
Alexei Starovoitov b52f6d0ef7 bpf: Fix regsafe() for pointers to packet
[ Upstream commit a8502a79e8 ]

In case rold->reg->range == BEYOND_PKT_END && rcur->reg->range == N
regsafe() may return true which may lead to current state with
valid packet range not being explored. Fix the bug.

Fixes: 6d94e741a8 ("bpf: Support for pointers beyond pkt_end.")
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
Reviewed-by: Daniel Borkmann <daniel@iogearbox.net>
Reviewed-by: Amery Hung <ameryhung@gmail.com>
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/bpf/20260331204228.26726-1-alexei.starovoitov@gmail.com
Signed-off-by: Sasha Levin <sashal@kernel.org>
2026-04-18 10:31:09 +02:00
..
2025-12-07 06:08:19 +09:00
2025-03-13 12:47:35 +01:00
2023-12-20 15:44:30 +01:00
2025-06-27 11:04:24 +01:00
2026-04-18 10:30:52 +02:00
2024-10-17 15:08:12 +02:00