Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/selinux/ss/conditional.c cond_read_list() -> cond_read_node()

Type Parameter Key Value
PARAM_VALUE 0 p 4096-ptr_max
PARAM_VALUE 0 p->cond_list 4096-ptr_max
PARAM_VALUE 0 p->neveraudit_map.node->startbit 1-u32max
PARAM_VALUE 0 p->permissive_map.node->startbit 1-u32max
PARAM_VALUE 0 p->policycaps.node->startbit 1-u32max
PARAM_VALUE 0 p->process_class 1-u16max
PARAM_VALUE 0 p->te_avtab.htable 16,4096-ptr_max
PARAM_VALUE 0 p->te_avtab.mask 0-u16max
PARAM_VALUE 0 p->te_avtab.nel 0
PARAM_VALUE 0 p->te_avtab.nslot 0-65536
PARAM_VALUE 0 p->te_cond_avtab.htable 16,4096-ptr_max
PARAM_VALUE 0 p->te_cond_avtab.mask 0-u16max
PARAM_VALUE 0 p->te_cond_avtab.nslot 0-65536
PARAM_VALUE 1 node 4096-ptr_max
PARAM_VALUE 2 fp 6801050872897380352
BUF_SIZE 0 p->cond_list 0-240518168520
BUF_SIZE 2 fp 16
CAPPED_DATA 0 p 1
CAPPED_DATA 0 p->te_avtab.nslot 1
DATA_SOURCE 0 p $0
DATA_SOURCE 2 fp $1
NOSPEC 2 fp->len
MEM_ZERO 0 p
MEM_ZERO 0 &p->filename_trans_ttypes
MEM_ZERO 0 &p->neveraudit_map
MEM_ZERO 0 &p->permissive_map
MEM_ZERO 0 &p->policycaps
USER_DATA 2 fp->len 0-999999984[c]
NO_OVERFLOW_SIMPLE 0 p->cond_list_len
NO_OVERFLOW_SIMPLE 0 p->te_avtab.nslot
NO_OVERFLOW_SIMPLE 0 p->te_cond_avtab.nslot
NO_OVERFLOW_SIMPLE 2 fp->len
USER_PTR 2 fp->data
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex