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

2017-11-02 Thread Craig Gallek
On Thu, Nov 2, 2017 at 11:07 AM, Alexei Starovoitov wrote: > On 11/2/17 7:21 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. >>

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

2017-11-02 Thread Alexei Starovoitov
On 11/2/17 7:21 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] 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