diff mbox

[RFC] arm64: Make arch_randomize_brk avoid stack area

Message ID 1461853042.2848.24.camel@linaro.org
State Superseded
Headers show

Commit Message

Jon Medhurst (Tixy) April 28, 2016, 2:17 p.m. UTC
Sorry, the code patch has errors (I forgot to commit fixes before
running git format-patch), the correct code, which was in the kernel I
built and tested, is at the end of this email.

On Thu, 2016-04-28 at 14:03 +0100, Jon Medhurst (Tixy) wrote:
Some incorrect code...
> diff --git a/arch/arm64/kernel/process.c b/arch/arm64/kernel/process.c

> index 8062482..7126a5a 100644

> --- a/arch/arm64/kernel/process.c

> +++ b/arch/arm64/kernel/process.c

> @@ -382,13 +382,24 @@ unsigned long arch_align_stack(unsigned long sp)

>  	return sp & ~0xf;

>  }

>  

> -static unsigned long randomize_base(unsigned long base)

> +unsigned long arch_randomize_brk(struct mm_struct *mm)

>  {

>  	unsigned long range_end = base + (STACK_RND_MASK << PAGE_SHIFT) + 1;

> -	return randomize_range(base, range_end, 0) ? : base;

> -}

> +	unsigned long max_stack, range_limit;

>  

> -unsigned long arch_randomize_brk(struct mm_struct *mm)

> -{

> -	return randomize_base(mm->brk);

> +	/*

> +	 * Determine how much room do we need to leave available for the stack.

> +	 * We limit this to a reasonable value, because extremely large or

> +	 * unlimited stacks are always going to bump up against brk at some

> +	 * point and we don't want to fail to randomise brk in those cases.

> +	 */

> +	max_stack = rlimit(RLIMIT_STACK);

> +	if (max_stack > SZ_128M)

> +		max_stack = SZ_128M;

> +

> +	range_limit = mm->start_stack - max_stack - 1;

> +	if (range_end > range_limit)

> +		range_end > range_limit

> +

> +	return randomize_range(mm->brk, range_end, 0) ? : mm->brk;

>  }


Corrected code...

 arch/arm64/kernel/process.c | 24 ++++++++++++++++++------
 1 file changed, 18 insertions(+), 6 deletions(-)

-- 
2.1.4


_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel

Comments

Jon Medhurst (Tixy) May 3, 2016, 11:13 a.m. UTC | #1
On Mon, 2016-05-02 at 12:34 -0700, Kees Cook wrote:
> On Thu, Apr 28, 2016 at 7:17 AM, Jon Medhurst (Tixy) <tixy@linaro.org> wrote:

[...]

> >  arch/arm64/kernel/process.c | 24 ++++++++++++++++++------

> >  1 file changed, 18 insertions(+), 6 deletions(-)

> >

> > diff --git a/arch/arm64/kernel/process.c b/arch/arm64/kernel/process.c

> > index 07c4c53..7e0f404 100644

> > --- a/arch/arm64/kernel/process.c

> > +++ b/arch/arm64/kernel/process.c

> > @@ -434,13 +434,25 @@ unsigned long arch_align_stack(unsigned long sp)

> >         return sp & ~0xf;

> >  }

> >

> > -static unsigned long randomize_base(unsigned long base)

> > +unsigned long arch_randomize_brk(struct mm_struct *mm)

> >  {

> > +       unsigned long base = mm->brk;

> >         unsigned long range_end = base + (STACK_RND_MASK << PAGE_SHIFT) + 1;

> 

> This looks wrong. Shouldn't it be (STACK_RND_MASK + 1) << PAGE_SHIFT ?


That value is the same as before my changes and it matches the gap left
for stack randomisation in arch/arm64/mm/mmap.c

> 

> STACK_RND_MASK is 0x7ff (32-bit) or 0x3ffff (64-bit):

> 

> #define STACK_RND_MASK                  (test_thread_flag(TIF_32BIT) ? \

>                                                 0x7ff >> (PAGE_SHIFT - 12) : \

>                                                 0x3ffff >> (PAGE_SHIFT - 12))

