Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfs/nfs4proc.c _nfs4_proc_mknod() -> nfs4_do_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dir | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dir->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dir->i_op | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_op->mkdir | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_op->mknod | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_op->symlink | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dir->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dir->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | dir->i_sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dir->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 1 | dentry->d_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_fs_info->nfs_client->cl_idmap | 0 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_xprt->bc_serv | 0 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_fs_info->nfs_client->cl_uuid.net | 0 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry->d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 1 | dentry->d_op->d_compare | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_delete | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_hash | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_init | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | dentry->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_release | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_revalidate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 1 | dentry->d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 1 | dentry->d_op->d_weak_revalidate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | data->arg.attrs | 4871098329758457856 |
| PARAM_VALUE | 2 | data->arg.attrs->ia_valid | 1 |
| PARAM_VALUE | 2 | data->arg.dir_fh | 4096-ptr_max |
| PARAM_VALUE | 2 | data->arg.ftype | 3-4,6-7 |
| PARAM_VALUE | 2 | data->arg.label | 0,4922795510211944448 |
| PARAM_VALUE | 2 | data->arg.name | 4096-ptr_max |
| PARAM_VALUE | 2 | data->arg.server | 4096-ptr_max |
| PARAM_VALUE | 2 | data->fattr.label | 0,4096-ptr_max |
| PARAM_VALUE | 2 | data->fattr.label->label | 4096-ptr_max |
| PARAM_VALUE | 2 | data->fattr.label->len | 2048 |
| PARAM_VALUE | 2 | data->msg.rpc_argp | 4096-ptr_max |
| PARAM_VALUE | 2 | data->msg.rpc_proc | 669581702189117640 |
| PARAM_VALUE | 2 | data->msg.rpc_resp | 4096-ptr_max |
| PARAM_VALUE | 2 | data->res.fattr | 4096-ptr_max |
| PARAM_VALUE | 2 | data->res.fattr->group_name | 0 |
| PARAM_VALUE | 2 | data->res.fattr->label | 0,4096-ptr_max |
| PARAM_VALUE | 2 | data->res.fattr->mdsthreshold | 0 |
| PARAM_VALUE | 2 | data->res.fattr->owner_name | 0 |
| PARAM_VALUE | 2 | data->res.fattr->valid | 0 |
| PARAM_VALUE | 2 | data->res.fh | 4096-ptr_max |
| PARAM_VALUE | 2 | data->res.server | 4096-ptr_max |
| BUF_SIZE | 1 | dentry | (-1),1-s32max |
| BUF_SIZE | 1 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | data | 600 |
| BUF_SIZE | 2 | data->arg.name | 16 |
| CAPPED_DATA | 0 | dir->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 0 | dir->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| DATA_SOURCE | 0 | dir | $0 |
| DATA_SOURCE | 1 | dentry | $1 |
| DATA_SOURCE | 2 | data | r nfs4_alloc_createdata |
| FUZZY_MAX | 2 | data->arg.ftype | 7 |
| HARD_MAX | 2 | data->arg.ftype | 7 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dir->i_size | (-9223372036854775807)-(-4),0-s64max |
| USER_DATA | 2 | data->arg.attrs->ia_mode | 0-u16max[c] |
| USER_DATA | 2 | data->arg.u.device.specdata1 | 0-4095[c] |
| USER_DATA | 2 | data->arg.u.device.specdata2 | 0-1048575[c] |
| HALF_LOCKED2 | _T->lock |
fs/nfs/nfs4proc.c _nfs4_proc_symlink() -> nfs4_do_create()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | dir | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dir->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | dir->i_op | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_op->mknod | 0,4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_op->symlink | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dir->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | dir->i_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | dir->i_sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | dir->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | dir->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_inode->i_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 1 | dentry->d_inode->i_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_fs_info->nfs_client->cl_idmap | 0 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_fs_info->nfs_client->cl_rpcclient->cl_xprt->bc_serv | 0 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_fs_info->nfs_client->cl_uuid.net | 0 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry->d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 1 | dentry->d_op->d_compare | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_delete | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_hash | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_init | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 1 | dentry->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_release | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_revalidate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 1 | dentry->d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 1 | dentry->d_op->d_weak_revalidate | 0,4096-ptr_max |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | dentry->d_parent->d_inode->i_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | data->arg.attrs | 18225428454084608 |
| PARAM_VALUE | 2 | data->arg.attrs->ia_valid | 1 |
| PARAM_VALUE | 2 | data->arg.dir_fh | 4096-ptr_max |
| PARAM_VALUE | 2 | data->arg.ftype | 5 |
| PARAM_VALUE | 2 | data->arg.label | 0,2946640693075742720 |
| PARAM_VALUE | 2 | data->arg.name | 4096-ptr_max |
| PARAM_VALUE | 2 | data->arg.server | 4096-ptr_max |
| PARAM_VALUE | 2 | data->arg.u.symlink.len | 0-4096 |
| PARAM_VALUE | 2 | data->arg.u.symlink.pages | 6268921654068035584 |
| PARAM_VALUE | 2 | data->fattr.label | 0,4096-ptr_max |
| PARAM_VALUE | 2 | data->fattr.label->label | 4096-ptr_max |
| PARAM_VALUE | 2 | data->fattr.label->len | 2048 |
| PARAM_VALUE | 2 | data->msg.rpc_argp | 4096-ptr_max |
| PARAM_VALUE | 2 | data->msg.rpc_proc | 669581702189117632 |
| PARAM_VALUE | 2 | data->msg.rpc_resp | 4096-ptr_max |
| PARAM_VALUE | 2 | data->res.fattr | 4096-ptr_max |
| PARAM_VALUE | 2 | data->res.fattr->group_name | 0 |
| PARAM_VALUE | 2 | data->res.fattr->label | 0,4096-ptr_max |
| PARAM_VALUE | 2 | data->res.fattr->mdsthreshold | 0 |
| PARAM_VALUE | 2 | data->res.fattr->owner_name | 0 |
| PARAM_VALUE | 2 | data->res.fattr->valid | 0 |
| PARAM_VALUE | 2 | data->res.fh | 4096-ptr_max |
| PARAM_VALUE | 2 | data->res.server | 4096-ptr_max |
| PARAM_VALUE | 2 | *data->arg.u.symlink.pages | 4096-ptr_max |
| BUF_SIZE | 1 | dentry | (-1),1-s32max |
| BUF_SIZE | 1 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | data | 600 |
| BUF_SIZE | 2 | data->arg.name | 16 |
| BUF_SIZE | 2 | data->arg.u.symlink.pages | 8 |
| BUF_SIZE | 2 | data->msg.rpc_proc | 2256 |
| BUF_SIZE | 2 | *data->arg.u.symlink.pages | 64 |
| CAPPED_DATA | 0 | dir->i_sb->s_user_ns->gid_map.nr_extents | 1 |
| CAPPED_DATA | 0 | dir->i_sb->s_user_ns->uid_map.nr_extents | 1 |
| CAPPED_DATA | 2 | data->arg.u.symlink.len | 1 |
| DATA_SOURCE | 0 | dir | $0 |
| DATA_SOURCE | 1 | dentry | $1 |
| DATA_SOURCE | 2 | data | r nfs4_alloc_createdata |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | dir->i_size | (-9223372036854775807)-(-4),0-s64max |
| USER_DATA | 2 | data->arg.attrs->ia_mode | 0-u16max[c] |