Subject bpf: Preserve pointer state for commuted arithmetic
Author devnull@kernel.org
Date 2026-07-29 15:18:27 +0000 UTC
Version
Cc andrii@kernel.org ast@kernel.org bpf@vger.kernel.org chenyy23@mails.tsinghua.edu.cn daniel@iogearbox.net danjwade95@gmail.com devnull@kernel.org eddyz87@gmail.com emil@etsalapatis.com ihor.solodrai@linux.dev john.fastabend@gmail.com jolsa@kernel.org linux-kernel@vger.kernel.org linux-kselftest@vger.kernel.org martin.lau@linux.dev memxor@gmail.com shuah@kernel.org shung-hsi.yu@suse.com song@kernel.org yonghong.song@linux.dev
Patches (4)
Name Content [All]
[PATCH bpf v4 1/4] bpf: simplify sanitize_err() signature [Body]
[PATCH bpf v4 2/4] bpf: Preserve pointer state for commuted arithmetic [Body]
[PATCH bpf v4 3/4] bpf: Propagate untrusted pointer state in commuted arithmetic [Body]
[PATCH bpf v4 4/4] selftests/bpf: Cover commuted pointer state propagation [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-07-29
Passed
ID (for dev) 71f924e3-f509-4aee-834c-c94f6c38fcbe
Status finished
Triaged OK [Log] [Trajectory]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 0ce37745d4bfbc493f718169c3974898ffec8ee7 [Config] passed [Log]
[KASAN] Boot test: Base 0ce37745d4bfbc493f718169c3974898ffec8ee7 [Config] passed [Log]
[KASAN] Build Patched 0ce37745d4bfbc493f718169c3974898ffec8ee7 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 0ce37745d4bfbc493f718169c3974898ffec8ee7 [Config] [patched] passed [Log]
[KASAN] Fuzz 0ce37745d4bfbc493f718169c3974898ffec8ee7 [Config] 0ce37745d4bfbc493f718169c3974898ffec8ee7 [Config] [patched] passed [Log] [Artifacts]