[RFC PATCH bpf-next v1 0/2] Fix bpf_dynptr_slice_rdwr stack state

[Kumar Kartikeya Dwivedi <memxor@xxxxxxxxx>]

Fix verifier state tracking in case of stack pointer passed to
bpf_dynptr_slice_rdwr. Add an associated selftest to verify the
fix. Details in the commit log.

Kumar Kartikeya Dwivedi (2):
  bpf: Explore PTR_TO_STACK as R0 for bpf_dynptr_slice_rdwr
  selftests/bpf: Add selftest for bpf_dynptr_slice_rdwr r0 handling

 kernel/bpf/verifier.c                         | 51 +++++++++++++++++++
 .../testing/selftests/bpf/progs/dynptr_fail.c | 45 ++++++++++++++++
 2 files changed, 96 insertions(+)


base-commit: 654765b5c6d62efad270ec5f8a57802dc253d128
prerequisite-patch-id: c5126a1279e394882a332d246dbb726b224ba690
-- 
2.43.5