Syzbot CI

Subject	bpf: Introduce proof-based verifier enhancement
Author	sunhao.th@gmail.com
Date	2025-11-06 12:52:39 +0000 UTC
Version
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com hao.sun@inf.ethz.ch john.fastabend@gmail.com linux-kernel@vger.kernel.org martin.lau@linux.dev song@kernel.org sunhao.th@gmail.com yonghong.song@linux.dev

Subject

Author

sunhao.th@gmail.com

Date

2025-11-06 12:52:39 +0000 UTC

Version

andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net eddyz87@gmail.com hao.sun@inf.ethz.ch john.fastabend@gmail.com linux-kernel@vger.kernel.org martin.lau@linux.dev song@kernel.org sunhao.th@gmail.com yonghong.song@linux.dev

Name	Content [All]
[PATCH RFC 01/17] bpf: Add BCF expr and proof rule definitions	[Body]
[PATCH RFC 02/17] bpf: Add bcf_checker top-level workflow	[Body]
[PATCH RFC 03/17] bpf: Add UAPI fields for BCF proof interaction	[Body]
[PATCH RFC 04/17] bpf: Add top-level workflow of bcf_refine()	[Body]
[PATCH RFC 05/17] bpf: Add top-level workflow of bcf_track()	[Body]
[PATCH RFC 06/17] bpf: Add bcf_match_path() to follow the path suffix	[Body]
[PATCH RFC 07/17] bpf: Add bcf_expr management and binding	[Body]
[PATCH RFC 08/17] bpf: Track mov and signed extension	[Body]
[PATCH RFC 09/17] bpf: Track alu operations in bcf_track()	[Body]
[PATCH RFC 10/17] bpf: Add bcf_alu() 32bits optimization	[Body]
[PATCH RFC 11/17] bpf: Track stack spill/fill in bcf_track()	[Body]
[PATCH RFC 12/17] bpf: Track path constraint	[Body]
[PATCH RFC 13/17] bpf: Skip state pruning for the parent states	[Body]
[PATCH RFC 14/17] bpf: Add mem access bound refinement	[Body]
[PATCH RFC 15/17] bpf: Preserve verifier_env and request BCF	[Body]
[PATCH RFC 16/17] bpf: Resume verifier env and check proof	[Body]
[PATCH RFC 17/17] bpf: Enable bcf for priv users	[Body]

Name

Content [All]

Passed

Test	Base	Patched	Verdict
[KASAN] Build Base	11369e6e337a3c57ba60b7788046fb41e234b083 [Config]		passed [Log]
[KASAN] Boot test: Base	11369e6e337a3c57ba60b7788046fb41e234b083 [Config]		passed
[KASAN] Build Patched		11369e6e337a3c57ba60b7788046fb41e234b083 [Config] [patched]	passed [Log]
[KASAN] Boot test: Patched		11369e6e337a3c57ba60b7788046fb41e234b083 [Config] [patched]	passed
[KASAN] Fuzzing	11369e6e337a3c57ba60b7788046fb41e234b083 [Config]	11369e6e337a3c57ba60b7788046fb41e234b083 [Config] [patched]	passed [Log] [Artifacts]