Re: [PATCH net-next v2] bpf: fix verifier NULL pointer dereference

2017-11-02 Thread David Miller
From: Craig Gallek Date: Thu, 2 Nov 2017 11:18:01 -0400 > From: Craig Gallek > > do_check() can fail early without allocating env->cur_state under > memory pressure. Syzkaller found the stack below on the linux-next > tree because of this. ... > Fixes: 638f5b90d460 ("bpf: reduce verifier mem

Re: [PATCH net-next v2] bpf: fix verifier NULL pointer dereference

2017-11-02 Thread Daniel Borkmann
On 11/02/2017 04:18 PM, Craig Gallek wrote: From: Craig Gallek do_check() can fail early without allocating env->cur_state under memory pressure. Syzkaller found the stack below on the linux-next tree because of this. kasan: CONFIG_KASAN_INLINE enabled kasan: GPF could be caused by NULL

Re: [PATCH net-next v2] bpf: fix verifier NULL pointer dereference

2017-11-02 Thread Alexei Starovoitov
On 11/2/17 8:18 AM, Craig Gallek wrote: From: Craig Gallek do_check() can fail early without allocating env->cur_state under memory pressure. Syzkaller found the stack below on the linux-next tree because of this. kasan: CONFIG_KASAN_INLINE enabled kasan: GPF could be caused by NULL-ptr d

[PATCH net-next v2] bpf: fix verifier NULL pointer dereference

2017-11-02 Thread Craig Gallek
From: Craig Gallek do_check() can fail early without allocating env->cur_state under memory pressure. Syzkaller found the stack below on the linux-next tree because of this. kasan: CONFIG_KASAN_INLINE enabled kasan: GPF could be caused by NULL-ptr deref or user memory access general prote