bpf: fix 32-bit divide by zero
authorAlexei Starovoitov <ast@kernel.org>
Sat, 13 Jan 2018 02:59:52 +0000 (18:59 -0800)
committerDaniel Borkmann <daniel@iogearbox.net>
Sun, 14 Jan 2018 22:05:33 +0000 (23:05 +0100)
commit68fda450a7df51cff9e5a4d4a4d9d0d5f2589153
tree555aa6473c3d960c0a95bd9c4843c8b48947cf1f
parentc366287ebd698ef5e3de300d90cd62ee9ee7373e
bpf: fix 32-bit divide by zero

due to some JITs doing if (src_reg == 0) check in 64-bit mode
for div/mod operations mask upper 32-bits of src register
before doing the check

Fixes: 622582786c9e ("net: filter: x86: internal BPF JIT")
Fixes: 7a12b5031c6b ("sparc64: Add eBPF JIT.")
Reported-by: syzbot+48340bb518e88849e2e3@syzkaller.appspotmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
kernel/bpf/verifier.c
net/core/filter.c