Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c check_helper_call() -> verbose_invalid_scalar()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->ops->gen_ld_abs | 0,5704186734949433344 |
| PARAM_VALUE | 0 | env->ops->get_func_proto | 1-u64max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | *env->tmp_arg_name | 0-255 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | reg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg->type | 1 |
| PARAM_VALUE | 3 | ctx | 5786016503470665728 |
| PARAM_VALUE | 4 | reg_name | 8163006713450631168 |
| BUF_SIZE | 1 | reg | 800 |
| BUF_SIZE | 1 | reg | 800 |
| BUF_SIZE | 3 | ctx | 18 |
| BUF_SIZE | 4 | reg_name | 3 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 17 |
| STR_LEN | 1 | reg | 2 |
| TERMINATED | 3 | ctx | 1 |
| TERMINATED | 4 | reg_name | 1 |
| NOCHECK_CALL |
kernel/bpf/verifier.c check_return_code() -> verbose_invalid_scalar()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->bt.frame | 0-2147483646 |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state->frame | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | *env->bt->reg_masks | 0-4294967295 |
| PARAM_VALUE | 0 | *env->bt->stack_arg_masks | 0-255 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | reg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg->type | 1 |
| PARAM_VALUE | 3 | ctx | 6587405234388189184,7180262559254007808 |
| PARAM_VALUE | 4 | reg_name | 377098547117395968,8163006713450631168 |
| BUF_SIZE | 3 | ctx | 16,25 |
| BUF_SIZE | 3 | ctx | 16,25 |
| BUF_SIZE | 4 | reg_name | 3 |
| BUF_SIZE | 4 | reg_name | 3 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | reg | r reg_state |
| DATA_SOURCE | 4 | reg_name | $2 |
| STR_LEN | 0 | env | 2 |
| STR_LEN | 0 | env | 2 |
| STR_LEN | 1 | reg | 15,24 |
| STR_LEN | 3 | ctx | 15,24 |
| BIT_INFO | 3 | ctx | 0x43212a0002414000,0x7bef6ae9ff5fd000 |
| BIT_INFO | 3 | ctx | 0x43212a0002414000,0x7bef6ae9ff5fd000 |
| TERMINATED | 3 | ctx | 1 |
| TERMINATED | 4 | reg_name | 1 |
| NOCHECK_CALL |
kernel/bpf/verifier.c prepare_func_exit() -> verbose_invalid_scalar()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->bt.frame | 0-2147483646 |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state->frame | 4096-ptr_max |
| PARAM_VALUE | 0 | env->insn_aux_data->btf_var.reg_type | 0,16,529,4112 |
| PARAM_VALUE | 0 | env->ops->gen_ld_abs | 0,4096-ptr_max |
| PARAM_VALUE | 0 | env->prog | 4096-ptr_max |
| PARAM_VALUE | 0 | *env->bt->reg_masks | 0-4294967295 |
| PARAM_VALUE | 0 | *env->bt->stack_arg_masks | 0-255 |
| PARAM_VALUE | 0 | *env->tmp_arg_name | 0-255 |
| PARAM_VALUE | 0 | *env->tmp_str_buf | 0-255 |
| PARAM_VALUE | 1 | reg | 4096-ptr_max |
| PARAM_VALUE | 1 | reg->type | 1 |
| PARAM_VALUE | 3 | ctx | 6349408870998798336 |
| PARAM_VALUE | 4 | reg_name | 377098547117395968 |
| BUF_SIZE | 1 | reg | 880 |
| BUF_SIZE | 1 | reg | 880 |
| BUF_SIZE | 3 | ctx | 19 |
| BUF_SIZE | 4 | reg_name | 3 |
| DATA_SOURCE | 0 | env | $0 |
| STR_LEN | 0 | env | 18 |
| STR_LEN | 1 | reg | 2 |
| TERMINATED | 3 | ctx | 1 |
| TERMINATED | 4 | reg_name | 1 |
| NOCHECK_CALL |