Syzbot CI

Subject	bpf: static stack liveness data flow analysis
Author	eddyz87@gmail.com
Date	2026-04-10 09:29:05 +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

Subject

bpf: static stack liveness data flow analysis

Author

eddyz87@gmail.com

Date

2026-04-10 09:29:05 +0000 UTC

Version

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

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

Name

Content [All]

[PATCH bpf-next v3 01/13] bpf: share several utility functions as internal API

[PATCH bpf-next v3 02/13] bpf: save subprogram name in bpf_subprog_info

[PATCH bpf-next v3 03/13] bpf: Add spis_*() helpers for 4-byte stack slot bitmasks

[PATCH bpf-next v3 04/13] bpf: make liveness.c track stack with 4-byte granularity

[PATCH bpf-next v3 05/13] bpf: 4-byte precise clean_verifier_state

[PATCH bpf-next v3 06/13] bpf: prepare bpf_liveness api for use by static analysis pass

[PATCH bpf-next v3 07/13] bpf: introduce forward arg-tracking dataflow analysis

[PATCH bpf-next v3 08/13] bpf: simplify liveness to use (callsite, depth) keyed func_instances

[PATCH bpf-next v3 09/13] bpf: change logging scheme for live stack analysis

[PATCH bpf-next v3 10/13] selftests/bpf: update existing tests due to liveness changes

[PATCH bpf-next v3 11/13] selftests/bpf: adjust verifier_log buffers

[PATCH bpf-next v3 12/13] selftests/bpf: add new tests for static stack liveness analysis

[PATCH bpf-next v3 13/13] bpf: poison dead stack slots

Session 2026-04-10

Passed

ID (for dev)	f7c7c69c-09a9-4750-b526-6c92de01d85a
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]

Patches (13)

Series Summary

Sessions

Session 2026-04-10