Re: [PATCH v4 0/2] bpf: Fix verifier crash on BPF_NEG with pointer register
From: patchwork-bot+netdevbpf
Date: Wed Oct 01 2025 - 17:10:25 EST
Hello:
This series was applied to bpf/bpf.git (master)
by Alexei Starovoitov <ast@xxxxxxxxxx>:
On Thu, 2 Oct 2025 00:47:37 +0530 you wrote:
> This patch fixes a crash in the BPF verifier triggered when the BPF_NEG
> operation is applied to a pointer-typed register. The verifier now
> checks that the destination register is not a pointer before performing
> the operation.
>
> Tested with syzkaller reproducer and new BPF sefltest.
> Closes: https://syzkaller.appspot.com/bug?extid=d36d5ae81e1b0a53ef58
>
> [...]
Here is the summary with links:
- [v4,1/2] bpf: Skip scalar adjustment for BPF_NEG if dst is a pointer
https://git.kernel.org/bpf/bpf/c/34904582b502
- [v4,2/2] selftests/bpf: Add test for BPF_NEG alu on CONST_PTR_TO_MAP
https://git.kernel.org/bpf/bpf/c/8709c1685220
You are awesome, thank you!
--
Deet-doot-dot, I am a bot.
https://korg.docs.kernel.org/patchwork/pwbot.html