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

Message

Kumar Kartikeya Dwivedi Feb. 19, 2025, 12:51 p.m. UTC

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