Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- security/tomoyo/environ.c, line 63
- security/tomoyo/file.c
- security/tomoyo/mount.c, line 167
- security/tomoyo/network.c
- security/tomoyo/securityfs_if.c, line 64
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 |