Patch Series

Subject	bpf: Introduce verifier test oracle
Author	paul.chaignon@gmail.com
Date	2025-12-08 01:56:49 +0000 UTC
Version	1
Cc	andrii@kernel.org ast@kernel.org bpf@vger.kernel.org daniel@iogearbox.net paul.chaignon@gmail.com qmo@kernel.org

Patches (8)

Name	Content [All]
[PATCH bpf-next 1/8] bpf: Save pruning point states in oracle	[Body]
[PATCH bpf-next 2/8] bpf: Patch bytecode with oracle check instructions	[Body]
[PATCH bpf-next 3/8] bpf: Create inner oracle maps	[Body]
[PATCH bpf-next 4/8] bpf: Populate inner oracle maps	[Body]
[PATCH bpf-next 5/8] bpf: Create and populate oracle map	[Body]
[PATCH bpf-next 6/8] bpf: Check oracle in interpreter	[Body]
[PATCH bpf-next 7/8] bpf: Introduce CONFIG_BPF_ORACLE	[Body]
[PATCH bpf-next 8/8] bpftool: Dump oracle maps	[Body]

Session 2025-12-08

ID (for dev)	fb3b18a8-242f-4b27-8f78-9426b10ca7aa
Status	finished
Triaged	OK [Log]
Execution Log	[Link]

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