Subject	bpf: static stack liveness data flow analysis
Author	eddyz87@gmail.com
Date	2026-04-09 01:33:03 +0000 UTC
Version	Version 1 Version 2 Version 3 Version 4
Cc	alexei.starovoitov@gmail.com 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 (14)

Name	Content [All]
[PATCH bpf-next 01/14] bpf: share several utility functions as internal API	[Body]
[PATCH bpf-next 02/14] bpf: save subprogram name in bpf_subprog_info	[Body]
[PATCH bpf-next 03/14] bpf: Add spis_*() helpers for 4-byte stack slot bitmasks	[Body]
[PATCH bpf-next 04/14] bpf: make liveness.c track stack with 4-byte granularity	[Body]
[PATCH bpf-next 05/14] bpf: 4-byte precise clean_verifier_state	[Body]
[PATCH bpf-next 06/14] bpf: prepare bpf_liveness api for use by static analysis pass	[Body]
[PATCH bpf-next 07/14] bpf: introduce forward arg-tracking dataflow analysis	[Body]
[PATCH bpf-next 08/14] bpf: record arg tracking results in bpf_liveness masks	[Body]
[PATCH bpf-next 09/14] bpf: simplify liveness to use (callsite, depth) keyed func_instances	[Body]
[PATCH bpf-next 10/14] bpf: change logging scheme for live stack analysis	[Body]
[PATCH bpf-next 11/14] selftests/bpf: update existing tests due to liveness changes	[Body]
[PATCH bpf-next 12/14] selftests/bpf: adjust verifier_log buffers	[Body]
[PATCH bpf-next 13/14] selftests/bpf: add new tests for static stack liveness analysis	[Body]
[PATCH bpf-next 14/14] bpf: poison dead stack slots	[Body]

Sessions