Syzbot CI

Subject	bpf: A verifier that joins states
Author	alexei.starovoitov@gmail.com
Date	2026-11-07 03:37:09 +0000 UTC
Version
Cc	alexei.starovoitov@gmail.com andrii@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com memxor@gmail.com

Name	Content [All]
[PATCH bpf-next v4 01/46] bpf: Add may_goto to the loops that the verifier marks	[Body]
[PATCH bpf-next v4 02/46] bpf: Limit depth and time of recursive subprogs at run time	[Body]
[PATCH bpf-next v4 03/46] bpf: Add union and widening of the range of a register	[Body]
[PATCH bpf-next v4 04/46] bpf: Add join of registers and stack slots	[Body]
[PATCH bpf-next v4 05/46] bpf: Add join of verifier states	[Body]
[PATCH bpf-next v4 06/46] bpf: Tell which arguments of a call a join must leave alone	[Body]
[PATCH bpf-next v4 07/46] bpf: Add the data structures of the main pass over the control flow graph	[Body]
[PATCH bpf-next v4 08/46] bpf: Order the insns, find what stops a loop and where may_goto can go	[Body]
[PATCH bpf-next v4 09/46] bpf: Find the registers that hold a number or a pointer to arena	[Body]
[PATCH bpf-next v4 10/46] bpf: Find the registers and stack slots that later checks depend on	[Body]
[PATCH bpf-next v4 11/46] bpf: Add the sets of states at an insn and the entries of functions	[Body]
[PATCH bpf-next v4 12/46] bpf: Compare states of different iterations of a loop	[Body]
[PATCH bpf-next v4 13/46] bpf: Decide which states are not joined	[Body]
[PATCH bpf-next v4 14/46] bpf: Merge the state that arrives into the set at an insn	[Body]
[PATCH bpf-next v4 15/46] bpf: Move states along edges, into loops and subprogs and out of them	[Body]
[PATCH bpf-next v4 16/46] bpf: Make the state after a call from the caller's state and an exit state	[Body]
[PATCH bpf-next v4 17/46] bpf: Enter and leave loops in the main pass, build flow.c	[Body]
[PATCH bpf-next v4 18/46] bpf: Tell the passes over the graph where an added may_goto goes	[Body]
[PATCH bpf-next v4 19/46] bpf: Verify programs as a fixpoint over the control flow graph	[Body]
[PATCH bpf-next v4 20/46] bpf: Keep the count of a loop when a register has no closed form	[Body]
[PATCH bpf-next v4 21/46] bpf: Verify static subprogs on their own	[Body]
[PATCH bpf-next v4 22/46] bpf: Allow recursive subprogs	[Body]
[PATCH bpf-next v4 23/46] bpf: Remove is_state_visited(), bpf_compute_scc() and iter.depth	[Body]
[PATCH bpf-next v4 24/46] bpf: Remove precision tracking	[Body]
[PATCH bpf-next v4 25/46] bpf: Remove prune points, levels of state comparison and pop_stack()	[Body]
[PATCH bpf-next v4 26/46] bpf: Update comments about paths, pruning and explored states	[Body]
[PATCH bpf-next v4 27/46] bpf: Track a pointer to one of a set of functions	[Body]
[PATCH bpf-next v4 28/46] bpf: callx reads what the subprogs whose address is taken read	[Body]
[PATCH bpf-next v4 29/46] bpf: Keep the first iteration of a counted loop apart	[Body]
[PATCH bpf-next v4 30/46] bpf: What a call returns in each iteration is like what the loop loads	[Body]
[PATCH bpf-next v4 31/46] bpf: Find where the jumps of a loop stop a number	[Body]
[PATCH bpf-next v4 32/46] bpf: A loop is one iteration shorter behind the jump that counts it	[Body]
[PATCH bpf-next v4 33/46] bpf: Give the places of a back edge to the jumps that count	[Body]
[PATCH bpf-next v4 34/46] bpf: Count a loop whose exit tests a copy of the counter	[Body]
[PATCH bpf-next v4 35/46] bpf: Allow tail calls and LD_ABS in subprogs that return void	[Body]
[PATCH bpf-next v4 36/46] bpf: A part of a pointer that is spilled is a number	[Body]
[PATCH bpf-next v4 37/46] bpf: 32-bit add to a pointer and pointer op pointer make a number	[Body]
[PATCH bpf-next v4 38/46] selftests/bpf: Adjust tests to log lines that are gone	[Body]
[PATCH bpf-next v4 39/46] selftests/bpf: Adjust tests to new verdicts, messages and order	[Body]
[PATCH bpf-next v4 40/46] selftests/bpf: Test states that are not joined	[Body]
[PATCH bpf-next v4 41/46] selftests/bpf: Test static subprogs that are verified on their own	[Body]
[PATCH bpf-next v4 42/46] selftests/bpf: Test loops that are counted, walked or widened	[Body]
[PATCH bpf-next v4 43/46] selftests/bpf: Test progs that run out of budget	[Body]
[PATCH bpf-next v4 44/46] selftests/bpf: Test callx of one of a set of functions	[Body]
[PATCH bpf-next v4 45/46] selftests/bpf: Test pointers that become numbers and subprogs that return void	[Body]
[PATCH bpf-next v4 46/46] selftests/bpf: Test progs without bpf_for(), zero, can_loop and such	[Body]

Session 2026-11-07

waiting

ID (for dev)	b17e7452-4166-41b9-aa76-419f7df64cbf
Status	waiting

Test	Base	Patched	Verdict

Patches (46)

Series Summary

Sessions

Session 2026-11-07