Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

security/tomoyo/securityfs_if.c tomoyo_check_task_acl() -> tomoyo_pathcmp()

Type Parameter Key Value
LOCK2 global &tomoyo_ss

security/tomoyo/common.c tomoyo_delete_domain() -> tomoyo_pathcmp()

Type Parameter Key Value
PARAM_VALUE 1 b 4232900064516096000
PARAM_VALUE 1 b->name 4096-ptr_max
LOCK2 global &tomoyo_policy_lock
LOCK2 global &tomoyo_ss
HALF_LOCKED2 &head->io_sem

security/tomoyo/common.c tomoyo_manager() -> tomoyo_pathcmp()

Type Parameter Key Value
LOCK2 &head->io_sem
LOCK2 global &tomoyo_ss
TYPE_LOCK (struct tomoyo_io_buffer)->io_sem

security/tomoyo/domain.c tomoyo_scan_transition() -> tomoyo_pathcmp()

Type Parameter Key Value
PARAM_VALUE 0 a 1-u64max
BUF_SIZE 1 b (-1),16
BUF_SIZE 1 b (-1),16
DATA_SOURCE 1 b $2
LOCK2 global &tomoyo_ss

security/tomoyo/util.c tomoyo_find_domain() -> tomoyo_pathcmp()

Type Parameter Key Value
PARAM_VALUE 0 a 5765186547546697728
PARAM_VALUE 0 a->name 4096-ptr_max
USER_DATA 0 a->hash 0-u32max[c]
USER_DATA 0 a->is_dir 0-1
USER_PTR 0 a->name
LOCK2 global &tomoyo_ss
HALF_LOCKED2 &head->io_sem
HALF_LOCKED2 global &tomoyo_policy_lock

security/tomoyo/util.c tomoyo_path_matches_pattern() -> tomoyo_pathcmp()

Type Parameter Key Value
PARAM_VALUE 0 a 4096-ptr_max
PARAM_VALUE 1 b 4096-ptr_max
BUF_SIZE 0 a (-1),16
BUF_SIZE 0 a (-1),16
DATA_SOURCE 0 a $0
DATA_SOURCE 1 b $1
STR_LEN 0 a->name (-1)
LOCK2 global &tomoyo_ss