Re: [syzbot] [bpf?] KMSAN: uninit-value in __bpf_strtoull

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On 3/28/24 7:59 PM, syzbot wrote:
syzbot has found a reproducer for the following issue on:

HEAD commit:    8d025e2092e2 Merge tag 'erofs-for-6.9-rc2-fixes' of git://..
git tree:       upstream
console+strace: https://syzkaller.appspot.com/x/log.txt?x=10f2ffe6180000
kernel config:  https://syzkaller.appspot.com/x/.config?x=e2599baf258ef795
dashboard link: https://syzkaller.appspot.com/bug?extid=8ac8b7b2292ea867a162
compiler:       Debian clang version 15.0.6, GNU ld (GNU Binutils for Debian) 2.40
syz repro:      https://syzkaller.appspot.com/x/repro.syz?x=15b3ac29180000
C reproducer:   https://syzkaller.appspot.com/x/repro.c?x=160153c9180000

Downloadable assets:
disk image: https://storage.googleapis.com/syzbot-assets/5ccde1a19e22/disk-8d025e20.raw.xz
vmlinux: https://storage.googleapis.com/syzbot-assets/45420817e7d9/vmlinux-8d025e20.xz
kernel image: https://storage.googleapis.com/syzbot-assets/354bdafd8c8f/bzImage-8d025e20.xz

IMPORTANT: if you fix the issue, please add the following tag to the commit:
Reported-by: syzbot+8ac8b7b2292ea867a162@xxxxxxxxxxxxxxxxxxxxxxxxx

=====================================================
BUG: KMSAN: uninit-value in __bpf_strtoull+0x245/0x5b0 kernel/bpf/helpers.c:465
  __bpf_strtoull+0x245/0x5b0 kernel/bpf/helpers.c:465
  __bpf_strtoll kernel/bpf/helpers.c:504 [inline]
  ____bpf_strtol kernel/bpf/helpers.c:525 [inline]
  bpf_strtol+0x7c/0x270 kernel/bpf/helpers.c:519
  ___bpf_prog_run+0x13fe/0xe0f0 kernel/bpf/core.c:1997
  __bpf_prog_run96+0xb5/0xe0 kernel/bpf/core.c:2236

This should be similar to the other KMSAN reports on the interpreter using
the uninit stack in the map_lookup/delete_elem helpers. The bpf prog used
in this C reproducer:

   0: (18) r0 = 0x0
   2: (b7) r8 = 0
   3: (7b) *(u64 *)(r10 -72) = r8
   4: (b7) r8 = 0
   5: (7b) *(u64 *)(r10 -16) = r8
   6: (bf) r1 = r10
   7: (07) r1 += -8
           ^^^^^^^^

   8: (bf) r4 = r10
   9: (07) r4 += -16
  10: (b7) r2 = 8
  11: (18) r3 = map[id:68][0]+0
  13: (b7) r3 = 0
  14: (85) call bpf_strtol#896752
  15: (95) exit

#syz fix: bpf: Mark bpf prog stack with kmsan_unposion_memory in interpreter mode






[Index of Archives]     [Linux Samsung SoC]     [Linux Rockchip SoC]     [Linux Actions SoC]     [Linux for Synopsys ARC Processors]     [Linux NFS]     [Linux NILFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]


  Powered by Linux