Re: [syzbot] KASAN: use-after-free Write in udf_close_lvid

From: Pali Rohár
Date: Tue May 24 2022 - 06:47:12 EST

Next message: Michal Hocko: "Re: [PATCH] mm: memcontrol: add the mempolicy interface for cgroup v2."
Previous message: Johannes Berg: "Re: [PATCH] UML: add support for KASAN under x86_64"
In reply to: Jan Kara: "Re: [syzbot] KASAN: use-after-free Write in udf_close_lvid"
Next in thread: Jan Kara: "Re: [syzbot] KASAN: use-after-free Write in udf_close_lvid"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

On Tuesday 24 May 2022 12:32:46 Jan Kara wrote:
>
> Hello!
>
> I had a look into this bug and I actually think this reproducer program does
> something that is always going to be problematic. The reproducer has:
>
> #{"threaded":true,"repeat":true,"procs":6,"slowdown":1,"sandbox":"","close_fds":false}
>
> syz_mount_image$udf(...)
> r0 = syz_open_dev$loop(&(0x7f0000000080), 0x0, 0x109002)
> mmap(addr, 0x600000, PROT_WRITE, MAP_SHARED | MAP_FIXED, r0, 0x0)
> pipe(addr)
>
> So the reproducer effectively corrupts random loop devices with output from
> pipe(2) syscall while there are filesystems mounted on them by other
> threads. This is a guaranteed way to shoot yourself in the foot and crash
> the kernel. You can say the kernel should not allow writing to mounted devices
> and I'd generally agree but there are some cornercases (e.g. bootloaders or
> lowlevel filesystem tools) which happen to do this so we cannot forbid that due
> to compatibility reasons. So syzbot probably needs to implement some
> internal logic not to futz with loop devices that are currently mounted.
>
> Honza

Hello! Bootloaders and other similar software in most cases needs to
update first sector or sectors with bootloader data or main superblock
of filesystem (where are metadata like label or UUIDs)... In most cases
these "write" operations do not touch filesystem data.

So I'm thinking if it would not make sense to add some kernel config
option to disallow write operations on mounted block devices, with some
filesystem hook/callback which can allow writing to specific block.

E.g. UDF filesystem does not use first 32kB of disk and userspace
software can overwrite it as it wants even when fs is mounted, without
crashing kernel. So that udf hook/callback would allow write access to
this area.

Userspace applications always invent "smart" things and I think it is a
good idea to protect kernel if it is possible.

I understand that there is need to overwrite mounted block device.
Updating bootloader stored at the beginning of the rootfs disk is
important operation. Also changing filesystem label at runtime / mounted
fs is something which users want and it is legitimate requirement. For
UDF this change is not easy operation and userspace software (e.g.
udflabel) needs to update lot of blocks on device, which can really
break mounted udf fs.

