[PATCH bpf-next v2 0/1] Refactor dynptr mutability tracking

[Amery Hung <ameryhung@gmail.com>]

A heads up that this independent patch is separated from the object
relation tracking refactor patchset [0] to breakup the larger patchset
and make the review easier.

[0] https://lore.kernel.org/bpf/20260307064439.3247440-1-ameryhung@gmail.com/

v1 -> v2
 - Change the definition of the mutatbility of bpf_dynptr
   to only bpf_dynptr->data instead of the whole structure. Basically,
   only care about preventing passing CONST_PTR_TO_DYNPTR to arguments
   tagged with OBJ_RELEASE or MEM_UNINT
 - Drop MEM_RDONLY annotation as now we dont care
 - Drop passing CONST_PTR_TO_DYNPTR to MEM_RDONLY kfunc selftest
   

Amery Hung (1):
  bpf: Refactor dynptr mutability tracking

 fs/verity/measure.c                           |  2 +-
 include/linux/bpf.h                           |  8 +--
 kernel/bpf/btf.c                              |  2 +-
 kernel/bpf/helpers.c                          | 18 ++---
 kernel/bpf/verifier.c                         | 68 +++++--------------
 kernel/trace/bpf_trace.c                      | 18 ++---
 tools/testing/selftests/bpf/bpf_kfuncs.h      |  8 +--
 .../selftests/bpf/progs/dynptr_success.c      |  6 +-
 .../bpf/progs/test_kfunc_dynptr_param.c       |  9 +--
 9 files changed, 51 insertions(+), 88 deletions(-)

-- 
2.52.0