Patch Series

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

Patches (17)

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]

Session 2025-11-06

ID (for dev) 4bc7478e-cd39-4f79-b1ef-3ef5e072c1e9
Status finished
Triaged OK [Log]
Execution Log [Link]
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]