linux-kernel - Re: [PATCH v2 10/10] binfmt_flat: allow compressed flat binary format to work on MMU systems

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite: Windows password security audit tool. GUI, reports in PDF.

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <20160718175158.74676924@lxorguk.ukuu.org.uk>
Date:	Mon, 18 Jul 2016 17:51:58 +0100
From:	One Thousand Gnomes <gnomes@...rguk.ukuu.org.uk>
To:	Nicolas Pitre <nicolas.pitre@...aro.org>
Cc:	linux-fsdevel@...r.kernel.org, linux-kernel@...r.kernel.org,
	Alexander Viro <viro@...iv.linux.org.uk>,
	David Howells <dhowells@...hat.com>,
	Greg Ungerer <gerg@...ux-m68k.org>
Subject: Re: [PATCH v2 10/10] binfmt_flat: allow compressed flat binary
 format to work on MMU systems

On Mon, 18 Jul 2016 11:45:53 -0400 (EDT)
Nicolas Pitre <nicolas.pitre@...aro.org> wrote:

> On Mon, 18 Jul 2016, One Thousand Gnomes wrote:
> 
> > On Sun, 17 Jul 2016 23:31:56 -0400
> > Nicolas Pitre <nicolas.pitre@...aro.org> wrote:
> >   
> > > Let's take the simple and obvious approach by decompressing the binary
> > > into a kernel buffer and then copying it to user space.  Those who are
> > > looking for more performance on a MMU system are unlikely to choose this
> > > executable format anyway.  
> > 
> > The flat loader takes a very casual attitude to overruns and corrupted
> > binaries. It's after all MMUless so has no real security model. If you
> > enable flat for an MMU system then IMHO those all need to be fixed
> > including all the missing overflow checks on the maths on textlen and the
> > like.  
> 
> What about the following patch?  This with existing user accessors and 
> allocation error checks should cover it all.
> 
> ----- >8  
> commit cc1051c9c57202772568600e96b75229a2a7cf19
> Author: Nicolas Pitre <nicolas.pitre@...aro.org>
> Date:   Mon Jul 18 11:28:57 2016 -0400
> 
>     binfmt_flat: prevent kernel dammage from corrupted executable headers
>     
>     Signed-off-by: Nicolas Pitre <nico@...aro.org>
> 
> diff --git a/fs/binfmt_flat.c b/fs/binfmt_flat.c
> index 24deae4dcb..fa0054c1c3 100644
> --- a/fs/binfmt_flat.c
> +++ b/fs/binfmt_flat.c
> @@ -498,6 +498,17 @@ static int load_flat_file(struct linux_binprm * bprm,
>  	}
>  
>  	/*
> +	 * Make sure the header params are sane.
> +	 * 28 bits (256 MB) is way more than reasonable in this case.
> +	 * If some top bits are set we have probable binary corruption.
> +	*/
> +	if ((text_len | data_len | bss_len | stack_len | full_data) >> 28) {
> +		printk("BINFMT_FLAT: bad header\n");

Apart from the printk that looks good for the header but I think the rest
could do with a fair bit more review (eg relocations in range checks).


Alan