From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org Received: from kanga.kvack.org (kanga.kvack.org [205.233.56.17]) by smtp.lore.kernel.org (Postfix) with ESMTP id 89C6CC433EF for ; Thu, 14 Apr 2022 23:05:58 +0000 (UTC) Received: by kanga.kvack.org (Postfix) id E2E936B0071; Thu, 14 Apr 2022 19:05:57 -0400 (EDT) Received: by kanga.kvack.org (Postfix, from userid 40) id DDD9F6B0073; Thu, 14 Apr 2022 19:05:57 -0400 (EDT) X-Delivered-To: int-list-linux-mm@kvack.org Received: by kanga.kvack.org (Postfix, from userid 63042) id C7E966B0074; Thu, 14 Apr 2022 19:05:57 -0400 (EDT) X-Delivered-To: linux-mm@kvack.org Received: from relay.hostedemail.com (relay.hostedemail.com [64.99.140.25]) by kanga.kvack.org (Postfix) with ESMTP id B8CA96B0071 for ; Thu, 14 Apr 2022 19:05:57 -0400 (EDT) Received: from smtpin18.hostedemail.com (a10.router.float.18 [10.200.18.1]) by unirelay13.hostedemail.com (Postfix) with ESMTP id 98DD3637E4 for ; Thu, 14 Apr 2022 23:05:57 +0000 (UTC) X-FDA: 79357019154.18.40732B7 Received: from mail-pl1-f176.google.com (mail-pl1-f176.google.com [209.85.214.176]) by imf07.hostedemail.com (Postfix) with ESMTP id F251E4000D for ; Thu, 14 Apr 2022 23:05:56 +0000 (UTC) Received: by mail-pl1-f176.google.com with SMTP id n18so5903454plg.5 for ; Thu, 14 Apr 2022 16:05:56 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=chromium.org; s=google; h=date:from:to:cc:subject:message-id:references:mime-version :content-disposition:in-reply-to; bh=t/xzl4CC6q3fF8ZREHk6T5s/dNCqsFXU8yyibaCwPAI=; b=hUoc9BC3+lrQPcBPwwRPuykgAGUg5NNx/VXvF0dsxuwVD4+Z61j7QrENS8wPhwyKoy x0/11k/Z8KfZdx4Ub0Z++QG3KUcEtYe0dWfETRX1894Yke991afqwysx7Xdo6hRrffUs HO3q++A49sWT/YGk/J+BfRrU4GDdvqYR37xFU= X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:date:from:to:cc:subject:message-id:references :mime-version:content-disposition:in-reply-to; bh=t/xzl4CC6q3fF8ZREHk6T5s/dNCqsFXU8yyibaCwPAI=; b=k0xZIyFX1NNpN+S2bGiB5VJa8oE2OKmaDRR2++24tzBiZuof5oF0/FV0mBBWUH3XZ9 aLYMDyqQ0Mi/UZEklF251J4OkvfxVl9oYOvaYk/iKfMWfb4eaaZWmamV8zAzOAxyVxDa cZIHA2zxDoDBFRKovtsk0OhEMAzoyDAjmVSxGf0I4Yp3QX18Nr/xcPWdRMNIgO+1jDZR R6hVK0Z4i7Mx0AN6W//0IYjqIkc0f85TF09IrAyvh6UrIXLU4zRzI8/aDjEVJ1Q7LWkM qa/S5jwjk56QrHSjbgyxGqPX6Y1wdGDLynDZY5fyyf6uRYOhT8BCzAFaofsUDS9qr0mH LU7g== X-Gm-Message-State: AOAM530+cqhCqh7bSMFmOGDZfR56mU1WSU4yCCLFB9wv176Qs1E5y4dv smGGV6xbzWwAOX78ISSpSmR3Ag== X-Google-Smtp-Source: ABdhPJxLI/UcvHhesCPMUZJk9mn1rjPfjc/tnLUhgF8BCBG8VuRuoATUUin7bDXQ4ks1YJNA2Zcnug== X-Received: by 2002:a17:902:f652:b0:156:701b:9a2a with SMTP id m18-20020a170902f65200b00156701b9a2amr49324926plg.14.1649977555864; Thu, 14 Apr 2022 16:05:55 -0700 (PDT) Received: from www.outflux.net (smtp.outflux.net. [198.145.64.163]) by smtp.gmail.com with ESMTPSA id l18-20020a056a00141200b004f75395b2cesm856359pfu.150.2022.04.14.16.05.55 (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 14 Apr 2022 16:05:55 -0700 (PDT) Date: Thu, 14 Apr 2022 16:05:54 -0700 From: Kees Cook To: Niklas Cassel Cc: Alexander Viro , Eric Biederman , Paul Walmsley , Palmer Dabbelt , Albert Ou , Greg Ungerer , Mike Frysinger , Damien Le Moal , stable@vger.kernel.org, linux-fsdevel@vger.kernel.org, linux-mm@kvack.org, linux-riscv@lists.infradead.org Subject: Re: [PATCH v2] binfmt_flat: do not stop relocating GOT entries prematurely on riscv Message-ID: <202204141559.B2A0EB4F7@keescook> References: <20220414091018.896737-1-niklas.cassel@wdc.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20220414091018.896737-1-niklas.cassel@wdc.com> X-Rspamd-Server: rspam05 X-Rspamd-Queue-Id: F251E4000D X-Rspam-User: Authentication-Results: imf07.hostedemail.com; dkim=pass header.d=chromium.org header.s=google header.b=hUoc9BC3; spf=pass (imf07.hostedemail.com: domain of keescook@chromium.org designates 209.85.214.176 as permitted sender) smtp.mailfrom=keescook@chromium.org; dmarc=pass (policy=none) header.from=chromium.org X-Stat-Signature: ctuyi5xzdwdmwxxitwu31oxd7xeo56fx X-HE-Tag: 1649977556-287074 X-Bogosity: Ham, tests=bogofilter, spamicity=0.000001, version=1.2.4 Sender: owner-linux-mm@kvack.org Precedence: bulk X-Loop: owner-majordomo@kvack.org List-ID: On Thu, Apr 14, 2022 at 11:10:18AM +0200, Niklas Cassel wrote: > bFLT binaries are usually created using elf2flt. > > The linker script used by elf2flt has defined the .data section like the > following for the last 19 years: > > .data : { > _sdata = . ; > __data_start = . ; > data_start = . ; > *(.got.plt) > *(.got) > FILL(0) ; > . = ALIGN(0x20) ; > LONG(-1) > . = ALIGN(0x20) ; > ... > } > > It places the .got.plt input section before the .got input section. > The same is true for the default linker script (ld --verbose) on most > architectures except x86/x86-64. > > The binfmt_flat loader should relocate all GOT entries until it encounters > a -1 (the LONG(-1) in the linker script). > > The problem is that the .got.plt input section starts with a GOTPLT header > (which has size 16 bytes on elf64-riscv and 8 bytes on elf32-riscv), where > the first word is set to -1. See the binutils implementation for riscv [1]. > > This causes the binfmt_flat loader to stop relocating GOT entries > prematurely and thus causes the application to crash when running. > > Fix this by skipping the whole GOTPLT header, since the whole GOTPLT header > is reserved for the dynamic linker. > > The GOTPLT header will only be skipped for bFLT binaries with flag > FLAT_FLAG_GOTPIC set. This flag is unconditionally set by elf2flt if the > supplied ELF binary has the symbol _GLOBAL_OFFSET_TABLE_ defined. > ELF binaries without a .got input section should thus remain unaffected. > > Tested on RISC-V Canaan Kendryte K210 and RISC-V QEMU nommu_virt_defconfig. > > [1] https://sourceware.org/git/?p=binutils-gdb.git;a=blob;f=bfd/elfnn-riscv.c;hb=binutils-2_38#l3275 > > Cc: > Signed-off-by: Niklas Cassel > --- > Changes since v1: > -Incorporated review comments from Eric Biederman. Thanks! nit: please include a link to the archive so it's easier for people (and b4) to track earlier versions. i.e.: https://lore.kernel.org/linux-mm/20220412100338.437308-1-niklas.cassel@wdc.com/ > RISC-V elf2flt patches are still not merged, they can be found here: > https://github.com/floatious/elf2flt/tree/riscv > > buildroot branch for k210 nommu (including this patch and elf2flt patches): > https://github.com/floatious/buildroot/tree/k210-v14 > > fs/binfmt_flat.c | 27 ++++++++++++++++++++++++++- > 1 file changed, 26 insertions(+), 1 deletion(-) > > diff --git a/fs/binfmt_flat.c b/fs/binfmt_flat.c > index 626898150011..e5e2a03b39c1 100644 > --- a/fs/binfmt_flat.c > +++ b/fs/binfmt_flat.c > @@ -440,6 +440,30 @@ static void old_reloc(unsigned long rl) > > /****************************************************************************/ > > +static inline u32 __user *skip_got_header(u32 __user *rp) > +{ > + if (IS_ENABLED(CONFIG_RISCV)) { > + /* > + * RISC-V has a 16 byte GOT PLT header for elf64-riscv > + * and 8 byte GOT PLT header for elf32-riscv. > + * Skip the whole GOT PLT header, since it is reserved > + * for the dynamic linker (ld.so). > + */ > + u32 rp_val0, rp_val1; > + > + if (get_user(rp_val0, rp)) > + return rp; > + if (get_user(rp_val1, rp + 1)) > + return rp; > + > + if (rp_val0 == 0xffffffff && rp_val1 == 0xffffffff) > + rp += 4; > + else if (rp_val0 == 0xffffffff) > + rp += 2; Just so I understand; due to the FILL(0) and the ALIGN, val1 will be 0 (or more specifically, not -1) in all other cases, yes? I probably would have written this as: if (rp_val0 == 0xffffffff) rp += 2; if (rp_val1 == 0xffffffff) rp += 2; But no need to change it. I expect the compiler would optimize it in the same thing anyway. :) > + } > + return rp; > +} > + > static int load_flat_file(struct linux_binprm *bprm, > struct lib_info *libinfo, int id, unsigned long *extra_stack) > { > @@ -789,7 +813,8 @@ static int load_flat_file(struct linux_binprm *bprm, > * image. > */ > if (flags & FLAT_FLAG_GOTPIC) { > - for (rp = (u32 __user *)datapos; ; rp++) { > + rp = skip_got_header((u32 * __user) datapos); > + for (; ; rp++) { > u32 addr, rp_val; > if (get_user(rp_val, rp)) > return -EFAULT; > -- > 2.35.1 > Eric and Damien, does this look good to you? I'll take this into the execve tree unless you'd like to see further changes. Thanks! -Kees -- Kees Cook