Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c adjust_reg_min_max_vals() -> adjust_ptr_min_max_vals()
| 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->insnsi | 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 | insn | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr_reg | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr_reg->type | 0,2-17,19-u32max |
| PARAM_VALUE | 3 | off_reg | 5933952784933187584 |
| PARAM_VALUE | 3 | off_reg->type | 1 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | insn | $1 |
kernel/bpf/verifier.c adjust_reg_min_max_vals() -> adjust_ptr_min_max_vals()
| 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->insnsi | 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 | insn | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr_reg | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr_reg->type | 0,2-17,19-u32max |
| PARAM_VALUE | 3 | off_reg | 4096-ptr_max |
| PARAM_VALUE | 3 | off_reg->type | 1 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | insn | $1 |
kernel/bpf/verifier.c adjust_reg_min_max_vals() -> adjust_ptr_min_max_vals()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | env | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state | 4096-ptr_max |
| PARAM_VALUE | 0 | env->cur_state->frame | 4096-ptr_max |
| PARAM_VALUE | 0 | env->prog->insnsi | 4096-ptr_max |
| PARAM_VALUE | 1 | insn | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr_reg | 4096-ptr_max |
| PARAM_VALUE | 2 | ptr_reg->type | 0,2-17,19-u32max |
| PARAM_VALUE | 3 | off_reg | 5933952784933187584 |
| PARAM_VALUE | 3 | off_reg->id | 0 |
| PARAM_VALUE | 3 | off_reg->parent_id | 0 |
| BUF_SIZE | 3 | off_reg | 80 |
| DATA_SOURCE | 0 | env | $0 |
| DATA_SOURCE | 1 | insn | $1 |