syzbot


WARNING in bpf_check (4)

Status: upstream: reported C repro on 2025/05/21 13:11
Subsystems: bpf
[Documentation on labels]
Reported-by: syzbot+0ef84a7bdf5301d4cbec@syzkaller.appspotmail.com
First crash: 58d, last: 16h45m
Cause bisection: introduced by (bisect log) :
commit 0df1a55afa832f463f9ad68ddc5de92230f1bc8a
Author: Paul Chaignon <paul.chaignon@gmail.com>
Date: Tue Jul 1 18:36:15 2025 +0000

  bpf: Warn on internal verifier errors

Crash: WARNING in bpf_check (log)
Repro: C syz .config
  
Discussions (2)
Title Replies (including bot) Last reply
[syzbot] [bpf?] WARNING in bpf_check (4) 1 (4) 2025/07/06 21:47
[PATCH bpf] bpf: verifier: support BPF_LOAD_ACQ in insn_def_regno() 1 (1) 2025/05/21 18:39
Similar bugs (3)
Kernel Title Rank 🛈 Repro Cause bisect Fix bisect Count Last Reported Patched Status
upstream WARNING in bpf_check (2) bpf -1 C 9 2433d 2433d 11/29 fixed on 2018/12/07 08:24
upstream WARNING in bpf_check bpf -1 3 2553d 2559d 8/29 fixed on 2018/08/07 13:43
upstream WARNING in bpf_check (3) -1 C done done 1736 1016d 1949d 22/29 fixed on 2023/02/24 13:50
Last patch testing requests (5)
Created Duration User Patch Repo Result
2025/06/09 18:46 25m retest repro upstream OK log
2025/06/09 18:46 24m retest repro upstream OK log
2025/06/09 18:46 24m retest repro upstream OK log
2025/06/09 18:46 25m retest repro upstream OK log
2025/05/21 18:31 25m puranjay@kernel.org patch upstream OK log

Sample crash report:
------------[ cut here ]------------
verifier bug: error during ctx access conversion(1)
WARNING: CPU: 1 PID: 5836 at kernel/bpf/verifier.c:21364 convert_ctx_accesses kernel/bpf/verifier.c:21364 [inline]
WARNING: CPU: 1 PID: 5836 at kernel/bpf/verifier.c:21364 bpf_check+0x18deb/0x1a5d0 kernel/bpf/verifier.c:24655
Modules linked in:
CPU: 1 UID: 0 PID: 5836 Comm: syz-executor247 Not tainted 6.16.0-rc3-syzkaller-gcce3fee729ee #0 PREEMPT(full) 
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 05/07/2025
RIP: 0010:convert_ctx_accesses kernel/bpf/verifier.c:21364 [inline]
RIP: 0010:bpf_check+0x18deb/0x1a5d0 kernel/bpf/verifier.c:24655
Code: 8b e8 69 8b af ff 90 0f 0b 90 90 e9 71 65 ff ff e8 4a e8 eb ff c6 05 02 99 b6 0d 01 90 48 c7 c7 e0 f5 91 8b e8 46 8b af ff 90 <0f> 0b 90 90 e9 99 74 ff ff e8 27 e8 eb ff c6 05 e4 98 b6 0d 01 90
RSP: 0018:ffffc90003f1f3a0 EFLAGS: 00010246
RAX: 255832d0f82d3d00 RBX: 0000000000000004 RCX: ffff88802f55da00
RDX: 0000000000000000 RSI: 0000000000000001 RDI: 0000000000000002
RBP: ffffc90003f1fb50 R08: 0000000000000003 R09: 0000000000000004
R10: dffffc0000000000 R11: fffffbfff1bfaa04 R12: 0000000000000000
R13: dffffc0000000000 R14: ffff888032b28000 R15: dffffc0000000000
FS:  00005555748b6380(0000) GS:ffff888125d4d000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 0000000039995388 CR3: 0000000076662000 CR4: 00000000003526f0
DR0: 0000000000000000 DR1: 0000000000000000 DR2: 0000000000000000
DR3: 0000000000000000 DR6: 00000000fffe0ff0 DR7: 0000000000000400
Call Trace:
 <TASK>
 bpf_prog_load+0x1318/0x1930 kernel/bpf/syscall.c:2972
 __sys_bpf+0x5f1/0x860 kernel/bpf/syscall.c:5978
 __do_sys_bpf kernel/bpf/syscall.c:6085 [inline]
 __se_sys_bpf kernel/bpf/syscall.c:6083 [inline]
 __x64_sys_bpf+0x7c/0x90 kernel/bpf/syscall.c:6083
 do_syscall_x64 arch/x86/entry/syscall_64.c:63 [inline]
 do_syscall_64+0xfa/0x3b0 arch/x86/entry/syscall_64.c:94
 entry_SYSCALL_64_after_hwframe+0x77/0x7f
