Defined in 1 files as a prototype:
Defined in 2 files as a function:
Referenced in 1 files:
Smatch caller information:
kernel/bpf/verifier.c check_helper_call() -> bpf_lsm_get_retval_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux->attach_func_proto | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux->attach_func_proto->type | 1-u32max |
| PARAM_VALUE | 0 | prog->expected_attach_type | 43 |
| PARAM_VALUE | 1 | retval_range | 237985387946397696 |
| PARAM_VALUE | 1 | retval_range->maxval | 0 |
| PARAM_VALUE | 1 | retval_range->minval | (-4095) |
| PARAM_VALUE | 1 | retval_range->return_32bit | 1 |
| NOCHECK_CALL |
kernel/bpf/verifier.c do_refine_retval_range() -> bpf_lsm_get_retval_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux->attach_func_proto | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->aux->attach_func_proto->type | 1-u32max |
| PARAM_VALUE | 0 | prog->expected_attach_type | 43 |
| PARAM_VALUE | 1 | retval_range | 5133906904626085888 |
| NOCHECK_CALL |
kernel/bpf/verifier.c get_func_retval_range() -> bpf_lsm_get_retval_range()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | prog | 4096-ptr_max |
| PARAM_VALUE | 0 | prog->expected_attach_type | 27 |
| PARAM_VALUE | 0 | prog->type | 29 |
| PARAM_VALUE | 1 | retval_range | 915973760194150400,6173611833212596224 |
| DATA_SOURCE | 0 | prog | $0 |
| DATA_SOURCE | 1 | retval_range | $1 |