[PATCH bpf-next v1 0/3] Fix generic __uninit kfunc output buffers

[Kumar Kartikeya Dwivedi <memxor@gmail.com>]

Generic __uninit kfunc arguments are output buffers. Their stack
liveness already treats them as writes, but argument checking still
requires readable contents and does not record definite initialization
after the call.  Check these arguments as write-only and reuse helper
output-buffer tracking, with one entry per argument slot.

Kumar Kartikeya Dwivedi (3):
  bpf: Fix generic __uninit kfunc output buffers
  selftests/bpf: Allow privileged preparation for capability tests
  selftests/bpf: Cover generic __uninit kfunc output buffers

 Documentation/bpf/kfuncs.rst                  |  27 +-
 include/linux/bpf_verifier.h                  |  11 +-
 kernel/bpf/verifier.c                         |  70 ++-
 .../selftests/bpf/prog_tests/verifier.c       |   2 +
 tools/testing/selftests/bpf/progs/bpf_misc.h  |   9 +-
 .../bpf/progs/verifier_kfunc_uninit.c         | 399 ++++++++++++++++++
 .../selftests/bpf/test_kmods/bpf_testmod.c    |  56 +++
 .../bpf/test_kmods/bpf_testmod_kfunc.h        |   9 +
 tools/testing/selftests/bpf/test_loader.c     |  41 +-
 9 files changed, 577 insertions(+), 47 deletions(-)
 create mode 100644 tools/testing/selftests/bpf/progs/verifier_kfunc_uninit.c


base-commit: 5ef40d69b38a93bc9951dadb1a15c85c597e1a40
-- 
2.53.0