Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
security/selinux/ss/sidtab.c sidtab_convert() -> sidtab_convert_tree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edst | 4096-ptr_max |
| PARAM_VALUE | 1 | esrc | 4096-ptr_max |
| PARAM_VALUE | 2 | pos | 6931554452092571648 |
| PARAM_VALUE | 2 | *pos | 0 |
| PARAM_VALUE | 3 | count | 1-19968 |
| PARAM_VALUE | 5 | convert | 4096-ptr_max |
| PARAM_VALUE | 5 | convert->args | 4096-ptr_max |
| PARAM_VALUE | 5 | convert->target | 4096-ptr_max |
| PARAM_VALUE | 5 | convert->target->count | 1-19968 |
| PARAM_VALUE | 5 | convert->target->roots | 4096-ptr_max |
| DATA_SOURCE | 4 | level | r sidtab_level_from_count |
| DATA_SOURCE | 5 | convert | $1 |
| LOCK2 | global &selinux_state.policy_mutex | ||
| TYPE_LOCK | (struct selinux_state)->policy_mutex |
security/selinux/ss/sidtab.c sidtab_convert_tree() -> sidtab_convert_tree()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | edst | 4096-ptr_max |
| PARAM_VALUE | 1 | esrc | 4096-ptr_max |
| PARAM_VALUE | 2 | pos | 4096-ptr_max |
| PARAM_VALUE | 2 | *pos | 0-4294967294 |
| PARAM_VALUE | 3 | count | 1-u32max |
| PARAM_VALUE | 5 | convert->target | 1-u64max |
| PARAM_VALUE | 5 | convert->target->count | 0-19968 |
| PARAM_VALUE | 5 | convert->target->roots | 0,4096-ptr_max |
| BUF_SIZE | 5 | convert->args | (-1),16 |
| BUF_SIZE | 5 | convert->target | (-1),7344 |
| CAPPED_DATA | 2 | *pos | 1 |
| CAPPED_DATA | 3 | count | 1 |
| DATA_SOURCE | 2 | pos | $2 |
| DATA_SOURCE | 3 | count | $3 |
| DATA_SOURCE | 5 | convert | $5 |
| PARAM_COMPARE | 2 | *pos | < $3 |
| HALF_LOCKED2 | global &selinux_state.policy_mutex |