Syzbot CI

Subject	Redesign Verification Errors
Author	memxor@gmail.com
Date	2026-07-13 15:38:50 +0000 UTC
Version
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com emil@etsalapatis.com kernel-team@meta.com kkd@meta.com memxor@gmail.com

Subject

Author

memxor@gmail.com

Date

2026-07-13 15:38:50 +0000 UTC

Version

andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com emil@etsalapatis.com kernel-team@meta.com kkd@meta.com memxor@gmail.com

Name	Content [All]
[PATCH bpf-next v3 01/17] bpf: Add verifier diagnostics report helpers	[Body]
[PATCH bpf-next v3 02/17] bpf: Add source and instruction diagnostic context	[Body]
[PATCH bpf-next v3 03/17] bpf: Add verifier diagnostic event log	[Body]
[PATCH bpf-next v3 04/17] bpf: Prune verifier diagnostics when switching paths	[Body]
[PATCH bpf-next v3 05/17] bpf: Track verifier register diagnostic events	[Body]
[PATCH bpf-next v3 06/17] bpf: Track verifier reference diagnostic events	[Body]
[PATCH bpf-next v3 07/17] bpf: Track verifier context diagnostic events	[Body]
[PATCH bpf-next v3 08/17] bpf: Report Register Type Safety errors	[Body]
[PATCH bpf-next v3 09/17] bpf: Report Memory Safety bounds errors	[Body]
[PATCH bpf-next v3 10/17] bpf: Report Resource Lifetime reference leaks	[Body]
[PATCH bpf-next v3 11/17] bpf: Report Call Type Safety argument errors	[Body]
[PATCH bpf-next v3 12/17] bpf: Report Execution Context Safety errors	[Body]
[PATCH bpf-next v3 13/17] bpf: Report Program Structure CFG errors	[Body]
[PATCH bpf-next v3 14/17] bpf: Report Policy helper and kfunc errors	[Body]
[PATCH bpf-next v3 15/17] bpf: Report Verifier Limit errors	[Body]
[PATCH bpf-next v3 16/17] bpf: Report Verifier Internal errors	[Body]
[PATCH bpf-next v3 17/17] bpf: Gate verifier diagnostics on log level	[Body]

Name

Content [All]

[PATCH bpf-next v3 01/17] bpf: Add verifier diagnostics report helpers

[PATCH bpf-next v3 02/17] bpf: Add source and instruction diagnostic context

[PATCH bpf-next v3 03/17] bpf: Add verifier diagnostic event log

[PATCH bpf-next v3 04/17] bpf: Prune verifier diagnostics when switching paths

[PATCH bpf-next v3 05/17] bpf: Track verifier register diagnostic events

[PATCH bpf-next v3 06/17] bpf: Track verifier reference diagnostic events

[PATCH bpf-next v3 07/17] bpf: Track verifier context diagnostic events

[PATCH bpf-next v3 08/17] bpf: Report Register Type Safety errors

[PATCH bpf-next v3 09/17] bpf: Report Memory Safety bounds errors

[PATCH bpf-next v3 10/17] bpf: Report Resource Lifetime reference leaks

[PATCH bpf-next v3 11/17] bpf: Report Call Type Safety argument errors

[PATCH bpf-next v3 12/17] bpf: Report Execution Context Safety errors

[PATCH bpf-next v3 13/17] bpf: Report Program Structure CFG errors

[PATCH bpf-next v3 14/17] bpf: Report Policy helper and kfunc errors

[PATCH bpf-next v3 15/17] bpf: Report Verifier Limit errors

[PATCH bpf-next v3 16/17] bpf: Report Verifier Internal errors

[PATCH bpf-next v3 17/17] bpf: Gate verifier diagnostics on log level

Session 2026-07-13

1 Findings

ID (for dev)	5340b402-f2ad-444f-96c7-418925640095
Status	finished
Triaged	OK [Log] [Trajectory]
Execution Log	[Link]

Test	Base	Patched	Verdict
[KASAN] Build Base	9a3a07d06e7d74f4aecc51396c771149336ac55d [Config]		passed [Log]
[KASAN] Boot test: Base	9a3a07d06e7d74f4aecc51396c771149336ac55d [Config]		passed [Log]
[KASAN] Build Patched		9a3a07d06e7d74f4aecc51396c771149336ac55d [Config] [patched]	passed [Log]
[KASAN] Boot test: Patched		9a3a07d06e7d74f4aecc51396c771149336ac55d [Config] [patched]	passed [Log]
[KASAN] Fuzz	9a3a07d06e7d74f4aecc51396c771149336ac55d [Config]	9a3a07d06e7d74f4aecc51396c771149336ac55d [Config] [patched]	passed [Log] [Artifacts]
finding WARNING in bpf_diag_record_mod Log Syz Repro

Patches (17)

Series Summary

Sessions

Session 2026-07-13