|
Message-ID: <e043e0d6-3265-4bc2-ae11-ab430832a8e2@linux.com> Date: Wed, 21 Mar 2018 14:04:07 +0300 From: Alexander Popov <alex.popov@...ux.com> To: Peter Zijlstra <peterz@...radead.org>, Laura Abbott <labbott@...hat.com>, Dave Hansen <dave.hansen@...ux.intel.com>, Linus Torvalds <torvalds@...ux-foundation.org>, Kees Cook <keescook@...omium.org>, Andy Lutomirski <luto@...nel.org> Cc: PaX Team <pageexec@...email.hu>, Brad Spengler <spender@...ecurity.net>, Ingo Molnar <mingo@...nel.org>, Tycho Andersen <tycho@...ho.ws>, Mark Rutland <mark.rutland@....com>, Ard Biesheuvel <ard.biesheuvel@...aro.org>, Borislav Petkov <bp@...en8.de>, Richard Sandiford <richard.sandiford@....com>, Thomas Gleixner <tglx@...utronix.de>, "H . Peter Anvin" <hpa@...or.com>, "Dmitry V . Levin" <ldv@...linux.org>, Emese Revfy <re.emese@...il.com>, Jonathan Corbet <corbet@....net>, Andrey Ryabinin <aryabinin@...tuozzo.com>, "Kirill A . Shutemov" <kirill.shutemov@...ux.intel.com>, Thomas Garnier <thgarnie@...gle.com>, Andrew Morton <akpm@...ux-foundation.org>, Alexei Starovoitov <ast@...nel.org>, Josef Bacik <jbacik@...com>, Masami Hiramatsu <mhiramat@...nel.org>, Nicholas Piggin <npiggin@...il.com>, Al Viro <viro@...iv.linux.org.uk>, "David S . Miller" <davem@...emloft.net>, Ding Tianhong <dingtianhong@...wei.com>, David Woodhouse <dwmw@...zon.co.uk>, Josh Poimboeuf <jpoimboe@...hat.com>, Steven Rostedt <rostedt@...dmis.org>, Dominik Brodowski <linux@...inikbrodowski.net>, Juergen Gross <jgross@...e.com>, Greg Kroah-Hartman <gregkh@...uxfoundation.org>, Dan Williams <dan.j.williams@...el.com>, Mathias Krause <minipli@...glemail.com>, Vikas Shivappa <vikas.shivappa@...ux.intel.com>, Kyle Huey <me@...ehuey.com>, Dmitry Safonov <dsafonov@...tuozzo.com>, Will Deacon <will.deacon@....com>, Arnd Bergmann <arnd@...db.de>, x86@...nel.org, linux-kernel@...r.kernel.org, "kernel-hardening@...ts.openwall.com" <kernel-hardening@...ts.openwall.com> Subject: Re: [PATCH RFC v9 2/7] x86/entry: Add STACKLEAK erasing the kernel stack at the end of syscalls On 05.03.2018 23:25, Peter Zijlstra wrote: > On Mon, Mar 05, 2018 at 11:43:19AM -0800, Laura Abbott wrote: >> On 03/05/2018 08:41 AM, Dave Hansen wrote: >>> On 03/03/2018 12:00 PM, Alexander Popov wrote: >>>> Documentation/x86/x86_64/mm.txt | 2 + >>>> arch/Kconfig | 27 ++++++++++ >>>> arch/x86/Kconfig | 1 + >>>> arch/x86/entry/entry_32.S | 88 +++++++++++++++++++++++++++++++ >>>> arch/x86/entry/entry_64.S | 108 +++++++++++++++++++++++++++++++++++++++ >>>> arch/x86/entry/entry_64_compat.S | 11 ++++ >>> >>> This is a *lot* of assembly. I wonder if you tried at all to get more >>> of this into C or whether you just inherited the assembly from the >>> original code? >>> >> >> This came up previously http://www.openwall.com/lists/kernel-hardening/2017/10/23/5 >> there were concerns about trusting C to do the right thing as well as >> speed. > > And therefore the answer to this obvious question should've been part of > the Changelog :-) > > Dave is last in a long line of people asking this same question. Hello! I've decided to share the details (and ask for advice) regardless of the destiny of this patch series. I've rewritten the assembly part in C, please see the code below. That is erase_kstack() function, which is called at the end of syscall just before returning to the userspace. The generated asm doesn't look nice (and might be somewhat slower), but I don't care now. The main obstacle: erase_kstack() must save and restore any modified registers, because it is called from the trampoline stack (introduced by Andy Lutomirski), when all registers except RDI are live. Laura had a similar issue with C code on ARM: http://www.openwall.com/lists/kernel-hardening/2017/10/10/3 I've solved that with no_caller_saved_registers attribute, which makes all registers callee-saved. But that attribute was introduced only in gcc-7. Does kernel have a solution for similar issues? Thanks! -------- >8 -------- #include <linux/bug.h> #include <linux/sched.h> #include <asm/current.h> #include <asm/linkage.h> #include <asm/processor.h> /* This function must save and restore any modified registers */ __attribute__ ((no_caller_saved_registers)) asmlinkage void erase_kstack(void) { register unsigned long p = current->thread.lowest_stack; register unsigned long boundary = p & ~(THREAD_SIZE - 1); unsigned long poison = 0; unsigned long check_depth = STACKLEAK_POISON_CHECK_DEPTH / sizeof(unsigned long); /* * Two qwords at the bottom of the thread stack are reserved and * should not be poisoned (see CONFIG_SCHED_STACK_END_CHECK). */ boundary += 2 * sizeof(unsigned long); /* * Let's search for the poison value in the stack. * Start from the lowest_stack and go to the bottom. */ while (p >= boundary && poison <= check_depth) { if (*(unsigned long *)p == STACKLEAK_POISON) poison++; else poison = 0; p -= sizeof(unsigned long); } #ifdef CONFIG_STACKLEAK_METRICS current->thread.prev_lowest_stack = p; #endif /* * So let's write the poison value to the kernel stack. Start from * the address in p and move up till the new boundary. */ if (on_thread_stack()) boundary = current_stack_pointer; else boundary = current_top_of_stack(); BUG_ON(boundary - p >= THREAD_SIZE); while (p < boundary) { *(unsigned long *)p = STACKLEAK_POISON; p += sizeof(unsigned long); } /* Reset the lowest_stack value for the next syscall */ current->thread.lowest_stack = current_top_of_stack() - 256; }
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.