Merge branch 'prevent-oob-under-speculation'
authorAlexei Starovoitov <ast@kernel.org>
Thu, 3 Jan 2019 00:01:25 +0000 (16:01 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Thu, 3 Jan 2019 00:01:25 +0000 (16:01 -0800)
commita67825f5195145f840939d0f85fc40b6b1077329
tree0aec20aa0c87f1cef2241c726cbbc404f5317155
parent8b6b25cf93b73e8e399adc55b0ffb9db32b881e0
parent80c9b2fae87bb5c5698940da1a981f14f89518d1
Merge branch 'prevent-oob-under-speculation'

Daniel Borkmann says:

====================
This set fixes an out of bounds case under speculative execution
by implementing masking of pointer alu into the verifier. For
details please see the individual patches.

Thanks!

v2 -> v3:
  - 8/9: change states_equal condition into old->speculative &&
    !cur->speculative, thanks Jakub!
  - 8/9: remove incorrect speculative state test in
    propagate_liveness(), thanks Jakub!
v1 -> v2:
  - Typo fixes in commit msg and a comment, thanks David!
====================

Signed-off-by: Alexei Starovoitov <ast@kernel.org>