John Fastabend 43188702b3 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>		2017-07-03 02:22:52 -07:00
..
arraymap.c	bpf: Add syscall lookup support for fd array and htab	2017-06-29 13:13:25 -04:00
bpf_lru_list.c
bpf_lru_list.h
cgroup.c	bpf: BPF support for sock_ops	2017-07-01 16:15:13 -07:00
core.c	bpf: Fix out-of-bound access on interpreters[]	2017-06-29 15:37:04 -04:00
hashtab.c	bpf: Add syscall lookup support for fd array and htab	2017-06-29 13:13:25 -04:00
helpers.c
inode.c
lpm_trie.c
Makefile
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
percpu_freelist.h
stackmap.c
syscall.c	bpf: export whether tail call has jited owner	2017-07-03 02:22:52 -07:00
verifier.c	bpf, verifier: add additional patterns to evaluate_reg_imm_alu	2017-07-03 02:22:52 -07:00