Defined in 6 files as a member:

Defined in 1 files as a macro:

Defined in 6 files as a function:

Referenced in 37 files:

Smatch caller information:

security/selinux/ss/services.c compute_sid_handle_invalid_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 1
BUF_SIZE 0 p 608
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

security/selinux/ss/services.c context_struct_to_string() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 8,4096-ptr_max
PARAM_VALUE 1 sym_num 4
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c context_struct_to_string() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 2
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c context_struct_to_string() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 3
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c context_struct_to_string() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 4
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c context_struct_to_string() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 2
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c context_struct_to_string() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 3
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c security_dump_masked_av() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 1
PARAM_VALUE 2 element_nr 0-65534
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
STR_LEN 0 p 6
STR_LEN 0 p 6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/services.c security_get_bools() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 5
BUF_SIZE 0 p 608
CAPPED_DATA 2 element_nr 1
NO_OVERFLOW_SIMPLE 0 p->cond_list_len
NO_OVERFLOW_SIMPLE 0 p->filename_trans.size
NO_OVERFLOW_SIMPLE 0 p->range_tr.size
NO_OVERFLOW_SIMPLE 0 p->role_tr.size
NO_OVERFLOW_SIMPLE 0 p->te_avtab.nslot
NO_OVERFLOW_SIMPLE 0 p->te_cond_avtab.nslot
NO_OVERFLOW_SIMPLE 2 element_nr
UNITS 2 element_nr unit_array_size
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex

security/selinux/ss/services.c security_netlbl_sid_to_secattr() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 8,4096-ptr_max
PARAM_VALUE 1 sym_num 3
BUF_SIZE 0 p 608
RX_PATH
TASK_NOT_RUNNING
LOCK2 rcu_read

security/selinux/ss/services.c security_set_bools() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 5
CAPPED_DATA 2 element_nr 1
NO_OVERFLOW_SIMPLE 0 p->te_cond_avtab.nslot
UNITS 2 element_nr unit_array_size
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex

security/selinux/ss/services.c security_validtrans_handle_fail() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 1
PARAM_VALUE 2 element_nr 0-65534
BUF_SIZE 0 p 608
CAPPED_DATA 2 element_nr 1
LOCK2 rcu_read

security/selinux/ss/services.c services_convert_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 1 sym_num 4
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock
HALF_LOCKED2 flags

security/selinux/ss/services.c services_convert_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock
HALF_LOCKED2 flags

security/selinux/ss/services.c services_convert_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 3
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock
HALF_LOCKED2 flags

security/selinux/ss/policydb.c role_bounds_sanity_check() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 2
BUF_SIZE 0 p (-1),8,16,256
BUF_SIZE 0 p (-1),8,16,256
DATA_SOURCE 0 p $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c role_bounds_sanity_check() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 3
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),8,16,256
BUF_SIZE 0 p (-1),8,16,256
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c role_bounds_sanity_check() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 2
BUF_SIZE 0 p (-1),8,16,256
BUF_SIZE 0 p (-1),8,16,256
DATA_SOURCE 0 p $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c sens_cat_index_check() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 7
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),8,16,256
BUF_SIZE 0 p (-1),8,16,256
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $2
CONSTRAINT 2 element_nr <3068
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c type_bounds_sanity_check() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 3
BUF_SIZE 0 p (-1),8,16,256
BUF_SIZE 0 p (-1),8,16,256
DATA_SOURCE 0 p $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c user_bounds_sanity_check() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 4
BUF_SIZE 0 p (-1),8,16,256
BUF_SIZE 0 p (-1),8,16,256
DATA_SOURCE 0 p $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c user_bounds_sanity_check() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 2
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),8,16,256
BUF_SIZE 0 p (-1),8,16,256
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $2
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/policydb.c user_bounds_sanity_check() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 4
BUF_SIZE 0 p (-1),8,16,256
BUF_SIZE 0 p (-1),8,16,256
DATA_SOURCE 0 p $2
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/mls.c mls_compute_context_len() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 6
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/mls.c mls_compute_context_len() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 7
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 rcu_read

security/selinux/ss/mls.c mls_compute_context_len() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 7
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 rcu_read

security/selinux/ss/mls.c mls_compute_context_len() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 7
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 rcu_read

security/selinux/ss/mls.c mls_convert_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 6
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &s->lock
HALF_LOCKED2 flags

security/selinux/ss/mls.c mls_convert_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 7
PARAM_VALUE 2 element_nr 0-4294967294
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 &s->lock
HALF_LOCKED2 flags

security/selinux/ss/mls.c mls_level_isvalid() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 6
BUF_SIZE 0 p->genfs (-1),24
BUF_SIZE 0 p->role_allow (-1),16
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
RX_PATH
TASK_NOT_RUNNING
NO_OVERFLOW_SIMPLE 0 p->cond_list_len
NO_OVERFLOW_SIMPLE 0 p->filename_trans.size
NO_OVERFLOW_SIMPLE 0 p->range_tr.size
NO_OVERFLOW_SIMPLE 0 p->role_tr.size
NO_OVERFLOW_SIMPLE 0 p->te_avtab.nslot
NO_OVERFLOW_SIMPLE 0 p->te_cond_avtab.nslot
HALF_LOCKED2 global &selinux_state.policy_mutex

security/selinux/ss/mls.c mls_sid_to_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 6
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 rcu_read

security/selinux/ss/mls.c mls_sid_to_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 7
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 rcu_read

security/selinux/ss/mls.c mls_sid_to_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 7
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 rcu_read

security/selinux/ss/mls.c mls_sid_to_context() -> sym_name()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 1 sym_num 7
PARAM_VALUE 2 element_nr 0-4294967294
BUF_SIZE 0 p (-1),608
BUF_SIZE 0 p (-1),608
CAPPED_DATA 2 element_nr 1
DATA_SOURCE 0 p $0
STR_LEN 0 p (-1),6
STR_LEN 0 p (-1),6
RX_PATH
TASK_NOT_RUNNING
UNITS 2 element_nr unit_byte
HALF_LOCKED2 rcu_read