Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

security/tomoyo/securityfs_if.c tomoyo_write_self() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 5567446225134018560
PARAM_VALUE 0 r->ee 0
PARAM_VALUE 0 r->granted 0
PARAM_VALUE 0 r->matched_acl 0
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 0
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.path.matched_path 0
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param.task.domainname 590974562896465920
PARAM_VALUE 0 r->param_type 8
PARAM_VALUE 0 r->retry 0
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss

security/tomoyo/environ.c tomoyo_env_perm() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->domain 4096-ptr_max
PARAM_VALUE 0 r->ee 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->granted 0
PARAM_VALUE 0 r->matched_acl 0,4096-ptr_max
PARAM_VALUE 0 r->mode 1-3
PARAM_VALUE 0 r->obj 4096-ptr_max
PARAM_VALUE 0 r->param.environ.name 9006289471306530816
PARAM_VALUE 0 r->param.environ.name->name 4096-ptr_max
PARAM_VALUE 0 r->param.inet_network.address 0
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.operation 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.inet_network.protocol 0
PARAM_VALUE 0 r->param.mkdev.filename 0
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mkdev.operation 0
PARAM_VALUE 0 r->param.mount.dev 0
PARAM_VALUE 0 r->param.mount.dir 0
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.mount.need_dev 0
PARAM_VALUE 0 r->param.mount.type 0
PARAM_VALUE 0 r->param.path.matched_path 0,4096-ptr_max
PARAM_VALUE 0 r->param.path.operation 0
PARAM_VALUE 0 r->param.path2.filename1 0
PARAM_VALUE 0 r->param.path2.filename2 0
PARAM_VALUE 0 r->param.path2.operation 0
PARAM_VALUE 0 r->param.path_number.filename 0
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param.path_number.operation 0
PARAM_VALUE 0 r->param.task.domainname 0
PARAM_VALUE 0 r->param.unix_network.address 0
PARAM_VALUE 0 r->param.unix_network.operation 0
PARAM_VALUE 0 r->param.unix_network.protocol 0
PARAM_VALUE 0 r->param_type 7
PARAM_VALUE 0 r->type 0
BUF_SIZE 0 r 80
BUF_SIZE 0 r->param.environ.name 16
DATA_SOURCE 0 r $0
TERMINATED 0 r->param.environ.name->name 1
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss

security/tomoyo/mount.c tomoyo_mount_acl() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 576878961298759680
PARAM_VALUE 0 r->domain 0,4096-ptr_max
PARAM_VALUE 0 r->ee 0
PARAM_VALUE 0 r->ee->bprm->file->f_path.dentry->d_fsdata->name_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->ee->bprm->mm->mmap_lock.dep_map->name 0-255
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->granted 0
PARAM_VALUE 0 r->matched_acl 0
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 8089233971881246720
PARAM_VALUE 0 r->obj->path1.dentry 0
PARAM_VALUE 0 r->obj->path1.mnt 0
PARAM_VALUE 0 r->obj->path2.dentry 0
PARAM_VALUE 0 r->obj->path2.mnt 0
PARAM_VALUE 0 r->obj->symlink_target 0
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mount.dev 8399562508607856640
PARAM_VALUE 0 r->param.mount.dev->name 4096-ptr_max
PARAM_VALUE 0 r->param.mount.dir 6530176908817666048
PARAM_VALUE 0 r->param.mount.dir->name 4096-ptr_max
PARAM_VALUE 0 r->param.mount.need_dev (-1)-1
PARAM_VALUE 0 r->param.mount.type 2885369920852697088
PARAM_VALUE 0 r->param.mount.type->name 4096-ptr_max
PARAM_VALUE 0 r->param.path.matched_path 0,4096-ptr_max
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param_type 4
BUF_SIZE 0 r->obj 176
BUF_SIZE 0 r->param.mount.dev 16
BUF_SIZE 0 r->param.mount.dir 16
BUF_SIZE 0 r->param.mount.type 16
DATA_SOURCE 0 r $0
STR_LEN 0 r (-1),6
STR_LEN 0 r (-1),6
BIT_INFO 0 r->param.mount.flags 0x0,0xffffffffffffffdf
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss

security/tomoyo/file.c tomoyo_execute_permission() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 4096-ptr_max
PARAM_VALUE 0 r->domain 4096-ptr_max
PARAM_VALUE 0 r->ee 4096-ptr_max
PARAM_VALUE 0 r->granted 0
PARAM_VALUE 0 r->matched_acl 0
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 4096-ptr_max
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.path.operation 0
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param_type 0
PARAM_VALUE 0 r->type 0
BUF_SIZE 0 r->param.path.filename (-1),16
DATA_SOURCE 0 r $0
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss

