bpf/verifier: reject BPF_ALU64|BPF_END
authorEdward Cree <ecree@solarflare.com>
Fri, 15 Sep 2017 13:37:38 +0000 (14:37 +0100)
committerDavid S. Miller <davem@davemloft.net>
Fri, 15 Sep 2017 22:01:32 +0000 (15:01 -0700)
commite67b8a685c7c984e834e3181ef4619cd7025a136
treef6f0864ed6376f22696eee85a841e6bd38b820ec
parent8c7c19a55e41ae69d1cd18ab56e6e9b66a679a7c
bpf/verifier: reject BPF_ALU64|BPF_END

Neither ___bpf_prog_run nor the JITs accept it.
Also adds a new test case.

Fixes: 17a5267067f3 ("bpf: verifier (add verifier core)")
Signed-off-by: Edward Cree <ecree@solarflare.com>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>
kernel/bpf/verifier.c
tools/testing/selftests/bpf/test_verifier.c