Documented in 1 files:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

security/tomoyo/domain.c tomoyo_check_acl() -> tomoyo_check_acl param 1()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->domain 0,4096-ptr_max
PARAM_VALUE 0 r->ee 0,4096-ptr_max
PARAM_VALUE 0 r->ee->bprm->mm->mmap_lock.first_waiter->handoff_set 0-1
PARAM_VALUE 0 r->ee->bprm->mm->mmap_lock.first_waiter->type 0-1
PARAM_VALUE 0 r->matched_acl 0,4096-ptr_max
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 0,4096-ptr_max
PARAM_VALUE 0 r->param.mkdev.minor 0-1048575
PARAM_VALUE 0 r->param.mkdev.mode 0-4095
PARAM_VALUE 0 r->param_type 0-8
PARAM_VALUE 0 r->type 0-1,3-4,6,9-10,19,21
PARAM_VALUE 1 ptr 4096-ptr_max
PARAM_VALUE 1 ptr->is_deleted 0
PARAM_VALUE 1 ptr->type 0-8
BUF_SIZE 0 r (-1),80
BUF_SIZE 0 r (-1),80
BUF_SIZE 0 r->obj (-1),176
BUF_SIZE 0 r->param.environ.name (-1),16
BUF_SIZE 0 r->param.mount.dev (-1),16
BUF_SIZE 0 r->param.mount.dir (-1),16
BUF_SIZE 0 r->param.mount.type (-1),16
BUF_SIZE 0 r->param.path.filename (-1),16
CAPPED_DATA 0 r->param_type 1
CAPPED_DATA 1 ptr->type 1
DATA_SOURCE 0 r $0
STR_LEN 0 r (-1),6
STR_LEN 0 r (-1),6
PARAM_COMPARE 1 ptr->type == $0->param_type
BIT_INFO 0 r->param.mount.flags 0x0,0xffffffffffffffdf
HARD_MAX 0 r->param_type 8
MEM_ZERO 0 r
USER_DATA 0 r->param.inet_network.port 0-u16max
LOCK2 global &tomoyo_ss