[PATCH bpf-next v5 0/3] bpf: fix verification of indirect var-off stack access

[Andrei Matei <andreimatei1@gmail.com>]

V4 to V5:
  - split the test into a separate patch

V3 to V4:
  - include a test per Eduard's request
  - target bpf-next per Alexei's request (patches didn't change)


V2 to V3:
  - simplify checks for max_off (don't call
    check_stack_slot_within_bounds for it)
  - append a commit to protect against overflow in the addition of the
    register and the offset

V1 to V2:
  - fix max_off calculation for access size = 0


Andrei Matei (3):
  bpf: fix verification of indirect var-off stack access
  bpf: add verifier regression test for previous patch
  bpf: guard stack limits against 32bit overflow

 kernel/bpf/verifier.c                         | 20 +++++--------
 .../selftests/bpf/progs/verifier_var_off.c    | 29 +++++++++++++++++++
 2 files changed, 36 insertions(+), 13 deletions(-)

-- 
2.40.1