OSDN Git Service

bpf: fix 32-bit divide by zero
authorAlexei Starovoitov <ast@kernel.org>
Mon, 29 Jan 2018 01:49:00 +0000 (02:49 +0100)
committerGreg Kroah-Hartman <gregkh@linuxfoundation.org>
Wed, 31 Jan 2018 11:55:57 +0000 (12:55 +0100)
commit265d7657c9baf09d57eb386d0374e912e9649626
tree1f946e259824241ecee5a0137457a87dc3cc0435
parent4606077802f2c6ef7aff5185d9f7d99a50784ffd
bpf: fix 32-bit divide by zero

[ upstream commit 68fda450a7df51cff9e5a4d4a4d9d0d5f2589153 ]

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