Patch Series

Subject bpf: static stack liveness data flow analysis
Author eddyz87@gmail.com
Date 2026-04-10 01:11:20 +0000 UTC
Version
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 yatsenko@meta.com yonghong.song@linux.dev

Patches (13)

Name Content [All]
[PATCH bpf-next v2 01/13] bpf: share several utility functions as internal API [Body]
[PATCH bpf-next v2 02/13] bpf: save subprogram name in bpf_subprog_info [Body]
[PATCH bpf-next v2 03/13] bpf: Add spis_*() helpers for 4-byte stack slot bitmasks [Body]
[PATCH bpf-next v2 04/13] bpf: make liveness.c track stack with 4-byte granularity [Body]
[PATCH bpf-next v2 05/13] bpf: 4-byte precise clean_verifier_state [Body]
[PATCH bpf-next v2 06/13] bpf: prepare bpf_liveness api for use by static analysis pass [Body]
[PATCH bpf-next v2 07/13] bpf: introduce forward arg-tracking dataflow analysis [Body]
[PATCH bpf-next v2 08/13] bpf: simplify liveness to use (callsite, depth) keyed func_instances [Body]
[PATCH bpf-next v2 09/13] bpf: change logging scheme for live stack analysis [Body]
[PATCH bpf-next v2 10/13] selftests/bpf: update existing tests due to liveness changes [Body]
[PATCH bpf-next v2 11/13] selftests/bpf: adjust verifier_log buffers [Body]
[PATCH bpf-next v2 12/13] selftests/bpf: add new tests for static stack liveness analysis [Body]
[PATCH bpf-next v2 13/13] bpf: poison dead stack slots [Body]
Session 2026-04-10
ID (for dev) 635aef91-6d85-4e34-845f-0fe16500af7f
Status finished
Triaged OK [Log]
Execution Log [Link]
Test Base Patched Verdict
[KASAN] Build Base 6a14beefab457f267b8cedc6ac697a9562ec1244 [Config] passed [Log]
[KASAN] Boot test: Base 6a14beefab457f267b8cedc6ac697a9562ec1244 [Config] passed [Log]
[KASAN] Build Patched 6a14beefab457f267b8cedc6ac697a9562ec1244 [Config] [patched] passed [Log]
[KASAN] Boot test: Patched 6a14beefab457f267b8cedc6ac697a9562ec1244 [Config] [patched] passed [Log]
[KASAN] Fuzz 6a14beefab457f267b8cedc6ac697a9562ec1244 [Config] 6a14beefab457f267b8cedc6ac697a9562ec1244 [Config] [patched] passed [Log] [Artifacts]