Re: [linux-yocto] [PATCH][linux-yocto-4.8] bpf/verifier: Fix states_equal() comparison of pointer and UNKNOWN

2018-04-02 Thread Bruce Ashfield
On 2018-04-02 8:18 AM, Ovidiu Panait wrote: commit 37435f7e80ef9adc32a69013c18f135e3f434244 upstream commit taken from: https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git/commit/?id=37435f7e80ef9adc32a69013c18f135e3f434244 An UNKNOWN_VALUE is not supposed to be derived from

[linux-yocto] [PATCH][linux-yocto-4.8] bpf/verifier: Fix states_equal() comparison of pointer and UNKNOWN

2018-04-02 Thread Ovidiu Panait
commit 37435f7e80ef9adc32a69013c18f135e3f434244 upstream commit taken from: https://git.kernel.org/pub/scm/linux/kernel/git/stable/linux-stable.git/commit/?id=37435f7e80ef9adc32a69013c18f135e3f434244 An UNKNOWN_VALUE is not supposed to be derived from a pointer, unless pointer leaks are allowed.