syzbot


WARNING in do_check (2)

Status: closed as dup on 2025/09/22 11:17
Subsystems: bpf
[Documentation on labels]
Reported-by: syzbot+e1fa4a4a9361f2f3bbd6@syzkaller.appspotmail.com
First crash: 34d, last: 13h06m
Cause bisection: introduced by (bisect log) :
commit dadb59104c6441f54d0c42bba3e4bd11e25fc6d9
Author: Luis Gerhorst <luis.gerhorst@fau.de>
Date: Sat Jul 5 19:09:07 2025 +0000

  bpf: Fix aux usage after do_check_insn()

Crash: WARNING in do_check (log)
Repro: C syz .config
  
Duplicate of
Title Rank 🛈 Repro Cause bisect Fix bisect Count Last Reported
WARNING in maybe_exit_scc bpf -1 C done 59 19d 34d
Discussions (1)
Title Replies (including bot) Last reply
[syzbot] [bpf?] WARNING in do_check (2) 2 (5) 2025/09/22 11:17
Similar bugs (1)
Kernel Title Rank 🛈 Repro Cause bisect Fix bisect Count Last Reported Patched Status
upstream WARNING in do_check bpf -1 C error 51 57d 128d 29/29 fixed on 2025/09/04 16:57
Last patch testing requests (1)
Created Duration User Patch Repo Result
2025/09/19 14:20 24m paul.chaignon@gmail.com git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next.git a3c73d629ea1373af3c0c954d41fd1af555492e3 OK log

Sample crash report:
------------[ cut here ]------------
verifier bug: scc exit: no visit info for call chain (1)(1)
WARNING: CPU: 0 PID: 6062 at kernel/bpf/verifier.c:1950 maybe_exit_scc kernel/bpf/verifier.c:1949 [inline]
WARNING: CPU: 0 PID: 6062 at kernel/bpf/verifier.c:1950 update_branch_counts kernel/bpf/verifier.c:2040 [inline]
WARNING: CPU: 0 PID: 6062 at kernel/bpf/verifier.c:1950 do_check+0xe228/0xe520 kernel/bpf/verifier.c:20135
Modules linked in:
CPU: 0 UID: 0 PID: 6062 Comm: syz.0.17 Not tainted syzkaller #0 PREEMPT(full) 
Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 08/18/2025
RIP: 0010:maybe_exit_scc kernel/bpf/verifier.c:1949 [inline]
RIP: 0010:update_branch_counts kernel/bpf/verifier.c:2040 [inline]
RIP: 0010:do_check+0xe228/0xe520 kernel/bpf/verifier.c:20135
Code: c6 05 35 d3 b6 0d 01 90 48 8b 7c 24 10 48 8b b4 24 e0 00 00 00 e8 28 8e 00 00 48 c7 c7 80 f6 91 8b 48 89 c6 e8 a9 a1 ac ff 90 <0f> 0b 90 90 e9 a8 fc ff ff e8 9a 04 e9 ff c6 05 c1 d2 b6 0d 01 90
RSP: 0018:ffffc90003b9f1c0 EFLAGS: 00010246
RAX: bb0e1817e9dd7600 RBX: 0000000000000000 RCX: ffff88802faf0000
RDX: 0000000000000000 RSI: 0000000000000001 RDI: 0000000000000002
RBP: ffffc90003b9f528 R08: 0000000000000003 R09: 0000000000000004
R10: dffffc0000000000 R11: fffffbfff1bfa22c R12: dffffc0000000000
R13: ffffc90000a7e0a0 R14: 0000000000000000 R15: ffff88805b1ebd00
FS:  00005555720d8500(0000) GS:ffff888125c15000(0000) knlGS:0000000000000000
CS:  0010 DS: 0000 ES: 0000 CR0: 0000000080050033
CR2: 0000200000003000 CR3: 0000000075b7d000 CR4: 0000000000350ef0
Call Trace:
 <TASK>
 do_check_common+0x1949/0x24f0 kernel/bpf/verifier.c:23264
 do_check_main kernel/bpf/verifier.c:23347 [inline]
 bpf_check+0x1746a/0x1d2d0 kernel/bpf/verifier.c:24707
 bpf_prog_load+0x1318/0x1930 kernel/bpf/syscall.c:2979
 __sys_bpf+0x528/0x870 kernel/bpf/syscall.c:6029
 __do_sys_bpf kernel/bpf/syscall.c:6139 [inline]
 __se_sys_bpf kernel/bpf/syscall.c:6137 [inline]
 __x64_sys_bpf+0x7c/0x90 kernel/bpf/syscall.c:6137
 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:0x7ff4c0d8eba9
