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
Patches (17)
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]
Session 2026-07-13
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]
WARNING in bpf_diag_record_mod [Log] [Syz Repro]