Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

kernel/bpf/states.c bpf_is_state_visited() -> bpf_copy_verifier_state()

Type Parameter Key Value
PARAM_VALUE 0 dst_state 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
NO_OVERFLOW_SIMPLE 1 src->jmp_history_cnt

kernel/bpf/states.c bpf_is_state_visited() -> bpf_copy_verifier_state()

Type Parameter Key Value
PARAM_VALUE 0 dst_state 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
BUF_SIZE 0 dst_state 232
NO_OVERFLOW_SIMPLE 1 src->jmp_history_cnt

kernel/bpf/verifier.c pop_stack() -> bpf_copy_verifier_state()

Type Parameter Key Value
PARAM_VALUE 1 src 1-u64max
BUF_SIZE 0 dst_state 0
BIT_INFO 0 dst_state 0x0,0x0

kernel/bpf/verifier.c push_stack() -> bpf_copy_verifier_state()

Type Parameter Key Value
PARAM_VALUE 0 dst_state 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
NO_OVERFLOW_SIMPLE 1 src->jmp_history_cnt