Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

kernel/bpf/cfg.c push_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->insn_aux_data 4096-ptr_max
PARAM_VALUE 1 idx 0-s32max
CAPPED_DATA 1 idx 1
DATA_SOURCE 0 env $3
DATA_SOURCE 1 idx $1
FUZZY_MAX 1 idx 0
PARAM_COMPARE 0 env->prog->len > $1
PARAM_COMPARE 1 idx < $0->prog->len
CONSTRAINT 1 idx <3043
NOCHECK_CALL
UNITS 1 idx unit_array_size

kernel/bpf/cfg.c visit_func_call_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $2
NOCHECK_CALL

kernel/bpf/cfg.c visit_func_call_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->insn_aux_data 4096-ptr_max
DATA_SOURCE 0 env $2
DATA_SOURCE 1 idx $0
NOCHECK_CALL

kernel/bpf/cfg.c visit_gotox_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->insn_aux_data 4096-ptr_max
DATA_SOURCE 0 env $1
DATA_SOURCE 1 idx $0
NOCHECK_CALL

kernel/bpf/cfg.c visit_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $1
DATA_SOURCE 1 idx $0
NOCHECK_CALL

kernel/bpf/cfg.c visit_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
PARAM_VALUE 0 env->insn_aux_data 4096-ptr_max
DATA_SOURCE 0 env $1
DATA_SOURCE 1 idx $0
NOCHECK_CALL

kernel/bpf/cfg.c visit_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $1
DATA_SOURCE 1 idx $0
NOCHECK_CALL

kernel/bpf/cfg.c visit_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $1
NOCHECK_CALL

kernel/bpf/cfg.c visit_insn() -> mark_prune_point()

Type Parameter Key Value
PARAM_VALUE 0 env 4096-ptr_max
DATA_SOURCE 0 env $1
DATA_SOURCE 1 idx $0
NOCHECK_CALL