https://github.com/torvalds/linux
Revision 179d1c5602997fef5a940c6ddcf31212cbfebd14 authored by Jann Horn on 19 December 2017, 04:11:59 UTC, committed by Daniel Borkmann on 21 December 2017, 01:15:41 UTC
This could be made safe by passing through a reference to env and checking
for env->allow_ptr_leaks, but it would only work one way and is probably
not worth the hassle - not doing it will not directly lead to program
rejection.

Fixes: f1174f77b50c ("bpf/verifier: rework value tracking")
Signed-off-by: Jann Horn <jannh@google.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
1 parent a5ec6ae
History
Tip revision: 179d1c5602997fef5a940c6ddcf31212cbfebd14 authored by Jann Horn on 19 December 2017, 04:11:59 UTC
bpf: don't prune branches when a scalar is replaced with a pointer
Tip revision: 179d1c5

back to top