Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/selinux/ss/avtab.c avtab_read_item() -> avtab_read_item param 3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 0 | a->htable | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | a->mask | 0-u16max |
| PARAM_VALUE | 0 | a->nslot | 0-65536 |
| PARAM_VALUE | 1 | k | 1360104217068969984 |
| PARAM_VALUE | 1 | k->source_type | 1-u16max |
| PARAM_VALUE | 1 | k->target_class | 1-u16max |
| PARAM_VALUE | 1 | k->target_type | 1-u16max |
| PARAM_VALUE | 2 | d | 4930362701900075008 |
| PARAM_VALUE | 3 | ptr | 0,2314547380541927424 |
| BUF_SIZE | 3 | ptr | (-1),24 |
| BUF_SIZE | 3 | ptr | (-1),24 |
| DATA_SOURCE | 0 | a | $0 |
| DATA_SOURCE | 3 | ptr | $4 |
| MEM_ZERO | 1 | k | |
| MEM_ZERO | 2 | d | |
| NO_OVERFLOW_SIMPLE | 0 | a->nslot | |
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/avtab.c avtab_read_item() -> avtab_read_item param 3()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | 4096-ptr_max |
| PARAM_VALUE | 0 | a->htable | 0,16,4096-ptr_max |
| PARAM_VALUE | 0 | a->mask | 0-u16max |
| PARAM_VALUE | 0 | a->nslot | 0-65536 |
| PARAM_VALUE | 1 | k | 1360104217068969984 |
| PARAM_VALUE | 1 | k->source_type | 1-u16max |
| PARAM_VALUE | 1 | k->specified | 0-65534 |
| PARAM_VALUE | 1 | k->target_class | 1-u16max |
| PARAM_VALUE | 1 | k->target_type | 1-u16max |
| PARAM_VALUE | 2 | d | 4930362701900075008 |
| PARAM_VALUE | 2 | d->u.xperms | 0,7902135111330484224 |
| PARAM_VALUE | 3 | ptr | 2314547380541927424 |
| BUF_SIZE | 3 | ptr | 24 |
| BUF_SIZE | 3 | ptr | 24 |
| DATA_SOURCE | 0 | a | $0 |
| DATA_SOURCE | 3 | ptr | $4 |
| MEM_ZERO | 1 | k | |
| MEM_ZERO | 2 | d | |
| NO_OVERFLOW_SIMPLE | 0 | a->nslot | |
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |