Groups > linux.kernel > #1727475 > unrolled thread

UBSAN undefined behavior in arch/x86/include/futex.h

Started by	Shankara Pailoor <sp3485@columbia.edu>
First post	2017-09-06 15:40 +0200
Last post	2017-09-06 20:20 +0200
Articles	2 — 2 participants

Back to article view | Back to linux.kernel

  UBSAN undefined behavior in arch/x86/include/futex.h Shankara Pailoor <sp3485@columbia.edu> - 2017-09-06 15:40 +0200
    Re: UBSAN undefined behavior in arch/x86/include/futex.h Thomas Gleixner <tglx@linutronix.de> - 2017-09-06 20:20 +0200

#1727475 — UBSAN undefined behavior in arch/x86/include/futex.h

From	Shankara Pailoor <sp3485@columbia.edu>
Date	2017-09-06 15:40 +0200
Subject	UBSAN undefined behavior in arch/x86/include/futex.h
Message-ID	<umIIF-2qh-7@gated-at.bofh.it>

Hi,

I encountered this bug in kernel 4.13-rc7 while fuzzing with Syzkaller:

================================================================================
UBSAN: Undefined behaviour in ./arch/x86/include/asm/futex.h:53:13
shift exponent -1 is negative
CPU: 0 PID: 8469 Comm: syz-executor2 Not tainted 4.13.0-rc7 #2
Hardware name: QEMU Standard PC (i440FX + PIIX, 1996), BIOS
Ubuntu-1.8.2-1ubuntu1 04/01/2014
Call Trace:
 __dump_stack lib/dump_stack.c:16 [inline]
 dump_stack+0xf7/0x1ae lib/dump_stack.c:52
 ubsan_epilogue+0x12/0x8f lib/ubsan.c:164
 __ubsan_handle_shift_out_of_bounds+0x2b2/0x32c lib/ubsan.c:421
 futex_atomic_op_inuser arch/x86/include/asm/futex.h:53 [inline]
 futex_wake_op kernel/futex.c:1577 [inline]
 do_futex+0x1a7f/0x2600 kernel/futex.c:3404
 SYSC_futex kernel/futex.c:3454 [inline]
 SyS_futex+0x285/0x380 kernel/futex.c:3422
 entry_SYSCALL_64_fastpath+0x18/0xad
RIP: 0033:0x451e59
RSP: 002b:00007f6cbefecc08 EFLAGS: 00000216 ORIG_RAX: 00000000000000ca
RAX: ffffffffffffffda RBX: 0000000000718000 RCX: 0000000000451e59
RDX: 0000000000000000 RSI: 8000000000000005 RDI: 0000000020005000
RBP: 0000000000000046 R08: 0000000020005ffc R09: fffffffffffffffe
R10: 0000000020005ff0 R11: 0000000000000216 R12: 0000000000000000
R13: 00007ffe5d358caf R14: 00007f6cbefed9c0 R15: 0000000000000000
================================================================================


Here is the link to the repro program: https://pastebin.com/RDX3q4nM

Regards,
Shankara

[toc] | [next] | [standalone]

#1727674

From	Thomas Gleixner <tglx@linutronix.de>
Date	2017-09-06 20:20 +0200
Message-ID	<umN5F-5uc-11@gated-at.bofh.it>
In reply to	#1727475

On Wed, 6 Sep 2017, Shankara Pailoor wrote:

> Hi,
> 
> I encountered this bug in kernel 4.13-rc7 while fuzzing with Syzkaller:

That's known and harmless and fixed in Linus tree.

Thanks,

	tglx

[toc] | [prev] | [standalone]

csiph-web

UBSAN undefined behavior in arch/x86/include/futex.h

Contents

#1727475 — UBSAN undefined behavior in arch/x86/include/futex.h

#1727674