Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/trace/bpf_trace.c __bpf_dynptr_copy() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 len $2

kernel/trace/bpf_trace.c __bpf_dynptr_copy_str() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 len $2

kernel/bpf/helpers.c ____bpf_dynptr_data() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
PARAM_VALUE 0 ptr->data 1-u64max
DATA_SOURCE 0 ptr $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 len $2

kernel/bpf/helpers.c __bpf_dynptr_read() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
PARAM_VALUE 0 ptr->data 1-u64max
DATA_SOURCE 0 ptr $2
DATA_SOURCE 1 offset $3
DATA_SOURCE 2 len $1
UNITS 2 len unit_byte

kernel/bpf/helpers.c __bpf_dynptr_write() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
PARAM_VALUE 0 ptr->data 1-u64max
DATA_SOURCE 0 ptr $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 len $3
NO_OVERFLOW_SIMPLE 0 ptr->data->end
UNITS 2 len unit_byte

kernel/bpf/helpers.c bpf_dynptr_copy() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 len $4

kernel/bpf/helpers.c bpf_dynptr_copy() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 ptr $2
DATA_SOURCE 1 offset $3
DATA_SOURCE 2 len $4

kernel/bpf/helpers.c bpf_dynptr_memset() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
DATA_SOURCE 0 ptr $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 len $2

kernel/bpf/helpers.c bpf_dynptr_slice() -> bpf_dynptr_check_off_len()

Type Parameter Key Value
PARAM_VALUE 0 ptr 4096-ptr_max
PARAM_VALUE 0 ptr->data 1-u64max
DATA_SOURCE 0 ptr $0
DATA_SOURCE 1 offset $1
DATA_SOURCE 2 len $3
UNITS 2 len unit_byte