From: Andrii Nakryiko <andrii@kernel.org>
Date: Thu, 7 Dec 2023 18:57:36 +0000 (-0800)
Subject: Merge branch 'bpf-fix-verification-of-indirect-var-off-stack-access'
X-Git-Url: http://git.maquefel.me/?a=commitdiff_plain;h=483af466e4ee3326d150877ea0626e95c67a395e;p=linux.git

Merge branch 'bpf-fix-verification-of-indirect-var-off-stack-access'

Andrei Matei says:

====================
bpf: fix verification of indirect var-off stack access

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
====================

Link: https://lore.kernel.org/r/20231207041150.229139-1-andreimatei1@gmail.com
Signed-off-by: Andrii Nakryiko <andrii@kernel.org>
---

483af466e4ee3326d150877ea0626e95c67a395e