Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

fs/overlayfs/dir.c ovl_create_tmpfile() -> backing_tmpfile_open()

Type Parameter Key Value
PARAM_VALUE 0 user_file 4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry 4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->__d_name.name 4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->d_fsdata 0,4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->d_hash.next 0
PARAM_VALUE 0 user_file->__f_path.dentry->d_hash.pprev 0
PARAM_VALUE 0 user_file->__f_path.dentry->d_inode 0
PARAM_VALUE 0 user_file->__f_path.dentry->d_lockref.count 1
PARAM_VALUE 0 user_file->__f_path.dentry->d_lru.next 4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->d_lru.prev 4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->d_op 0,4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->d_parent 4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->d_sb 4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->d_sib.pprev 4096-ptr_max
PARAM_VALUE 0 user_file->__f_path.dentry->waiters 0
PARAM_VALUE 0 user_file->f_cred 0,4096-ptr_max
PARAM_VALUE 0 user_file->f_cred->process_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 user_file->f_cred->process_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 user_file->f_cred->request_key_auth->user->qnbytes s32min-s32max
PARAM_VALUE 0 user_file->f_cred->request_key_auth->user->qnkeys s32min-s32max
PARAM_VALUE 0 user_file->f_cred->session_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 user_file->f_cred->session_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 user_file->f_cred->thread_keyring->user->qnbytes s32min-s32max
PARAM_VALUE 0 user_file->f_cred->thread_keyring->user->qnkeys s32min-s32max
PARAM_VALUE 0 user_file->f_ep 0
PARAM_VALUE 0 user_file->f_inode 0
PARAM_VALUE 0 user_file->f_iocb_flags 0
PARAM_VALUE 0 user_file->f_mapping 0
PARAM_VALUE 0 user_file->f_mode 67108864-67108867,603979776-603979779,620756992-620756995
PARAM_VALUE 0 user_file->f_op 0
PARAM_VALUE 0 user_file->f_owner 0
PARAM_VALUE 0 user_file->f_path.dentry 4096-ptr_max
PARAM_VALUE 0 user_file->f_path.dentry->d_parent 4096-ptr_max
PARAM_VALUE 0 user_file->f_path.dentry->d_parent->d_inode 4096-ptr_max
PARAM_VALUE 0 user_file->f_path.dentry->d_sb 4096-ptr_max
PARAM_VALUE 0 user_file->f_path.dentry->d_sb->s_op 4096-ptr_max
PARAM_VALUE 0 user_file->f_pos 0
PARAM_VALUE 0 user_file->f_pos_lock.first_waiter 0
PARAM_VALUE 0 user_file->f_pos_lock.magic 4096-ptr_max
PARAM_VALUE 0 user_file->f_pos_lock.osq.tail.counter 0
PARAM_VALUE 0 user_file->f_pos_lock.owner.counter 0
PARAM_VALUE 0 user_file->f_ra.async_size 0
PARAM_VALUE 0 user_file->f_ra.mmap_miss 0
PARAM_VALUE 0 user_file->f_ra.order 0
PARAM_VALUE 0 user_file->f_ra.prev_pos 0
PARAM_VALUE 0 user_file->f_ra.ra_pages 0
PARAM_VALUE 0 user_file->f_ra.size 0
PARAM_VALUE 0 user_file->f_ra.start 0
PARAM_VALUE 0 user_file->f_ref.refcnt.counter 0
PARAM_VALUE 0 user_file->f_sb_err 0
PARAM_VALUE 0 user_file->f_security 0
PARAM_VALUE 0 user_file->f_wb_err 0
PARAM_VALUE 0 user_file->private_data 0
PARAM_VALUE 1 flags s32min-0,262144-s32max
PARAM_VALUE 2 real_parentpath 4648118372144279552
BUF_SIZE 0 user_file (-1)-s32max
BUF_SIZE 0 user_file (-1)-s32max
DATA_SOURCE 0 user_file $0
DATA_SOURCE 3 mode $3
BIT_INFO 1 flags 0x40000,0x7fffffff
TERMINATED 0 user_file->__f_path.dentry->__d_name.name 1
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 user_file->f_flags 0-u32max
USER_DATA 0 user_file->f_mode 67108864-67108867,620756992-620756995[c]
USER_DATA 1 flags s32min-0,262144-s32max
USER_DATA 3 mode 0-u16max[c]