Arnd Bergmann eba0c929d1 bpf: fix out-of-bounds access warning in bpf_check ...

The bpf_verifer_ops array is generated dynamically and may be
empty depending on configuration, which then causes an out
of bounds access:

kernel/bpf/verifier.c: In function 'bpf_check':
kernel/bpf/verifier.c:4320:29: error: array subscript is above array bounds [-Werror=array-bounds]

This adds a check to the start of the function as a workaround.
I would assume that the function is never called in that configuration,
so the warning is probably harmless.

Fixes: 00176a34d9 ("bpf: remove the verifier ops from program structure")
Signed-off-by: Arnd Bergmann <arnd@arndb.de>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>

2017-11-03 14:20:22 +09:00

..

arraymap.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net

2017-10-22 13:39:14 +01:00

bpf_lru_list.c

bpf: lru: Lower the PERCPU_NR_SCANS from 16 to 4

2017-04-17 13:55:52 -04:00

bpf_lru_list.h

bpf: Only set node->ref = 1 if it has not been set

2017-09-01 09:57:39 -07:00

cgroup.c

bpf: remove redundant variable old_flags

2017-10-11 20:22:34 -07:00

core.c

bpf: permit multiple bpf attachments for a single perf event

2017-10-25 10:47:47 +09:00

cpumap.c

bpf: cpumap micro-optimization in cpu_map_enqueue

2017-11-02 16:13:14 +09:00

devmap.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net

2017-10-22 13:39:14 +01:00

disasm.c

bpf: move instruction printing into a separate file

2017-10-10 12:30:16 -07:00

disasm.h

bpf: move instruction printing into a separate file

2017-10-10 12:30:16 -07:00

hashtab.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net

2017-10-22 13:39:14 +01:00

helpers.c

bpf: rename ARG_PTR_TO_STACK

2017-01-09 16:56:27 -05:00

inode.c

bpf: Add file mode configuration into bpf maps

2017-10-20 13:32:59 +01:00

lpm_trie.c

bpf: Add file mode configuration into bpf maps

2017-10-20 13:32:59 +01:00

Makefile

bpf: introduce new bpf cpu map type BPF_MAP_TYPE_CPUMAP

2017-10-18 12:12:18 +01:00

map_in_map.c

bpf: Add syscall lookup support for fd array and htab

2017-06-29 13:13:25 -04:00

map_in_map.h

bpf: Add syscall lookup support for fd array and htab

2017-06-29 13:13:25 -04:00

percpu_freelist.c

bpf: introduce percpu_freelist

2016-03-08 15:28:31 -05:00

percpu_freelist.h

bpf: introduce percpu_freelist

2016-03-08 15:28:31 -05:00

sockmap.c

Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/net

2017-11-02 15:23:39 +09:00

stackmap.c

bpf: Add file mode configuration into bpf maps

2017-10-20 13:32:59 +01:00

syscall.c

selinux: bpf: Add addtional check for bpf object file receive

2017-10-20 13:32:59 +01:00

tnum.c

bpf/verifier: track signed and unsigned min/max values

2017-08-08 17:51:34 -07:00

verifier.c

bpf: fix out-of-bounds access warning in bpf_check

2017-11-03 14:20:22 +09:00