Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/selinux/ss/policydb.c policydb_read() -> avtab_read()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 fp 6801050872897380352
PARAM_VALUE 1 fp->data 4096-ptr_max
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
BUF_SIZE 1 fp 16
DATA_SOURCE 1 fp $1
DATA_SOURCE 2 pol $0
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-1000000000[c]
NO_OVERFLOW_SIMPLE 1 fp->len
USER_PTR 1 fp->data
LOCK2 global &selinux_state.policy_mutex
TYPE_LOCK (struct selinux_state)->policy_mutex