bpf/verifier: reject BPF_ALU64|BPF_END
authorEdward Cree <ecree@solarflare.com>
Fri, 15 Sep 2017 13:37:38 +0000 (14:37 +0100)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Thu, 12 Oct 2017 09:51:20 +0000 (11:51 +0200)
commite159492b3c3edeffb9cbfb449efb5e7adfb719f7
treea4e02585b3e887ec1362b09ee08a1f6431490c1c
parent186a9c5e7038d7e6b39d2f6c96f71056b1bacd8d
bpf/verifier: reject BPF_ALU64|BPF_END

[ Upstream commit e67b8a685c7c984e834e3181ef4619cd7025a136 ]

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>
Signed-off-by: Greg Kroah-Hartman <gregkh@linuxfoundation.org>
kernel/bpf/verifier.c