> 

> (4K paged PAGE_SHIFT is 12)

> 

> So the correct offset max would be 0x800000 (32-bit) and 0x40000000

> (64-bit), instead of

> 0x7ff0001 and 0x3ffff0001.


It seems to me there isn't a 'correct' and 'incorrect' range to use here
and that randomising brk is not directly related to stack randomisation,
they just have similar requirements and constraints.

Anyway, for stack randomisation, in fs/binfmt_elf.c,
randomize_stack_top() has

		random_variable = get_random_long();
		random_variable &= STACK_RND_MASK;
		random_variable <<= PAGE_SHIFT;

so stack top can be randomised by adding a number from zero to
(STACK_RND_MASK << PAGE_SHIFT) inclusive. As the end value passed to
randomize_range() is exclusive, then adding one to the last permissible
value seems the like the right, I.e. arm64's usage of

  (STACK_RND_MASK << PAGE_SHIFT) + 1

for brk is 'correct' in that it's consistent with what happens to the
stack. Though the different functions align values to pages at different
stages, so possibly neither that nor 

  (STACK_RND_MASK + 1)  << PAGE_SHIFT

when used for brk, would be the same as the stack code.


> Even with that correction, this looks wrong for 32-bit, which uses

> 0x2000000 natively:

> 

> unsigned long arch_randomize_brk(struct mm_struct *mm)

> {

>         unsigned long range_end = mm->brk + 0x02000000;

>         return randomize_range(mm->brk, range_end, 0) ? : mm->brk;

> }

> 

> Seems like arm64 compat is using 4 times less entropy than native arm?

> (Note that STACK_RND_MASK is correct for arm64 compat: this matches

> the default in fs/binfmt_elf.c that arm uses. It just seems like the

> brk randomization is accidentally too small on arm64 compat since arm

> uses a fixed value unrelated to stack randomization.)

> 

> 0x02000000 arm native

> 0x00800000 arm64 compat  <- bug?

> 0x40000000 arm64


Well, it's a difference for which there probably isn't a good reason,
don't know if people would call it a bug.

As changing the range of values used for randomisation seems like a
separate issue I won't include any changes for that in my patch for
getting brk to avoid the stack.

-- 
Tixy


_______________________________________________
linux-arm-kernel mailing list
linux-arm-kernel@lists.infradead.org
http://lists.infradead.org/mailman/listinfo/linux-arm-kernel
diff mbox

Patch

diff --git a/arch/arm64/kernel/process.c b/arch/arm64/kernel/process.c
index 07c4c53..7e0f404 100644
--- a/arch/arm64/kernel/process.c
+++ b/arch/arm64/kernel/process.c
@@ -434,13 +434,25 @@  unsigned long arch_align_stack(unsigned long sp)
 	return sp & ~0xf;
 }
 
-static unsigned long randomize_base(unsigned long base)
+unsigned long arch_randomize_brk(struct mm_struct *mm)
 {
+	unsigned long base = mm->brk;
 	unsigned long range_end = base + (STACK_RND_MASK << PAGE_SHIFT) + 1;
-	return randomize_range(base, range_end, 0) ? : base;
-}
+	unsigned long max_stack, range_limit;
 
-unsigned long arch_randomize_brk(struct mm_struct *mm)
-{
-	return randomize_base(mm->brk);
+	/*
+	 * Determine how much room do we need to leave available for the stack.
+	 * We limit this to a reasonable value, because extremely large or
+	 * unlimited stacks are always going to bump up against brk at some
+	 * point and we don't want to fail to randomise brk in those cases.
+	 */
+	max_stack = rlimit(RLIMIT_STACK);
+	if (max_stack > SZ_128M)
+		max_stack = SZ_128M;
+
+	range_limit = mm->start_stack - max_stack - 1;
+	if (range_end > range_limit)
+		range_end = range_limit;
+
+	return randomize_range(base, range_end, 0) ? : base;
 }