Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/liveness.c arg_track_join() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->insn_aux_data | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 3715401973829869568 |
| PARAM_VALUE | 1 | at->frame | (-128)-(-3),(-1)-127 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c arg_track_join() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->insn_aux_data | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c arg_track_join() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->insn_aux_data | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 5503746051498004480 |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c arg_track_log() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c arg_track_log() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c arg_track_log() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c arg_track_log() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c arg_track_log() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c arg_track_log() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cfg.insn_postorder | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c print_subprog_arg_access() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->prog->insnsi | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c print_subprog_arg_access() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->prog->insnsi | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |
kernel/bpf/liveness.c print_subprog_arg_access() -> verbose_arg_track()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness | 4096-ptr_max |
| PARAM_VALUE | 0 | env->liveness->live_stack_query.curframe | 0-4294967294 |
| PARAM_VALUE | 0 | env->liveness->subprog_calls | 0-10000 |
| PARAM_VALUE | 0 | env->log.level | 2-u32max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux->kfunc_btf_tab->nr_descs | 0-4294967295 |
| PARAM_VALUE | 0 | env->prog->insnsi | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info | 4096-ptr_max |
| PARAM_VALUE | 0 | env->subprog_info->args_cached | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->changes_pkt_data | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->exit_idx | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->has_ld_abs | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->has_tail_call | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->insn_processed | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->is_async_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->is_exception_cb | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->keep_fastcall_stack | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->max_out_stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->might_sleep | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->might_throw | 0-1 |
| PARAM_VALUE | 0 | env->subprog_info->priv_stack_mode | 0-4294967295 |
| PARAM_VALUE | 0 | env->subprog_info->stack_arg_cnt | 0-u16max |
| PARAM_VALUE | 0 | env->subprog_info->tail_call_reachable | 0-1 |
| PARAM_VALUE | 0 | *env->succ->items | 0-4294967295 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | at | 4096-ptr_max |
| DATA_SOURCE | 0 | env | $0 |
| FUZZY_MAX | 0 | env->liveness->subprog_calls | 10000 |
| BIT_INFO | 0 | env->log.level | 0x2,0xffffffffffffffff |
| HARD_MAX | 0 | env->liveness->subprog_calls | 10000 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | env->log.kbuf | |
| NO_OVERFLOW_SIMPLE | 0 | env->subprog_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | env->tmp_str_buf |