]> git.baikalelectronics.ru Git - kernel.git/commit
bpf: Reject indirect var_off stack access in raw mode
authorAndrey Ignatov <rdna@fb.com>
Thu, 4 Apr 2019 06:22:37 +0000 (23:22 -0700)
committerDaniel Borkmann <daniel@iogearbox.net>
Fri, 5 Apr 2019 14:50:07 +0000 (16:50 +0200)
commitb13ba92b71340faddf7ea18092175203ff8ff15f
treedcd402f6de719741c4e554a45ec7610d6971b1e9
parent7bfca9d6d1a65ac15e3c2a3fa5ea347e95bae808
bpf: Reject indirect var_off stack access in raw mode

It's hard to guarantee that whole memory is marked as initialized on
helper return if uninitialized stack is accessed with variable offset
since specific bounds are unknown to verifier. This may cause
uninitialized stack leaking.

Reject such an access in check_stack_boundary to prevent possible
leaking.

There are no known use-cases for indirect uninitialized stack access
with variable offset so it shouldn't break anything.

Fixes: 6fc83560ee03 ("bpf: Support variable offset stack access from helpers")
Reported-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Andrey Ignatov <rdna@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
kernel/bpf/verifier.c