Patch Series

Subject bpf: static stack liveness data flow analysis
Author eddyz87@gmail.com
Date 2026-04-09 01:33:03 +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 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]
Session 2026-04-09
ID (for dev) d2fab148-229a-442e-b9d5-f97896252fca
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]