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
