Patch Series

Subject	bpf: replace path-sensitive with path-insensitive live stack analysis
Author	eddyz87@gmail.com
Date	2025-09-19 02:18:34 +0000 UTC
Version	3
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com kernel-team@fb.com martin.lau@linux.dev yonghong.song@linux.dev

Patches (12)

Name	Content
[PATCH bpf-next v3 01/12] bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONE	[Body]
[PATCH bpf-next v3 02/12] bpf: use compute_live_registers() info in clean_func_state	[Body]
[PATCH bpf-next v3 03/12] bpf: remove redundant REG_LIVE_READ check in stacksafe()	[Body]
[PATCH bpf-next v3 04/12] bpf: declare a few utility functions as internal api	[Body]
[PATCH bpf-next v3 05/12] bpf: compute instructions postorder per subprogram	[Body]
[PATCH bpf-next v3 06/12] bpf: callchain sensitive stack liveness tracking using CFG	[Body]
[PATCH bpf-next v3 07/12] bpf: enable callchain sensitive stack liveness tracking	[Body]
[PATCH bpf-next v3 08/12] bpf: signal error if old liveness is more conservative than new	[Body]
[PATCH bpf-next v3 09/12] bpf: disable and remove registers chain based liveness	[Body]
[PATCH bpf-next v3 10/12] bpf: table based bpf_insn_successors()	[Body]
[PATCH bpf-next v3 11/12] selftests/bpf: __not_msg() tag for test_loader framework	[Body]
[PATCH bpf-next v3 12/12] selftests/bpf: test cases for callchain sensitive live stack tracking	[Body]

Session 2025-09-19

ID (for dev)	206d0417-3d5e-4721-a0d9-ff7873e075ce
Status	finished
Triaged	OK [Log]
Execution Log	[Link]

Test	Base	Patched	Verdict
Build Base	3547a61ee2fe8f1fc46d4326a9517d97ae3614cd [Config]		passed [Log]
Build Patched		3547a61ee2fe8f1fc46d4326a9517d97ae3614cd [Config] [patched]	passed [Log]
Boot test: Patched		3547a61ee2fe8f1fc46d4326a9517d97ae3614cd [Config] [patched]	passed
Boot test: Base	3547a61ee2fe8f1fc46d4326a9517d97ae3614cd [Config]		passed
Fuzzing	3547a61ee2fe8f1fc46d4326a9517d97ae3614cd [Config]	3547a61ee2fe8f1fc46d4326a9517d97ae3614cd [Config] [patched]	passed [Log] [Artifacts]