Skip to main content

Browse the archive

https://github.com/torvalds/linux
05 April 2024, 19:05:47 UTC
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 
bpf: don't prune branches when a scalar is replaced with a pointer
 
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
File Mode Size
Kconfig -rw-r--r-- 58.9 KB
Makefile -rw-r--r-- 1.2 KB
calibrate.c -rw-r--r-- 8.6 KB
do_mounts.c -rw-r--r-- 14.6 KB
do_mounts.h -rw-r--r-- 1.1 KB
do_mounts_initrd.c -rw-r--r-- 3.5 KB
do_mounts_md.c -rw-r--r-- 8.2 KB
do_mounts_rd.c -rw-r--r-- 8.4 KB
init_task.c -rw-r--r-- 838 bytes
initramfs.c -rw-r--r-- 14.1 KB
main.c -rw-r--r-- 26.7 KB
noinitramfs.c -rw-r--r-- 1.5 KB
version.c -rw-r--r-- 1.2 KB
back to top