Patch Series

Subject	bpf: replace path-sensitive with path-insensitive live stack analysis
Author	eddyz87@gmail.com
Date	2025-09-18 18:47:30 +0000 UTC
Version	2
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 v2 01/12] bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONE	[Body]
[PATCH bpf-next v2 02/12] bpf: use compute_live_registers() info in clean_func_state	[Body]
[PATCH bpf-next v2 03/12] bpf: remove redundant REG_LIVE_READ check in stacksafe()	[Body]
[PATCH bpf-next v2 04/12] bpf: declare a few utility functions as internal api	[Body]
[PATCH bpf-next v2 05/12] bpf: compute instructions postorder per subprogram	[Body]
[PATCH bpf-next v2 06/12] bpf: callchain sensitive stack liveness tracking using CFG	[Body]
[PATCH bpf-next v2 07/12] bpf: enable callchain sensitive stack liveness tracking	[Body]
[PATCH bpf-next v2 08/12] bpf: signal error if old liveness is more conservative than new	[Body]
[PATCH bpf-next v2 09/12] bpf: disable and remove registers chain based liveness	[Body]
[PATCH bpf-next v2 10/12] bpf: table based bpf_insn_successors()	[Body]
[PATCH bpf-next v2 11/12] selftests/bpf: __not_msg() tag for test_loader framework	[Body]
[PATCH bpf-next v2 12/12] selftests/bpf: test cases for callchain sensitive live stack tracking	[Body]

Session 2025-09-18

ID (for dev)	3ed14acc-0526-41aa-a6c7-9ed41de2fafc
Status	finished
Triaged	OK [Log]
Execution Log	[Link]

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