Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

security/landlock/fs.c hook_file_open() -> access_mask_subset()

Type Parameter Key Value
PARAM_VALUE 0 subset 0-8
PARAM_VALUE 1 superset 0-49160
DATA_SOURCE 0 subset r get_required_file_open_access
BIT_INFO 1 superset 0x0,0xc00f

security/landlock/fs.c landlock_append_fs_rule() -> access_mask_subset()

Type Parameter Key Value
PARAM_VALUE 1 superset 114695
DATA_SOURCE 0 subset $2
USER_DATA 0 subset 0-u32max

security/landlock/fs.c may_refer() -> access_mask_subset()

Type Parameter Key Value
PARAM_VALUE 0 subset 0-131071
PARAM_VALUE 1 superset 0-131071
BIT_INFO 0 subset 0x0,0x1ffff

security/landlock/domain.c landlock_get_deny_masks() -> access_mask_subset()

Type Parameter Key Value
PARAM_VALUE 0 subset 16384,32768,49152
PARAM_VALUE 1 superset 49152
DATA_SOURCE 0 subset $1
DATA_SOURCE 1 superset $0
FUZZY_MAX 0 subset 16384