security/tomoyo/file.c tomoyo_mkdev_perm() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 8602438328122699776
PARAM_VALUE 0 r->ee 0
PARAM_VALUE 0 r->granted 0
PARAM_VALUE 0 r->matched_acl 0
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 986607427208753152
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.mkdev.filename 4804611036213600256
PARAM_VALUE 0 r->param.mkdev.major 0-4095
PARAM_VALUE 0 r->param.mkdev.minor 0-1048575
PARAM_VALUE 0 r->param.mkdev.mode 0-4095
PARAM_VALUE 0 r->param.mkdev.operation 0-1
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.path.matched_path 0
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param_type 3
PARAM_VALUE 0 r->retry 0
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss

security/tomoyo/file.c tomoyo_path2_perm() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 368425732758163456
PARAM_VALUE 0 r->domain 0,4096-ptr_max
PARAM_VALUE 0 r->ee 0
PARAM_VALUE 0 r->granted 0
PARAM_VALUE 0 r->matched_acl 0
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 6342675753266024448
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.path2.filename1 4325712975195275264
PARAM_VALUE 0 r->param.path2.filename2 7625399372216578048
PARAM_VALUE 0 r->param.path2.operation 0-2
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param_type 1
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss

security/tomoyo/file.c tomoyo_path_number_perm() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 7415783215674818560
PARAM_VALUE 0 r->domain 0,4096-ptr_max
PARAM_VALUE 0 r->ee 0
PARAM_VALUE 0 r->granted 0
PARAM_VALUE 0 r->matched_acl 0
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 3928470642131165184
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.path_number.filename 7691839879388930048
PARAM_VALUE 0 r->param.path_number.operation 0-7
PARAM_VALUE 0 r->param_type 2
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss

security/tomoyo/file.c tomoyo_path_permission() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 4658044777320005632,6158482660584894464
PARAM_VALUE 0 r->domain 4096-ptr_max
PARAM_VALUE 0 r->ee 0
PARAM_VALUE 0 r->ee->bprm->file->f_path.dentry->d_fsdata->name_lock.rlock.dep_map->name 0-255
PARAM_VALUE 0 r->ee->bprm->mm->mmap_lock.dep_map->name 0-255
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 1-3
PARAM_VALUE 0 r->obj 3178343105250205696,7040886856023474176
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.path.filename 5093251107732090880,6462289934018646016
PARAM_VALUE 0 r->param.path.filename->name 4096-ptr_max
PARAM_VALUE 0 r->param.path.operation 1-10
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param_type 0
PARAM_VALUE 0 r->type 0-1,3-4,6,9-10,19,21
DATA_SOURCE 0 r $0
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss

security/tomoyo/network.c tomoyo_inet_entry() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 1206566796349218816
PARAM_VALUE 0 r->domain 0,4096-ptr_max
PARAM_VALUE 0 r->ee 0
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 0
PARAM_VALUE 0 r->param.inet_network.operation 0-3
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param_type 5
MEM_ZERO 0 r
NOCHECK_CALL
USER_DATA 0 r->param.inet_network.port 0-u16max
LOCK2 global &tomoyo_ss

security/tomoyo/network.c tomoyo_unix_entry() -> tomoyo_check_acl()

Type Parameter Key Value
PARAM_VALUE 0 r 1990414896220073984
PARAM_VALUE 0 r->domain 0,4096-ptr_max
PARAM_VALUE 0 r->ee 0
PARAM_VALUE 0 r->mode 0-3
PARAM_VALUE 0 r->obj 0
PARAM_VALUE 0 r->param.inet_network.is_ipv6 0
PARAM_VALUE 0 r->param.inet_network.port 0
PARAM_VALUE 0 r->param.mkdev.major 0
PARAM_VALUE 0 r->param.mkdev.minor 0
PARAM_VALUE 0 r->param.mkdev.mode 0
PARAM_VALUE 0 r->param.mount.flags 0
PARAM_VALUE 0 r->param.path_number.number 0
PARAM_VALUE 0 r->param.unix_network.address 2255486242828152832
PARAM_VALUE 0 r->param.unix_network.operation 0-3
PARAM_VALUE 0 r->param_type 6
MEM_ZERO 0 r
NOCHECK_CALL
LOCK2 global &tomoyo_ss