Commit 7393a33b authored Nov 18, 2024 by Peter Collingbourne Committed by Tengda Wu Nov 18, 2024

bpf, arm64: Fix address emission with tag-based KASAN enabled

mainline inclusion
from mainline-v6.12-rc5
commit a552e2ef5fd1a6c78267cd4ec5a9b49aa11bbb1c
category: bugfix
bugzilla: https://gitee.com/src-openeuler/kernel/issues/IB2YVC
CVE: CVE-2024-50203

Reference: https://git.kernel.org/pub/scm/linux/kernel/git/torvalds/linux.git/commit/?id=a552e2ef5fd1a6c78267cd4ec5a9b49aa11bbb1c



--------------------------------

When BPF_TRAMP_F_CALL_ORIG is enabled, the address of a bpf_tramp_image
struct on the stack is passed during the size calculation pass and
an address on the heap is passed during code generation. This may
cause a heap buffer overflow if the heap address is tagged because
emit_a64_mov_i64() will emit longer code than it did during the size
calculation pass. The same problem could occur without tag-based
KASAN if one of the 16-bit words of the stack address happened to
be all-ones during the size calculation pass. Fix the problem by
assuming the worst case (4 instructions) when calculating the size
of the bpf_tramp_image address emission.

Fixes: 19d3c179a377 ("bpf, arm64: Fix trampoline for BPF_TRAMP_F_CALL_ORIG")
Signed-off-by: Peter Collingbourne <pcc@google.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Xu Kuohai <xukuohai@huawei.com>
Link: https://linux-review.googlesource.com/id/I1496f2bc24fba7a1d492e16e2b94cf43714f2d3c
Link: https://lore.kernel.org/bpf/20241018221644.3240898-1-pcc@google.com



Conflicts:
        arch/arm64/net/bpf_jit_comp.c
[This conflict is due to us not merging a cache optimization commit
96b0f5addc7a ('arm64, bpf: Use bpf_prog_pack for arm64 bpf trampoline')]
Signed-off-by: Tengda Wu <wutengda2@huawei.com>

parent 6fa3b3e4

arch/arm64/net/bpf_jit_comp.c

+10 −2

Original line number	Diff line number	Diff line
		@@ -1949,6 +1949,10 @@ static int prepare_trampoline(struct jit_ctx ctx, struct bpf_tramp_image im,
		emit(A64_STR64I(A64_R(20), A64_SP, regs_off + 8), ctx);

		if (flags & BPF_TRAMP_F_CALL_ORIG) {
		/* for the first pass, assume the worst case */
		if (!ctx->image)
		ctx->idx += 4;
		else
		emit_a64_mov_i64(A64_R(0), (const u64)im, ctx);
		emit_call((const u64)__bpf_tramp_enter, ctx);
		}
		@@ -1993,6 +1997,10 @@ static int prepare_trampoline(struct jit_ctx ctx, struct bpf_tramp_image im,

		if (flags & BPF_TRAMP_F_CALL_ORIG) {
		im->ip_epilogue = ctx->image + ctx->idx;
		/* for the first pass, assume the worst case */
		if (!ctx->image)
		ctx->idx += 4;
		else
		emit_a64_mov_i64(A64_R(0), (const u64)im, ctx);
		emit_call((const u64)__bpf_tramp_exit, ctx);
		}