Date: Thu, 10 Jun 2021 13:00:44 -0700 From: Eric Biggers <ebiggers@...nel.org> To: Alexei Starovoitov <alexei.starovoitov@...il.com> Cc: Kees Cook <keescook@...omium.org>, Yonghong Song <yhs@...com>, Dmitry Vyukov <dvyukov@...gle.com>, Kurt Manucredo <fuzzybritches0@...il.com>, syzbot+bed360704c521841c85d@...kaller.appspotmail.com, Andrii Nakryiko <andrii@...nel.org>, Alexei Starovoitov <ast@...nel.org>, bpf <bpf@...r.kernel.org>, Daniel Borkmann <daniel@...earbox.net>, "David S. Miller" <davem@...emloft.net>, Jesper Dangaard Brouer <hawk@...nel.org>, John Fastabend <john.fastabend@...il.com>, Martin KaFai Lau <kafai@...com>, KP Singh <kpsingh@...nel.org>, Jakub Kicinski <kuba@...nel.org>, LKML <linux-kernel@...r.kernel.org>, Network Development <netdev@...r.kernel.org>, Song Liu <songliubraving@...com>, syzkaller-bugs <syzkaller-bugs@...glegroups.com>, nathan@...nel.org, Nick Desaulniers <ndesaulniers@...gle.com>, Clang-Built-Linux ML <clang-built-linux@...glegroups.com>, linux-kernel-mentees@...ts.linuxfoundation.org, Shuah Khan <skhan@...uxfoundation.org>, Greg Kroah-Hartman <gregkh@...uxfoundation.org>, Kernel Hardening <kernel-hardening@...ts.openwall.com>, kasan-dev <kasan-dev@...glegroups.com> Subject: Re: [PATCH v4] bpf: core: fix shift-out-of-bounds in ___bpf_prog_run On Thu, Jun 10, 2021 at 10:52:37AM -0700, Alexei Starovoitov wrote: > On Thu, Jun 10, 2021 at 10:06 AM Kees Cook <keescook@...omium.org> wrote: > > > > > > I guess the main question: what should happen if a bpf program writer > > > > does _not_ use compiler nor check_shl_overflow()? > > > > I think the BPF runtime needs to make such actions defined, instead of > > doing a blind shift. It needs to check the size of the shift explicitly > > when handling the shift instruction. > > Such ideas were brought up in the past and rejected. > We're not going to sacrifice performance to make behavior a bit more > 'defined'. CPUs are doing it deterministically. What CPUs do is not the whole story. The compiler can assume that the shift amount is less than the width and use that assumption in other places, resulting in other things being miscompiled. Couldn't you just AND the shift amounts with the width minus 1? That would make the shifts defined, and the compiler would optimize out the AND on any CPU that interprets the shift amounts modulo the width anyway (e.g., x86). - Eric
Powered by blists - more mailing lists
Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.