Subject bpf: Fix two holes in the analysis of stack arguments
Author alexei.starovoitov@gmail.com
Date 2026-11-02 05:59:10 +0000 UTC
Version
Cc alexei.starovoitov@gmail.com andrii@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com memxor@gmail.com
Patches (4)
Name Content [All]
[PATCH bpf v2 1/4] bpf: Fix the join of fp+0 with a value that is not a pointer to stack [Body]
[PATCH bpf v2 2/4] selftests/bpf: Test the join of fp+0 with a value that is not a pointer to stack [Body]
[PATCH bpf v2 3/4] bpf: Don't trust pointers spilled in slots that a callee can write [Body]
[PATCH bpf v2 4/4] selftests/bpf: Test a callee that overwrites a spilled pointer of its caller [Body]
Series Summary
Passed
✓ All tests passed. No findings.
Sessions
Session 2026-11-02
Passed
ID (for dev) 3cf5db82-c9da-44ee-a791-ac53b59cdcc9
Status finished
Triaged OK [Log] [Trajectory]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 714b7112017fc7f8b2afabccf562acdb12d2ea7d [Config] passed [Log]
[KASAN] Boot test: Base 714b7112017fc7f8b2afabccf562acdb12d2ea7d [Config] passed [Log]
[KASAN] Build Patched 714b7112017fc7f8b2afabccf562acdb12d2ea7d [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 714b7112017fc7f8b2afabccf562acdb12d2ea7d [Config] [patched] passed [Log]
[KASAN] Fuzz 714b7112017fc7f8b2afabccf562acdb12d2ea7d [Config] 714b7112017fc7f8b2afabccf562acdb12d2ea7d [Config] [patched] passed [Log] [Artifacts]