Syzbot CI

Subject	bpf: A verifier that joins states
Author	alexei.starovoitov@gmail.com
Date	2026-11-05 20:44:38 +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 v2 01/35] bpf: Add may_goto to the loops that the verifier marks	[Body]
[PATCH bpf-next v2 02/35] bpf: Limit depth and time of recursive subprogs at run time	[Body]
[PATCH bpf-next v2 03/35] bpf: Add union and widening of the range of a register	[Body]
[PATCH bpf-next v2 04/35] bpf: Add join of registers and stack slots	[Body]
[PATCH bpf-next v2 05/35] bpf: Add join of verifier states	[Body]
[PATCH bpf-next v2 06/35] bpf: Tell which arguments of a call a join must leave alone	[Body]
[PATCH bpf-next v2 07/35] bpf: Add the data structures of the main pass over the control flow graph	[Body]
[PATCH bpf-next v2 08/35] bpf: Order the insns, find what stops a loop and where may_goto can go	[Body]
[PATCH bpf-next v2 09/35] bpf: Find the registers that hold a number or a pointer to arena	[Body]
[PATCH bpf-next v2 10/35] bpf: Find the registers and stack slots that later checks depend on	[Body]
[PATCH bpf-next v2 11/35] bpf: Add the sets of states at an insn and the entries of functions	[Body]
[PATCH bpf-next v2 12/35] bpf: Compare states of different iterations of a loop	[Body]
[PATCH bpf-next v2 13/35] bpf: Decide which states are not joined	[Body]
[PATCH bpf-next v2 14/35] bpf: Merge the state that arrives into the set at an insn	[Body]
[PATCH bpf-next v2 15/35] bpf: Move states along edges, into loops and subprogs and out of them	[Body]
[PATCH bpf-next v2 16/35] bpf: Make the state after a call from the caller's state and an exit state	[Body]
[PATCH bpf-next v2 17/35] bpf: Enter and leave loops in the main pass, build flow.c	[Body]
[PATCH bpf-next v2 18/35] bpf: Tell the passes over the graph where an added may_goto goes	[Body]
[PATCH bpf-next v2 19/35] bpf: Verify programs as a fixpoint over the control flow graph	[Body]
[PATCH bpf-next v2 20/35] bpf: Keep the count of a loop when a register has no closed form	[Body]
[PATCH bpf-next v2 21/35] bpf: Verify static subprogs on their own	[Body]
[PATCH bpf-next v2 22/35] bpf: Allow recursive subprogs	[Body]
[PATCH bpf-next v2 23/35] bpf: Remove is_state_visited(), bpf_compute_scc() and iter.depth	[Body]
[PATCH bpf-next v2 24/35] bpf: Remove precision tracking	[Body]
[PATCH bpf-next v2 25/35] bpf: Remove prune points, levels of state comparison and pop_stack()	[Body]
[PATCH bpf-next v2 26/35] bpf: Update comments about paths, pruning and explored states	[Body]
[PATCH bpf-next v2 27/35] bpf: Track a pointer to one of a set of functions	[Body]
[PATCH bpf-next v2 28/35] bpf: callx reads what the subprogs whose address is taken read	[Body]
[PATCH bpf-next v2 29/35] selftests/bpf: Adjust tests to log lines that are gone	[Body]
[PATCH bpf-next v2 30/35] selftests/bpf: Adjust tests to new verdicts, messages and order	[Body]
[PATCH bpf-next v2 31/35] selftests/bpf: Test states that are not joined	[Body]
[PATCH bpf-next v2 32/35] selftests/bpf: Test static subprogs that are verified on their own	[Body]
[PATCH bpf-next v2 33/35] selftests/bpf: Test loops that are counted, walked or widened	[Body]
[PATCH bpf-next v2 34/35] selftests/bpf: Test progs that run out of budget	[Body]
[PATCH bpf-next v2 35/35] selftests/bpf: Test callx of one of a set of functions	[Body]

Session 2026-11-05

waiting

ID (for dev)	10f08a44-0f66-4d37-a887-a07b8ff972b9
Status	waiting

Test	Base	Patched	Verdict

Patches (35)

Series Summary

Sessions

Session 2026-11-05