Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/liveness.c analyze_subprog() -> mark_stack_read()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-s32max
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $3 [m]
BIT_INFO 3 mask 0x0,0x0
UNITS 2 insn_idx unit_array_size

kernel/bpf/liveness.c analyze_subprog() -> mark_stack_read()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-2147483645
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $3 [m]
BIT_INFO 3 mask 0x0,0x0
UNITS 2 insn_idx unit_array_size

kernel/bpf/liveness.c record_arg_access() -> mark_stack_read()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-s32max
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $1
DATA_SOURCE 2 insn_idx $5
BIT_INFO 3 mask 0x0,0x0
UNITS 2 insn_idx unit_array_size

kernel/bpf/liveness.c record_imprecise() -> mark_stack_read()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-s32max
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 2 insn_idx $2
BIT_INFO 3 mask 0x0,0x0
UNITS 2 insn_idx unit_array_size

kernel/bpf/liveness.c record_stack_access() -> mark_stack_read()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-127
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 frame $3
DATA_SOURCE 2 insn_idx $4
BIT_INFO 3 mask 0x0,0x0
UNITS 2 insn_idx unit_array_size

kernel/bpf/liveness.c record_stack_access_off() -> mark_stack_read()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-127
PARAM_VALUE 3 mask->v 1
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 frame $3
DATA_SOURCE 2 insn_idx $4
BIT_INFO 3 mask 0x0,0x0
NO_OVERFLOW_SIMPLE 0 instance->insn_cnt
UNITS 2 insn_idx unit_array_size

kernel/bpf/liveness.c record_stack_access_off() -> mark_stack_read()

Type Parameter Key Value
PARAM_VALUE 0 instance 4096-ptr_max
PARAM_VALUE 1 frame 0-127
BUF_SIZE 0 instance (-1),176
BUF_SIZE 0 instance (-1),176
CAPPED_DATA 1 frame 1
DATA_SOURCE 0 instance $0
DATA_SOURCE 1 frame $3
DATA_SOURCE 2 insn_idx $4
BIT_INFO 3 mask 0x0,0x0
NO_OVERFLOW_SIMPLE 0 instance->insn_cnt
UNITS 2 insn_idx unit_array_size