Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

kernel/bpf/bpf_iter.c bpf_iter_link_attach() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 16
DATA_SOURCE 0 uaddr r make_bpfptr
BIT_INFO 0 uaddr 0x0,0x0
UNITS 1 expected_size unit_byte

kernel/bpf/syscall.c __sys_bpf() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 168
DATA_SOURCE 0 uaddr $1
DATA_SOURCE 2 actual_size $2
BIT_INFO 0 uaddr 0x0,0x0
USER_DATA 2 actual_size 0-u32max
UNITS 1 expected_size unit_byte

kernel/bpf/syscall.c __sys_bpf() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 20
DATA_SOURCE 0 uaddr $3
DATA_SOURCE 2 actual_size $4
BIT_INFO 0 uaddr 0x0,0x0
USER_DATA 2 actual_size 0-u32max
UNITS 1 expected_size unit_byte

kernel/bpf/syscall.c bpf_btf_get_info_by_fd() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 32
BIT_INFO 0 uaddr 0x0,0x0
UNITS 1 expected_size unit_byte

kernel/bpf/syscall.c bpf_link_get_info_by_fd() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 64
BIT_INFO 0 uaddr 0x0,0x0
UNITS 1 expected_size unit_byte

kernel/bpf/syscall.c bpf_map_get_info_by_fd() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 100
BIT_INFO 0 uaddr 0x0,0x0
UNITS 1 expected_size unit_byte

kernel/bpf/syscall.c bpf_prog_get_info_by_fd() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 228
BIT_INFO 0 uaddr 0x0,0x0
UNITS 1 expected_size unit_byte

kernel/bpf/syscall.c token_get_info_by_fd() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 32
BIT_INFO 0 uaddr 0x0,0x0
UNITS 1 expected_size unit_byte

net/bpf/test_run.c bpf_ctx_init() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 24,48,56,72
DATA_SOURCE 1 expected_size $1
BIT_INFO 0 uaddr 0x0,0x0
HARD_MAX 1 expected_size 72
UNITS 1 expected_size unit_byte

kernel/bpf/check_btf.c check_btf_line() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 16
PARAM_VALUE 2 actual_size 16-252
CAPPED_DATA 2 actual_size 1
DATA_SOURCE 0 uaddr r make_bpfptr
BIT_INFO 0 uaddr 0x0,0x0
BIT_INFO 2 actual_size 0x0,0xfc
NO_OVERFLOW_SIMPLE 2 actual_size
UNITS 1 expected_size unit_byte
UNITS 2 actual_size unit_byte

kernel/bpf/check_btf.c check_core_relo() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 16
PARAM_VALUE 2 actual_size 16-252
CAPPED_DATA 2 actual_size 1
DATA_SOURCE 0 uaddr r make_bpfptr
BIT_INFO 0 uaddr 0x0,0x0
NO_OVERFLOW_SIMPLE 2 actual_size
UNITS 1 expected_size unit_byte
UNITS 2 actual_size unit_byte

kernel/bpf/check_btf.c prepare_btf_func() -> bpf_check_uarg_tail_zero()

Type Parameter Key Value
PARAM_VALUE 1 expected_size 8
PARAM_VALUE 2 actual_size 8-252
CAPPED_DATA 2 actual_size 1
DATA_SOURCE 0 uaddr r make_bpfptr
BIT_INFO 0 uaddr 0x0,0x0
NO_OVERFLOW_SIMPLE 1 expected_size
NO_OVERFLOW_SIMPLE 2 actual_size
UNITS 1 expected_size unit_byte
UNITS 2 actual_size unit_byte