Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 19 files:
- kernel/bpf/helpers.c
- kernel/bpf/verifier.c, line 11143
- tools/testing/selftests/bpf/progs/bpf_qdisc_dynptr_use_after_invalidate_clone.c, line 24
- tools/testing/selftests/bpf/progs/bpf_qdisc_fail__invalid_dynptr.c, line 24
- tools/testing/selftests/bpf/progs/bpf_qdisc_fail__invalid_dynptr_cross_frame.c, line 28
- tools/testing/selftests/bpf/progs/bpf_qdisc_fail__invalid_dynptr_slice.c, line 22
- tools/testing/selftests/bpf/progs/dynptr_fail.c
- tools/testing/selftests/bpf/progs/dynptr_success.c
- tools/testing/selftests/bpf/progs/file_reader_fail.c, line 99
- tools/testing/selftests/bpf/progs/ip_check_defrag.c
- tools/testing/selftests/bpf/progs/test_l4lb_noinline_dynptr.c
- tools/testing/selftests/bpf/progs/test_parse_tcp_hdr_opt_dynptr.c
- tools/testing/selftests/bpf/progs/test_tunnel_kern.c
- tools/testing/selftests/bpf/progs/test_xdp_dynptr.c
- tools/testing/selftests/bpf/progs/test_xdp_meta.c
- tools/testing/selftests/bpf/progs/verifier_global_subprogs.c, line 492
- tools/testing/selftests/bpf/progs/verifier_map_lookup_refine.c, line 40
- tools/testing/selftests/bpf/progs/verifier_mem_size_reg.c, line 24
- tools/testing/selftests/bpf/progs/verifier_netfilter_ctx.c
Smatch caller information:
kernel/bpf/helpers.c __bpf_dynptr_data() -> bpf_dynptr_slice()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 1 | offset | 0 |
| PARAM_VALUE | 2 | buffer__nullable | 0 |
| DATA_SOURCE | 0 | p | $0 |
| DATA_SOURCE | 3 | buffer__szk | $1 |
| UNITS | 3 | buffer__szk | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
kernel/bpf/helpers.c bpf_dynptr_copy() -> bpf_dynptr_slice()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | buffer__nullable | 0 |
| DATA_SOURCE | 0 | p | $2 |
| DATA_SOURCE | 1 | offset | $3 |
| DATA_SOURCE | 3 | buffer__szk | $4 |
kernel/bpf/helpers.c bpf_dynptr_slice_rdwr() -> bpf_dynptr_slice()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | p | 4096-ptr_max |
| PARAM_VALUE | 0 | p->data | 1-u64max |
| PARAM_VALUE | 2 | buffer__nullable | 0 |
| DATA_SOURCE | 0 | p | $0 |
| DATA_SOURCE | 1 | offset | $1 |
| DATA_SOURCE | 2 | buffer__nullable | $2 |
| DATA_SOURCE | 3 | buffer__szk | $3 |