Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/bpf/bpf_iter.c copy_from_bpfptr() -> copy_from_bpfptr_offset()

Type Parameter Key Value
PARAM_VALUE 0 dst 5086374328987889664
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 size 0-16
BUF_SIZE 0 dst 16
BUF_SIZE 0 dst 16
CAPPED_DATA 3 size 1
CAPPED_DATA 3 size 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 3 size $2
BIT_INFO 1 src 0x0,0x0
NO_OVERFLOW_SIMPLE 3 size
UNITS 3 size unit_byte

kernel/bpf/syscall.c copy_from_bpfptr() -> copy_from_bpfptr_offset()

Type Parameter Key Value
PARAM_VALUE 2 offset 0
BUF_SIZE 0 dst (-1),24,32,168
BUF_SIZE 0 dst (-1),24,32,168
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 3 size $2
BIT_INFO 1 src 0x0,0x0
USER_DATA 3 size 0-167[c]
UNITS 3 size unit_byte
BYTE_COUNT 0 ==dst3 8050

kernel/bpf/btf.c copy_from_bpfptr() -> copy_from_bpfptr_offset()

Type Parameter Key Value
PARAM_VALUE 0 dst 16,4096-ptr_max
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 size 0-16777216
BUF_SIZE 0 dst 0-16777216
BUF_SIZE 0 dst 0-16777216
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 3 size $2
FUZZY_MAX 3 size 16777216
PARAM_COMPARE 0 dst == $3
BIT_INFO 1 src 0x0,0x0
UNITS 3 size unit_byte
BYTE_COUNT 0 ==dst3 8050

kernel/bpf/check_btf.c copy_from_bpfptr() -> copy_from_bpfptr_offset()

Type Parameter Key Value
PARAM_VALUE 0 dst 4096-ptr_max
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 size 8,16
BUF_SIZE 0 dst (-1),16
BUF_SIZE 0 dst (-1),16
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 3 size $2
BIT_INFO 1 src 0x0,0x0
HARD_MAX 3 size 16
UNITS 3 size unit_byte

kernel/bpf/verifier.c copy_from_bpfptr() -> copy_from_bpfptr_offset()

Type Parameter Key Value
PARAM_VALUE 0 dst 16,4096-ptr_max
PARAM_VALUE 2 offset 0
PARAM_VALUE 3 size 1-8192
BUF_SIZE 0 dst 1-8192
BUF_SIZE 0 dst 1-8192
CAPPED_DATA 0 dst 1
DATA_SOURCE 0 dst $0
DATA_SOURCE 1 src $1
DATA_SOURCE 3 size $2
FUZZY_MAX 3 size 8192
PARAM_COMPARE 0 dst == $3
BIT_INFO 1 src 0x0,0x0
UNITS 3 size unit_byte
BYTE_COUNT 0 ==dst3 8050

kernel/bpf/verifier.c fd_array_get_btf_sparse() -> copy_from_bpfptr_offset()

Type Parameter Key Value
PARAM_VALUE 0 dst 7648008224080080896
PARAM_VALUE 2 offset 4-131068
PARAM_VALUE 3 size 4
BUF_SIZE 0 dst 4
BIT_INFO 1 src 0x0,0x0
UNITS 3 size unit_byte

kernel/bpf/verifier.c fd_array_get_map_idx_sparse() -> copy_from_bpfptr_offset()

Type Parameter Key Value
PARAM_VALUE 0 dst 3265806896616132608
PARAM_VALUE 3 size 4
BUF_SIZE 0 dst 4
BIT_INFO 1 src 0x0,0x0
UNITS 3 size unit_byte

kernel/bpf/verifier.c process_fd_array_continuous() -> copy_from_bpfptr_offset()

Type Parameter Key Value
PARAM_VALUE 0 dst 6411484532070588416
PARAM_VALUE 2 offset 0-16380
PARAM_VALUE 3 size 4
BUF_SIZE 0 dst 4
CAPPED_DATA 2 offset 1
DATA_SOURCE 1 src $1
BIT_INFO 1 src 0x0,0x0
UNITS 3 size unit_byte