Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/crypto/keysetup.c setup_file_encryption_key() -> fscrypt_valid_master_key_size()

Type Parameter Key Value
PARAM_VALUE 0 mk 4096-ptr_max
PARAM_VALUE 0 mk->mk_present 1
PARAM_VALUE 0 mk->mk_sem.dep_map->name 0-255
PARAM_VALUE 0 mk->mk_sem.first_waiter->list.next 2212933610777083904
PARAM_VALUE 0 mk->mk_sem.first_waiter->list.prev 2212933610777083904
PARAM_VALUE 0 mk->mk_sem.first_waiter->type 0-1
PARAM_VALUE 0 mk->mk_sem.wait_lock.dep_map->name 0-255
PARAM_VALUE 0 mk->mk_sem.wait_lock.owner (-1)
PARAM_VALUE 0 mk->mk_sem.wait_lock.owner_cpu u32max
PARAM_VALUE 0 mk->mk_spec.type 1-2
PARAM_VALUE 0 mk->mk_struct_refs.refs.counter (-1073741824),0-s32max
PARAM_VALUE 1 ci 4096-ptr_max
PARAM_VALUE 1 ci->ci_inode 4096-ptr_max
PARAM_VALUE 1 ci->ci_inode->i_sb 4096-ptr_max
PARAM_VALUE 1 ci->ci_inode->i_sb->s_cop->get_dummy_policy 0,5548184023414632448,6265693363421687808,7944682147525111808
PARAM_VALUE 1 ci->ci_inode->i_sb->s_master_keys 1-u64max
PARAM_VALUE 1 ci->ci_mode 4096-ptr_max
PARAM_VALUE 1 ci->ci_policy.version 0,2
BUF_SIZE 1 ci->ci_inode (-1)-s32max
CAPPED_DATA 0 &mk->mk_sem 1
CAPPED_DATA 1 ci->ci_policy.version 1
DATA_SOURCE 0 mk r fscrypt_find_master_key
DATA_SOURCE 1 ci $0
STR_LEN 1 ci->ci_inode (-1)-1010101
STR_LEN 1 ci->ci_inode->i_sb (-1)
NOSPEC 1 ci->ci_inode->i_bytes
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 ci->ci_inode->__i_nlink 1-u32max
USER_DATA 1 ci->ci_inode->i_blocks 0-18014398509481983,18428729675200069632-u64max
USER_DATA 1 ci->ci_inode->i_bytes 0-511[c]
USER_DATA 1 ci->ci_inode->i_ino 0-u64max
USER_DATA 1 ci->ci_inode->i_mode 0-u16max
USER_DATA 1 ci->ci_inode->i_rdev 0-u32max[c]
USER_DATA 1 ci->ci_inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 1 ci->ci_data_unit_bits
NO_OVERFLOW_SIMPLE 1 ci->ci_inode->i_blkbits
LOCK2 0 &mk->mk_sem
TYPE_LOCK (struct fscrypt_master_key)->mk_sem