Code: ff ff c3 66 2e 0f 1f 84 00 00 00 00 00 0f 1f 40 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 a8 ff ff ff f7 d8 64 89 01 48
RSP: 002b:00007ffeb05e37d8 EFLAGS: 00000246 ORIG_RAX: 0000000000000141
RAX: ffffffffffffffda RBX: 00007ff4c0fd5fa0 RCX: 00007ff4c0d8eba9
RDX: 0000000000000048 RSI: 00002000000017c0 RDI: 0000000000000005
RBP: 00007ff4c0e11e19 R08: 0000000000000000 R09: 0000000000000000
R10: 0000000000000000 R11: 0000000000000246 R12: 0000000000000000
R13: 00007ff4c0fd5fa0 R14: 00007ff4c0fd5fa0 R15: 0000000000000003
 </TASK>

Crashes (42):
Time Kernel Commit Syzkaller Config Log Report Syz repro C repro VM info Assets (help?) Manager Title
2025/09/15 16:06 upstream f83ec76bf285 e2beed91 .config console log report syz / log C [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 15:23 upstream f83ec76bf285 e2beed91 .config console log report syz / log C [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 14:39 upstream f83ec76bf285 e2beed91 .config console log report syz / log C [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 13:52 upstream f83ec76bf285 e2beed91 .config console log report syz / log C [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 14:54 upstream f83ec76bf285 e2beed91 .config console log report syz / log C [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/15 14:21 upstream f83ec76bf285 e2beed91 .config console log report syz / log C [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/15 13:48 upstream f83ec76bf285 e2beed91 .config console log report syz / log C [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/15 15:21 linux-next 590b221ed425 e2beed91 .config console log report syz / log C [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/09/15 14:40 linux-next 590b221ed425 e2beed91 .config console log report syz / log C [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/09/15 13:58 linux-next 590b221ed425 e2beed91 .config console log report syz / log C [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/09/27 08:15 upstream fec734e8d564 001c9061 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/27 08:15 upstream fec734e8d564 001c9061 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/25 14:36 upstream bf40f4b87761 0abd0691 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-smack-root WARNING in do_check
2025/09/25 14:36 upstream bf40f4b87761 0abd0691 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-smack-root WARNING in do_check
2025/09/25 14:00 upstream bf40f4b87761 0abd0691 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/25 14:00 upstream bf40f4b87761 0abd0691 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 15:40 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-smack-root WARNING in do_check
2025/09/15 15:40 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-smack-root WARNING in do_check
2025/09/15 15:40 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-smack-root WARNING in do_check
2025/09/15 15:40 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-smack-root WARNING in do_check
2025/09/15 15:39 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-smack-root WARNING in do_check
2025/09/15 15:39 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-smack-root WARNING in do_check
2025/09/15 13:07 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 13:06 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 13:05 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 13:05 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 13:04 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/09/15 13:04 upstream f83ec76bf285 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-kasan-gce-root WARNING in do_check
2025/10/01 05:35 upstream 4b81e2eb9e4d 65a0eece .config console log report [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/27 06:25 upstream 083fc6d7fa0d 001c9061 .config console log report [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/25 11:51 upstream bf40f4b87761 0abd0691 .config console log report [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/15 13:12 upstream f83ec76bf285 e2beed91 .config console log report [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/15 13:12 upstream f83ec76bf285 e2beed91 .config console log report [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/15 13:12 upstream f83ec76bf285 e2beed91 .config console log report [disk image (non-bootable)] [vmlinux] [kernel image] ci-snapshot-upstream-root WARNING in do_check
2025/09/15 12:55 linux-next 590b221ed425 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/09/15 12:54 linux-next 590b221ed425 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/09/15 12:54 linux-next 590b221ed425 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/09/15 12:53 linux-next 590b221ed425 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/09/15 12:53 linux-next 590b221ed425 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/09/15 12:53 linux-next 590b221ed425 e2beed91 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-linux-next-kasan-gce-root WARNING in do_check
2025/10/19 17:53 git://git.kernel.org/pub/scm/linux/kernel/git/arm64/linux.git for-kernelci bf45a62baffc 1c8c8cd8 .config console log report info [disk image] [vmlinux] [kernel image] ci-upstream-gce-arm64 WARNING in do_check
* Struck through repros no longer work on HEAD.