Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
security/selinux/ss/services.c constraint_expr_eval() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/services.c constraint_expr_eval() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/services.c constraint_expr_eval() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/services.c constraint_expr_eval() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| CAPPED_DATA | 0 | l1->sens | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/services.c selinux_audit_rule_match() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| LOCK2 | rcu_read |
security/selinux/ss/services.c selinux_audit_rule_match() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| BUF_SIZE | 1 | l2 | 24,48 |
| LOCK2 | rcu_read |
security/selinux/ss/services.c selinux_audit_rule_match() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 1 | l2 | 48 |
| LOCK2 | rcu_read |
security/selinux/ss/services.c selinux_audit_rule_match() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 0 | l1 | 24,48 |
| BUF_SIZE | 1 | l2 | 48 |
| LOCK2 | rcu_read |
security/selinux/ss/mls.c mls_context_isvalid() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 48 |
| BUF_SIZE | 1 | l2 | 48 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/mls.c mls_context_isvalid() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | rcu_read |
security/selinux/ss/mls.c mls_range_isvalid() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 1 | l2 | 48 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | global &selinux_state.policy_mutex |
security/selinux/ss/mls.c mls_setup_user_range() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24 |
| BUF_SIZE | 1 | l2 | 48 |
| BUF_SIZE | 1 | l2 | 48 |
security/selinux/ss/mls.c mls_setup_user_range() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24 |
| BUF_SIZE | 1 | l2 | 24 |
security/selinux/ss/mls.c mls_setup_user_range() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 48 |
| BUF_SIZE | 0 | l1 | 48 |
| BUF_SIZE | 1 | l2 | 24 |
| CAPPED_DATA | 0 | l1->sens | 1 |
security/selinux/ss/mls.c mls_setup_user_range() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24 |
| BUF_SIZE | 1 | l2 | 48 |
| BUF_SIZE | 1 | l2 | 48 |
| CAPPED_DATA | 1 | l2->sens | 1 |
security/selinux/ss/mls.c mls_setup_user_range() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24 |
| BUF_SIZE | 1 | l2 | 48 |
| BUF_SIZE | 1 | l2 | 48 |
security/selinux/ss/mls.c mls_setup_user_range() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24 |
| BUF_SIZE | 1 | l2 | 24 |
| CAPPED_DATA | 0 | l1->sens | 1 |
security/selinux/ss/mls.c mls_setup_user_range() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24 |
| BUF_SIZE | 1 | l2 | 24 |
security/selinux/ss/mls.c mls_setup_user_range() -> mls_level_dom()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | l1 | 4096-ptr_max |
| PARAM_VALUE | 1 | l2 | 4096-ptr_max |
| BUF_SIZE | 0 | l1 | 24 |
| BUF_SIZE | 1 | l2 | 24 |
| CAPPED_DATA | 0 | l1->sens | 1 |