bpf, verifier: add additional patterns to evaluate_reg_imm_alu
authorJohn Fastabend <john.fastabend@gmail.com>
Sun, 2 Jul 2017 00:13:30 +0000 (02:13 +0200)
committerDavid S. Miller <davem@davemloft.net>
Mon, 3 Jul 2017 09:22:52 +0000 (02:22 -0700)
commit43188702b3d98d2792969a3377a30957f05695e6
tree5628949d11bd28e33bfcf8e22b5dbd1548ad8322
parent7bda4b40c5624c3f1c69227f8ebfd46a4b83f2ef
bpf, verifier: add additional patterns to evaluate_reg_imm_alu

Currently the verifier does not track imm across alu operations when
the source register is of unknown type. This adds additional pattern
matching to catch this and track imm. We've seen LLVM generating this
pattern while working on cilium.

Signed-off-by: John Fastabend <john.fastabend@gmail.com>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: David S. Miller <davem@davemloft.net>
kernel/bpf/verifier.c