Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

security/selinux/ss/conditional.c cond_read_av_list() -> avtab_read_item()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->htable 16,4096-ptr_max
PARAM_VALUE 0 a->mask 0-u16max
PARAM_VALUE 0 a->nslot 0-65536
PARAM_VALUE 1 fp 6801050872897380352
PARAM_VALUE 2 pol 4096-ptr_max
PARAM_VALUE 2 pol->cond_list 4096-ptr_max
PARAM_VALUE 2 pol->neveraudit_map.node->startbit 1-u32max
PARAM_VALUE 2 pol->permissive_map.node->startbit 1-u32max
PARAM_VALUE 2 pol->policycaps.node->startbit 1-u32max
PARAM_VALUE 2 pol->policyvers 16-u32max
PARAM_VALUE 2 pol->process_class 1-u16max
PARAM_VALUE 2 pol->symtab 0
PARAM_VALUE 2 pol->te_avtab.htable 0,16,4096-ptr_max
PARAM_VALUE 2 pol->te_avtab.mask 0-u16max
PARAM_VALUE 2 pol->te_avtab.nslot 0-65536
PARAM_VALUE 2 pol->te_cond_avtab.htable 16,4096-ptr_max
PARAM_VALUE 2 pol->te_cond_avtab.mask 0-u16max
PARAM_VALUE 2 pol->te_cond_avtab.nslot 0-65536
PARAM_VALUE 3 insertf 7869581173282893824
PARAM_VALUE 4 p 2314547380541927424
PARAM_VALUE 5 conditional 1
BUF_SIZE 2 pol->cond_list 0-s32max
BUF_SIZE 4 p 24
CAPPED_DATA 2 pol 1
CAPPED_DATA 2 pol->policyvers 1
CAPPED_DATA 2 pol->te_avtab.nslot 1
DATA_SOURCE 1 fp $1
DATA_SOURCE 2 pol $0
BIT_INFO 2 pol->policyvers 0xf97cff8c,0xffffffffffffffff
NOSPEC 1 fp->len
MEM_ZERO 0 a
MEM_ZERO 2 pol
MEM_ZERO 2 &pol->filename_trans_ttypes
MEM_ZERO 2 &pol->neveraudit_map
MEM_ZERO 2 &pol->permissive_map
MEM_ZERO 2 &pol->policycaps
USER_DATA 1 fp->len 0-999999980[c]
NO_OVERFLOW_SIMPLE 0 a->nslot
NO_OVERFLOW_SIMPLE 1 fp->len
NO_OVERFLOW_SIMPLE 2 pol->cond_list_len
NO_OVERFLOW_SIMPLE 2 pol->te_avtab.nslot
NO_OVERFLOW_SIMPLE 2 pol->te_cond_avtab.nslot
USER_PTR 1 fp->data
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex

security/selinux/ss/avtab.c avtab_read() -> avtab_read_item()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 0 a->htable 16,4096-ptr_max
PARAM_VALUE 0 a->mask 0-u16max
PARAM_VALUE 0 a->nslot 0-65536
PARAM_VALUE 1 fp 6801050872897380352
PARAM_VALUE 2 pol 4096-ptr_max
PARAM_VALUE 2 pol->neveraudit_map.node->startbit 1-u32max
PARAM_VALUE 2 pol->permissive_map.node->startbit 1-u32max
PARAM_VALUE 2 pol->policycaps.node->startbit 1-u32max
PARAM_VALUE 2 pol->process_class 1-u16max
PARAM_VALUE 3 insertf 4414993716784771072
PARAM_VALUE 4 p 0
PARAM_VALUE 5 conditional 0
BUF_SIZE 1 fp 16
DATA_SOURCE 0 a $0
DATA_SOURCE 1 fp $1
DATA_SOURCE 2 pol $2
NOSPEC 1 fp->len
MEM_ZERO 0 a
MEM_ZERO 2 pol
MEM_ZERO 2 &pol->filename_trans_ttypes
MEM_ZERO 2 &pol->neveraudit_map
MEM_ZERO 2 &pol->permissive_map
MEM_ZERO 2 &pol->policycaps
USER_DATA 1 fp->len 1-999999996[c]
NO_OVERFLOW_SIMPLE 0 a->nslot
NO_OVERFLOW_SIMPLE 1 fp->len
USER_PTR 1 fp->data
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex