Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/namei.c dentry_create() -> vfs_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 7958034029318893568 |
| PARAM_VALUE | 0 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | path->dentry->d_inode | 0 |
| PARAM_VALUE | 0 | path->dentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 0 | path->dentry->d_parent->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->__f_path.dentry | 0 |
| PARAM_VALUE | 1 | file->__f_path.mnt | 0 |
| PARAM_VALUE | 1 | file->f_cred | 0,4096-ptr_max |
| PARAM_VALUE | 1 | file->f_ep | 0 |
| PARAM_VALUE | 1 | file->f_flags | 32832-32834,32960-32962 |
| PARAM_VALUE | 1 | file->f_inode | 0 |
| PARAM_VALUE | 1 | file->f_iocb_flags | 0 |
| PARAM_VALUE | 1 | file->f_mapping | 0 |
| PARAM_VALUE | 1 | file->f_mode | 67108864-67108867 |
| PARAM_VALUE | 1 | file->f_op | 0 |
| PARAM_VALUE | 1 | file->f_owner | 0 |
| PARAM_VALUE | 1 | file->f_pos | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file->f_pos_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_pos_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | file->f_ra.async_size | 0 |
| PARAM_VALUE | 1 | file->f_ra.mmap_miss | 0 |
| PARAM_VALUE | 1 | file->f_ra.order | 0 |
| PARAM_VALUE | 1 | file->f_ra.prev_pos | 0 |
| PARAM_VALUE | 1 | file->f_ra.ra_pages | 0 |
| PARAM_VALUE | 1 | file->f_ra.size | 0 |
| PARAM_VALUE | 1 | file->f_ra.start | 0 |
| PARAM_VALUE | 1 | file->f_ref.refcnt.counter | 0 |
| PARAM_VALUE | 1 | file->f_sb_err | 0 |
| PARAM_VALUE | 1 | file->f_wb_err | 0 |
| PARAM_VALUE | 1 | file->private_data | 0 |
| CAPPED_DATA | 0 | path->dentry->d_parent->d_inode->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 0 | path->dentry->d_parent->d_inode->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| CAPPED_DATA | 1 | file->f_cred | 1 |
| DATA_SOURCE | 0 | path | $0 |
| DATA_SOURCE | 1 | file | r alloc_empty_file |
| BIT_INFO | 1 | file->f_flags | 0x8040,0x80c3 |
fs/namei.c do_o_path() -> vfs_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 76482528094019584 |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->__f_path.dentry | 0 |
| PARAM_VALUE | 1 | file->__f_path.mnt | 0 |
| PARAM_VALUE | 1 | file->f_cred | 0,4096-ptr_max |
| PARAM_VALUE | 1 | file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | file->f_ep | 0 |
| PARAM_VALUE | 1 | file->f_inode | 0 |
| PARAM_VALUE | 1 | file->f_iocb_flags | 0 |
| PARAM_VALUE | 1 | file->f_mapping | 0 |
| PARAM_VALUE | 1 | file->f_mode | 67108864-67108867 |
| PARAM_VALUE | 1 | file->f_op | 0 |
| PARAM_VALUE | 1 | file->f_owner | 0 |
| PARAM_VALUE | 1 | file->f_pos | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file->f_pos_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_pos_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | file->f_ra.async_size | 0 |
| PARAM_VALUE | 1 | file->f_ra.mmap_miss | 0 |
| PARAM_VALUE | 1 | file->f_ra.order | 0 |
| PARAM_VALUE | 1 | file->f_ra.prev_pos | 0 |
| PARAM_VALUE | 1 | file->f_ra.ra_pages | 0 |
| PARAM_VALUE | 1 | file->f_ra.size | 0 |
| PARAM_VALUE | 1 | file->f_ra.start | 0 |
| PARAM_VALUE | 1 | file->f_ref.refcnt.counter | 0 |
| PARAM_VALUE | 1 | file->f_sb_err | 0 |
| PARAM_VALUE | 1 | file->f_wb_err | 0 |
| PARAM_VALUE | 1 | file->private_data | 0 |
| CAPPED_DATA | 1 | file->f_cred | 1 |
| DATA_SOURCE | 1 | file | $2 |
| BIT_INFO | 1 | file->f_flags | 0x200000,0xffbfffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | file->f_flags | 0-u32max |
| USER_DATA | 1 | file->f_mode | 67108864-67108867[c] |
fs/namei.c do_open() -> vfs_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 0 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_mode | 524288-u32max |
| DATA_SOURCE | 1 | file | $1 |
| BIT_INFO | 1 | file->f_mode | 0x0,0xfff7ffff |
fs/namei.c vfs_lookup_open() -> vfs_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 377061047259504640 |
| PARAM_VALUE | 0 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->__f_path.dentry | 0,(-1) |
| PARAM_VALUE | 1 | file->f_cred | 0,4096-ptr_max |
| PARAM_VALUE | 1 | file->f_ep | 0 |
| PARAM_VALUE | 1 | file->f_flags | 0,1073741824-s32max |
| PARAM_VALUE | 1 | file->f_inode | 0 |
| PARAM_VALUE | 1 | file->f_iocb_flags | 0 |
| PARAM_VALUE | 1 | file->f_mapping | 0 |
| PARAM_VALUE | 1 | file->f_op | 0 |
| PARAM_VALUE | 1 | file->f_owner | 0 |
| PARAM_VALUE | 1 | file->f_pos | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file->f_pos_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_pos_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | file->f_ra.async_size | 0 |
| PARAM_VALUE | 1 | file->f_ra.mmap_miss | 0 |
| PARAM_VALUE | 1 | file->f_ra.order | 0 |
| PARAM_VALUE | 1 | file->f_ra.prev_pos | 0 |
| PARAM_VALUE | 1 | file->f_ra.ra_pages | 0 |
| PARAM_VALUE | 1 | file->f_ra.size | 0 |
| PARAM_VALUE | 1 | file->f_ra.start | 0 |
| PARAM_VALUE | 1 | file->f_ref.refcnt.counter | 0 |
| PARAM_VALUE | 1 | file->f_sb_err | 0 |
| PARAM_VALUE | 1 | file->f_wb_err | 0 |
| PARAM_VALUE | 1 | file->private_data | 0 |
| CAPPED_DATA | 1 | file->f_cred | 1 |
| BIT_INFO | 1 | file->f_flags | 0x40000000,0x7fffffff |
| BIT_INFO | 1 | file->f_mode | 0x0,0xfff7ffff |
fs/open.c dentry_open() -> vfs_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->dentry->d_inode->i_op->readlink | 0,1728600404483375104,2832489546165891072,2874824064778891264,3069732422725099520,4516337085607264256 |
| PARAM_VALUE | 0 | path->dentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | path->dentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | path->mnt | 1-u64max |
| PARAM_VALUE | 0 | path->mnt->mnt_sb->s_export_op->open | 0,631201664538705920,4233052046380007424 |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->__f_path.dentry | 0 |
| PARAM_VALUE | 1 | file->__f_path.mnt | 0 |
| PARAM_VALUE | 1 | file->f_cred | 0,4096-ptr_max |
| PARAM_VALUE | 1 | file->f_ep | 0 |
| PARAM_VALUE | 1 | file->f_inode | 0 |
| PARAM_VALUE | 1 | file->f_iocb_flags | 0 |
| PARAM_VALUE | 1 | file->f_mapping | 0 |
| PARAM_VALUE | 1 | file->f_mode | 67108864-67108867 |
| PARAM_VALUE | 1 | file->f_op | 0 |
| PARAM_VALUE | 1 | file->f_owner | 0 |
| PARAM_VALUE | 1 | file->f_pos | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file->f_pos_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_pos_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | file->f_ra.async_size | 0 |
| PARAM_VALUE | 1 | file->f_ra.mmap_miss | 0 |
| PARAM_VALUE | 1 | file->f_ra.order | 0 |
| PARAM_VALUE | 1 | file->f_ra.prev_pos | 0 |
| PARAM_VALUE | 1 | file->f_ra.ra_pages | 0 |
| PARAM_VALUE | 1 | file->f_ra.size | 0 |
| PARAM_VALUE | 1 | file->f_ra.start | 0 |
| PARAM_VALUE | 1 | file->f_ref.refcnt.counter | 0 |
| PARAM_VALUE | 1 | file->f_sb_err | 0 |
| PARAM_VALUE | 1 | file->f_wb_err | 0 |
| PARAM_VALUE | 1 | file->private_data | 0 |
| BUF_SIZE | 0 | path->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | path->mnt | (-1),32 |
| CAPPED_DATA | 1 | file->f_cred | 1 |
| DATA_SOURCE | 0 | path | $0 |
| DATA_SOURCE | 1 | file | r alloc_empty_file |
| BIT_INFO | 1 | file->f_flags | 0x0,0x7fffffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | file->f_flags | 0-u32max |
| USER_DATA | 1 | file->f_mode | 67108864-67108867[c] |
| NO_OVERFLOW_SIMPLE | 0 | path->dentry->moved->d_inode->i_size | |
| HALF_LOCKED2 | &inode_info->lower_file_mutex | ||
| HALF_LOCKED2 | &key->sem | ||
| HALF_LOCKED2 | &to_path.dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | global &acct_on_mutex | ||
| HALF_LOCKED2 | global &ecryptfs_kthread_ctl.mux |
fs/open.c dentry_open_nonotify() -> vfs_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 0 | path->dentry | 1-u64max |
| PARAM_VALUE | 0 | path->mnt | 1-u64max |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->__f_path.dentry | 0 |
| PARAM_VALUE | 1 | file->__f_path.mnt | 0 |
| PARAM_VALUE | 1 | file->f_cred | 0,4096-ptr_max |
| PARAM_VALUE | 1 | file->f_ep | 0 |
| PARAM_VALUE | 1 | file->f_inode | 0 |
| PARAM_VALUE | 1 | file->f_iocb_flags | 0 |
| PARAM_VALUE | 1 | file->f_mapping | 0 |
| PARAM_VALUE | 1 | file->f_mode | 33554432-33554435 |
| PARAM_VALUE | 1 | file->f_op | 0 |
| PARAM_VALUE | 1 | file->f_owner | 0 |
| PARAM_VALUE | 1 | file->f_pos | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file->f_pos_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_pos_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | file->f_ra.async_size | 0 |
| PARAM_VALUE | 1 | file->f_ra.mmap_miss | 0 |
| PARAM_VALUE | 1 | file->f_ra.order | 0 |
| PARAM_VALUE | 1 | file->f_ra.prev_pos | 0 |
| PARAM_VALUE | 1 | file->f_ra.ra_pages | 0 |
| PARAM_VALUE | 1 | file->f_ra.size | 0 |
| PARAM_VALUE | 1 | file->f_ra.start | 0 |
| PARAM_VALUE | 1 | file->f_ref.refcnt.counter | 0 |
| PARAM_VALUE | 1 | file->f_sb_err | 0 |
| PARAM_VALUE | 1 | file->f_wb_err | 0 |
| PARAM_VALUE | 1 | file->private_data | 0 |
| BUF_SIZE | 0 | path | 16 |
| CAPPED_DATA | 1 | file->f_cred | 1 |
| DATA_SOURCE | 0 | path | $0 |
| DATA_SOURCE | 1 | file | r alloc_empty_file |
fs/open.c kernel_file_open() -> vfs_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 846195560972726272,4169089451014762496,6653609374042161152,7552375793927225344 |
| PARAM_VALUE | 0 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | file->__f_path.dentry | 0 |
| PARAM_VALUE | 1 | file->__f_path.mnt | 0 |
| PARAM_VALUE | 1 | file->f_cred | 0,4096-ptr_max |
| PARAM_VALUE | 1 | file->f_ep | 0 |
| PARAM_VALUE | 1 | file->f_flags | 0,49154 |
| PARAM_VALUE | 1 | file->f_inode | 0 |
| PARAM_VALUE | 1 | file->f_iocb_flags | 0 |
| PARAM_VALUE | 1 | file->f_mapping | 0 |
| PARAM_VALUE | 1 | file->f_mode | 603979776-603979779 |
| PARAM_VALUE | 1 | file->f_op | 0 |
| PARAM_VALUE | 1 | file->f_owner | 0 |
| PARAM_VALUE | 1 | file->f_pos | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | file->f_pos_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_pos_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | file->f_ra.async_size | 0 |
| PARAM_VALUE | 1 | file->f_ra.mmap_miss | 0 |
| PARAM_VALUE | 1 | file->f_ra.order | 0 |
| PARAM_VALUE | 1 | file->f_ra.prev_pos | 0 |
| PARAM_VALUE | 1 | file->f_ra.ra_pages | 0 |
| PARAM_VALUE | 1 | file->f_ra.size | 0 |
| PARAM_VALUE | 1 | file->f_ra.start | 0 |
| PARAM_VALUE | 1 | file->f_ref.refcnt.counter | 0 |
| PARAM_VALUE | 1 | file->f_sb_err | 0 |
| PARAM_VALUE | 1 | file->f_wb_err | 0 |
| PARAM_VALUE | 1 | file->private_data | 0 |
| CAPPED_DATA | 1 | file->f_cred | 1 |
| DATA_SOURCE | 0 | path | $0 |
| DATA_SOURCE | 1 | file | r alloc_empty_file_noaccount |
| BIT_INFO | 1 | file->f_mode | 0x20000000,0xffffffffffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &pool->lock |
fs/backing-file.c backing_file_open() -> vfs_open()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | path | 4096-ptr_max |
| PARAM_VALUE | 1 | file | 1-ptr_max |
| PARAM_VALUE | 1 | file->__f_path.dentry | 0 |
| PARAM_VALUE | 1 | file->__f_path.mnt | 0 |
| PARAM_VALUE | 1 | file->f_cred | 0,4096-ptr_max |
| PARAM_VALUE | 1 | file->f_ep | 0 |
| PARAM_VALUE | 1 | file->f_inode | 0 |
| PARAM_VALUE | 1 | file->f_iocb_flags | 0 |
| PARAM_VALUE | 1 | file->f_mapping | 0 |
| PARAM_VALUE | 1 | file->f_mode | 620756992-620756995 |
| PARAM_VALUE | 1 | file->f_op | 0 |
| PARAM_VALUE | 1 | file->f_owner | 0 |
| PARAM_VALUE | 1 | file->f_pos | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.first_waiter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 1 | file->f_pos_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 1 | file->f_pos_lock.owner.counter | 0 |
| PARAM_VALUE | 1 | file->f_ra.async_size | 0 |
| PARAM_VALUE | 1 | file->f_ra.mmap_miss | 0 |
| PARAM_VALUE | 1 | file->f_ra.order | 0 |
| PARAM_VALUE | 1 | file->f_ra.prev_pos | 0 |
| PARAM_VALUE | 1 | file->f_ra.ra_pages | 0 |
| PARAM_VALUE | 1 | file->f_ra.size | 0 |
| PARAM_VALUE | 1 | file->f_ra.start | 0 |
| PARAM_VALUE | 1 | file->f_ref.refcnt.counter | 0 |
| PARAM_VALUE | 1 | file->f_sb_err | 0 |
| PARAM_VALUE | 1 | file->f_wb_err | 0 |
| PARAM_VALUE | 1 | file->private_data | 0 |
| BUF_SIZE | 1 | file | 376 |
| DATA_SOURCE | 0 | path | $2 |
| DATA_SOURCE | 1 | file | r alloc_empty_backing_file |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | file->f_flags | 0-u32max |
| USER_DATA | 1 | file->f_mode | 620756992-620756995[c] |