RIP: 0033:0x7fb0cdcf2429
Code: 48 83 c4 28 c3 e8 37 17 00 00 0f 1f 80 00 00 00 00 48 89 f8 48 89 f7 48 89 d6 48 89 ca 4d 89 c2 4d 89 c8 4c 8b 4c 24 08 0f 05 <48> 3d 01 f0 ff ff 73 01 c3 48 c7 c1 b8 ff ff ff f7 d8 64 89 01 48
RSP: 002b:00007ffdc32ebea8 EFLAGS: 00000246 ORIG_RAX: 0000000000000141
RAX: ffffffffffffffda RBX: 0000200000000000 RCX: 00007fb0cdcf2429
RDX: 0000000000000070 RSI: 0000200000000440 RDI: 0000000000000005
RBP: 00007fb0cdd65610 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000001
R13: 00007ffdc32ec078 R14: 0000000000000001 R15: 0000000000000001
 </TASK>

Crashes (153):
Time Kernel Commit Syzkaller Config Log Report Syz repro C repro VM info Assets (help?) Manager Title
2025/07/01 23:38 bpf-next cce3fee729ee ffe4b334 .config strace log report syz / log C [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/05/26 18:38 upstream 0ff41df1cb26 06877188 .config console log report info [disk image (non-bootable)] [vmlinux] [kernel image] ci-qemu2-arm32 WARNING in bpf_check
2025/05/17 19:49 upstream 172a9d94339c f41472b0 .config console log report syz / log C [disk image (non-bootable)] [vmlinux] [kernel image] ci-qemu2-arm32 WARNING in bpf_check
2025/05/17 18:19 upstream 172a9d94339c f41472b0 .config console log report syz / log C [disk image (non-bootable)] [vmlinux] [kernel image] ci-qemu2-arm32 WARNING in bpf_check
2025/05/17 16:49 upstream 172a9d94339c f41472b0 .config console log report syz / log C [disk image (non-bootable)] [vmlinux] [kernel image] ci-qemu2-arm32 WARNING in bpf_check
2025/05/17 15:16 upstream 172a9d94339c f41472b0 .config console log report syz / log C [disk image (non-bootable)] [vmlinux] [kernel image] ci-qemu2-arm32 WARNING in bpf_check
2025/07/13 23:01 bpf-next ea2aecdf7a95 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/13 15:22 bpf-next ea2aecdf7a95 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/12 18:54 bpf-next ea2aecdf7a95 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/12 10:01 bpf-next ea2aecdf7a95 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/11 04:22 bpf-next ad97cb2ed06a 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/11 03:20 bpf-next ad97cb2ed06a 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/10 19:36 bpf-next ad97cb2ed06a 19d4829f .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/08 04:55 bpf-next 6e5cae9ddae7 4f67c4ae .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/07 20:23 bpf-next 6e5cae9ddae7 4f67c4ae .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/07 11:44 bpf-next 03fe01ddd1d8 4f67c4ae .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/06 08:47 bpf-next 03fe01ddd1d8 4f67c4ae .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/06 01:09 bpf-next 03fe01ddd1d8 4f67c4ae .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/05 10:36 bpf-next 03fe01ddd1d8 4f67c4ae .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/04 14:46 bpf-next 03fe01ddd1d8 76ad128c .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/04 11:24 bpf-next 1f24c0d81990 76ad128c .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/04 01:34 bpf-next 1f24c0d81990 76ad128c .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/03 14:28 bpf-next 38d95beb4b24 115ceea7 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/03 11:47 bpf-next 38d95beb4b24 115ceea7 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/02 05:39 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 22:06 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 22:05 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 22:05 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 22:03 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 22:03 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 22:02 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:57 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:54 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:54 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:52 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:51 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:51 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:51 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:51 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:49 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:49 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:48 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:48 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/01 20:48 bpf-next cce3fee729ee ffe4b334 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-bpf-next-kasan-gce WARNING in bpf_check
2025/07/13 09:06 linux-next a62b7a37e6fc 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/12 02:11 linux-next a62b7a37e6fc 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/11 21:48 linux-next a62b7a37e6fc 3cda49cf .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/06 22:44 linux-next 26ffb3d6f02c 4f67c4ae .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/05 12:14 linux-next 26ffb3d6f02c 4f67c4ae .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/04 17:21 linux-next 26ffb3d6f02c 76ad128c .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/04 15:49 linux-next 26ffb3d6f02c 76ad128c .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/04 14:48 linux-next 26ffb3d6f02c 76ad128c .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/04 13:45 linux-next 26ffb3d6f02c 76ad128c .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
2025/07/04 11:58 linux-next 26ffb3d6f02c 76ad128c .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in bpf_check
* Struck through repros no longer work on HEAD.