>
> On Mon 23-05-22 17:17:21, syzbot wrote:
> > Hello,
> >
> > syzbot found the following issue on:
> >
> > HEAD commit: 4b0986a3613c Linux 5.18
> > git tree: upstream
> > console output: https://syzkaller.appspot.com/x/log.txt?x=125ba355f00000
> > kernel config: https://syzkaller.appspot.com/x/.config?x=1350d397b63b3036
> > dashboard link: https://syzkaller.appspot.com/bug?extid=60864ed35b1073540d57
> > compiler: Debian clang version 13.0.1-++20220126092033+75e33f71c2da-1~exp1~20220126212112.63, GNU ld (GNU Binutils for Debian) 2.35.2
> > syz repro: https://syzkaller.appspot.com/x/repro.syz?x=1732a04df00000
> > C reproducer: https://syzkaller.appspot.com/x/repro.c?x=15189639f00000
> >
> > The issue was bisected to:
> >
> > commit 781d2a9a2fc7d0be53a072794dc03ef6de770f3d
> > Author: Jan Kara <jack@xxxxxxx>
> > Date: Mon May 3 09:39:03 2021 +0000
> >
> > udf: Check LVID earlier
> >
> > bisection log: https://syzkaller.appspot.com/x/bisect.txt?x=14deecd3f00000
> > final oops: https://syzkaller.appspot.com/x/report.txt?x=16deecd3f00000
> > console output: https://syzkaller.appspot.com/x/log.txt?x=12deecd3f00000
> >
> > IMPORTANT: if you fix the issue, please add the following tag to the commit:
> > Reported-by: syzbot+60864ed35b1073540d57@xxxxxxxxxxxxxxxxxxxxxxxxx
> > Fixes: 781d2a9a2fc7 ("udf: Check LVID earlier")
> >
> > UDF-fs: error (device loop0): udf_fill_super: Error in udf_iget, block=96, partition=0
> > ==================================================================
> > BUG: KASAN: use-after-free in udf_close_lvid+0x68a/0x980 fs/udf/super.c:2072
> > Write of size 1 at addr ffff8880839e0190 by task syz-executor234/3615
> >
> > CPU: 1 PID: 3615 Comm: syz-executor234 Not tainted 5.18.0-syzkaller #0
> > Hardware name: Google Google Compute Engine/Google Compute Engine, BIOS Google 01/01/2011
> > Call Trace:
> > <TASK>
> > __dump_stack lib/dump_stack.c:88 [inline]
> > dump_stack_lvl+0x1e3/0x2cb lib/dump_stack.c:106
> > print_address_description+0x65/0x4b0 mm/kasan/report.c:313
> > print_report+0xf4/0x210 mm/kasan/report.c:429
> > kasan_report+0xfb/0x130 mm/kasan/report.c:491
> > udf_close_lvid+0x68a/0x980 fs/udf/super.c:2072
> > udf_fill_super+0xde8/0x1b20 fs/udf/super.c:2309
> > mount_bdev+0x26c/0x3a0 fs/super.c:1367
> > legacy_get_tree+0xea/0x180 fs/fs_context.c:610
> > vfs_get_tree+0x88/0x270 fs/super.c:1497
> > do_new_mount+0x289/0xad0 fs/namespace.c:3040
> > do_mount fs/namespace.c:3383 [inline]
> > __do_sys_mount fs/namespace.c:3591 [inline]
> > __se_sys_mount+0x2e3/0x3d0 fs/namespace.c:3568
> > do_syscall_x64 arch/x86/entry/common.c:50 [inline]
> > do_syscall_64+0x2b/0x70 arch/x86/entry/common.c:80
> > entry_SYSCALL_64_after_hwframe+0x44/0xae
> > RIP: 0033:0x7fd64e59b08a
> > Code: 48 c7 c2 b8 ff ff ff f7 d8 64 89 02 b8 ff ff ff ff eb d2 e8 a8 00 00 00 0f 1f 84 00 00 00 00 00 49 89 ca b8 a5 00 00 00 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:00007fd64e546168 EFLAGS: 00000286 ORIG_RAX: 00000000000000a5
> > RAX: ffffffffffffffda RBX: 00007fd64e5461c0 RCX: 00007fd64e59b08a
> > RDX: 0000000020000000 RSI: 0000000020000700 RDI: 00007fd64e546180
> > RBP: 000000000000000e R08: 00007fd64e5461c0 R09: 00007fd64e5466b8
> > R10: 0000000000000810 R11: 0000000000000286 R12: 00007fd64e546180
> > R13: 0000000020000350 R14: 0000000000000003 R15: 0000000000000004
> > </TASK>
> >
> > The buggy address belongs to the physical page:
> > page:ffffea00020e7800 refcount:0 mapcount:0 mapping:0000000000000000 index:0x0 pfn:0x839e0
> > flags: 0xfff00000000000(node=0|zone=1|lastcpupid=0x7ff)
> > raw: 00fff00000000000 ffffea00020e7808 ffffea00020e7808 0000000000000000
> > raw: 0000000000000000 0000000000000000 00000000ffffffff 0000000000000000
> > page dumped because: kasan: bad access detected
> > page_owner info is not present (never set?)
> >
> > Memory state around the buggy address:
> > ffff8880839e0080: ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff
> > ffff8880839e0100: ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff
> > >ffff8880839e0180: ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff
> > ^
> > ffff8880839e0200: ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff
> > ffff8880839e0280: ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff ff
> > ==================================================================
> >
> >
> > ---
> > This report is generated by a bot. It may contain errors.
> > See https://goo.gl/tpsmEJ for more information about syzbot.
> > syzbot engineers can be reached at syzkaller@xxxxxxxxxxxxxxxx.
> >
> > syzbot will keep track of this issue. See:
> > https://goo.gl/tpsmEJ#status for how to communicate with syzbot.
> > For information about bisection process see: https://goo.gl/tpsmEJ#bisection
> > syzbot can test patches for this issue, for details see:
> > https://goo.gl/tpsmEJ#testing-patches
> --
> Jan Kara <jack@xxxxxxxx>
> SUSE Labs, CR

Next message: Michal Hocko: "Re: [PATCH] mm: memcontrol: add the mempolicy interface for cgroup v2."
Previous message: Johannes Berg: "Re: [PATCH] UML: add support for KASAN under x86_64"
In reply to: Jan Kara: "Re: [syzbot] KASAN: use-after-free Write in udf_close_lvid"
Next in thread: Jan Kara: "Re: [syzbot] KASAN: use-after-free Write in udf_close_lvid"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]