remarkable-linux/arch/x86/vdso
Andy Lutomirski 394f56fe48 x86_64, vdso: Fix the vdso address randomization algorithm
The theory behind vdso randomization is that it's mapped at a random
offset above the top of the stack.  To avoid wasting a page of
memory for an extra page table, the vdso isn't supposed to extend
past the lowest PMD into which it can fit.  Other than that, the
address should be a uniformly distributed address that meets all of
the alignment requirements.

The current algorithm is buggy: the vdso has about a 50% probability
of being at the very end of a PMD.  The current algorithm also has a
decent chance of failing outright due to incorrect handling of the
case where the top of the stack is near the top of its PMD.

This fixes the implementation.  The paxtest estimate of vdso
"randomisation" improves from 11 bits to 18 bits.  (Disclaimer: I
don't know what the paxtest code is actually calculating.)

It's worth noting that this algorithm is inherently biased: the vdso
is more likely to end up near the end of its PMD than near the
beginning.  Ideally we would either nix the PMD sharing requirement
or jointly randomize the vdso and the stack to reduce the bias.

In the mean time, this is a considerable improvement with basically
no risk of compatibility issues, since the allowed outputs of the
algorithm are unchanged.

As an easy test, doing this:

for i in `seq 10000`
  do grep -P vdso /proc/self/maps |cut -d- -f1
done |sort |uniq -d

used to produce lots of output (1445 lines on my most recent run).
A tiny subset looks like this:

7fffdfffe000
7fffe01fe000
7fffe05fe000
7fffe07fe000
7fffe09fe000
7fffe0bfe000
7fffe0dfe000

Note the suspicious fe000 endings.  With the fix, I get a much more
palatable 76 repeated addresses.

Reviewed-by: Kees Cook <keescook@chromium.org>
Cc: stable@vger.kernel.org
Signed-off-by: Andy Lutomirski <luto@amacapital.net>
2014-12-20 16:56:57 -08:00
..
vdso32 x86/vdso: Improve the fake section headers 2014-06-19 15:45:12 -07:00
.gitignore x86, vdso: Reimplement vdso.so preparation in build-time C 2014-05-05 13:18:51 -07:00
checkundef.sh x86, vdso: Don't quote $nm in the script for checking vdso references 2010-07-27 23:52:29 -07:00
Makefile x86, vdso: Get rid of the fake section mechanism 2014-07-11 16:58:07 -07:00
vclock_gettime.c x86/vdso: Move DISABLE_BRANCH_PROFILING into the vdso makefile 2014-06-24 13:53:00 -07:00
vdso-layout.lds.S x86, vdso: Move the vvar area before the vdso text 2014-07-11 16:57:51 -07:00
vdso-note.S x86_64: move vdso 2007-10-11 11:17:10 +02:00
vdso.lds.S x86/vdso: Improve the fake section headers 2014-06-19 15:45:12 -07:00
vdso2c.c x86, vdso: Get rid of the fake section mechanism 2014-07-11 16:58:07 -07:00
vdso2c.h x86/vdso: Fix vdso2c's special_pages[] error checking 2014-09-24 09:55:38 +02:00
vdso32-setup.c arm64,ia64,ppc,s390,sh,tile,um,x86,mm: remove default gate area 2014-08-08 15:57:27 -07:00
vdsox32.lds.S x86/vdso: Improve the fake section headers 2014-06-19 15:45:12 -07:00
vgetcpu.c x86,vdso: Use LSL unconditionally for vgetcpu 2014-11-03 13:41:53 +01:00
vma.c x86_64, vdso: Fix the vdso address randomization algorithm 2014-12-20 16:56:57 -08:00