Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/afs/dir_silly.c afs_silly_unlink_success() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | dentry->__d_name.hash | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| NO_OVERFLOW_SIMPLE | 2 | dentry->d_inode->i_size | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 2 | dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_create_success() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | dentry->__d_name.hash | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| NO_OVERFLOW_SIMPLE | 2 | dentry->d_inode->i_size | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 2 | dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_link_success() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | dentry->__d_name.hash | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| NO_OVERFLOW_SIMPLE | 2 | dentry->d_inode->i_size | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 2 | dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_link_success() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| PARAM_VALUE | 2 | dentry | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 2 | dentry | (-1)-s32max |
| BUF_SIZE | 2 | dentry | (-1)-s32max |
| CAPPED_DATA | 0 | op->dentry->d_parent | 1 |
| CAPPED_DATA | 0 | op->dentry_2->d_parent | 1 |
| CAPPED_DATA | 2 | dentry->d_parent | 1 |
| DATA_SOURCE | 0 | op | $0 |
| PARAM_COMPARE | 0 | op->dentry->d_parent | == $0->dentry_2->d_parent |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | *dentry->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_rename_edit_dir() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| PARAM_VALUE | 2 | dentry | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 176 |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | dentry->__d_name.hash | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| NO_OVERFLOW_SIMPLE | 2 | dentry->d_inode->i_size | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 2 | dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &new_dvnode->validate_lock | ||
| HALF_LOCKED2 | &orig_dvnode->validate_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir.c afs_rename_edit_dir() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| PARAM_VALUE | 2 | dentry | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 176 |
| BUF_SIZE | 2 | dentry | (-1)-s32max |
| BUF_SIZE | 2 | dentry | (-1)-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | *dentry->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &new_dvnode->validate_lock | ||
| HALF_LOCKED2 | &orig_dvnode->validate_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir.c afs_rename_exchange_edit_dir() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 176 |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | dentry->__d_name.hash | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 2 | dentry->__d_name.name | |
| LOCK2 | &new_dvnode->validate_lock | ||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir.c afs_rename_exchange_edit_dir() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 2 | dentry | (-1)-s32max |
| BUF_SIZE | 2 | dentry | (-1)-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| LOCK2 | &new_dvnode->validate_lock | ||
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| TYPE_LOCK | (struct afs_vnode)->validate_lock |
fs/afs/dir.c afs_rmdir_success() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | dentry->__d_name.hash | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| NO_OVERFLOW_SIMPLE | 2 | dentry->d_inode->i_size | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 2 | dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/afs/dir.c afs_unlink_success() -> afs_update_dentry_version()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | op | 4096-ptr_max |
| PARAM_VALUE | 0 | op->cumul_error.error | 0 |
| PARAM_VALUE | 1 | dir_vp | 4096-ptr_max |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op | (-1),664 |
| BUF_SIZE | 0 | op->create.symlink | (-1),25-1048 |
| BUF_SIZE | 0 | op->dentry | (-1),1-s32max |
| BUF_SIZE | 0 | op->dentry_2 | (-1)-s32max |
| BUF_SIZE | 0 | op->more_files | (-1),352 |
| BUF_SIZE | 0 | op->ops | 56 |
| BUF_SIZE | 0 | op->rename.tmp | (-1)-s32max |
| BUF_SIZE | 0 | op->store.write_iter | (-1),40 |
| BUF_SIZE | 0 | op->yacl | (-1),32 |
| BUF_SIZE | 1 | dir_vp | 352 |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| BUF_SIZE | 2 | dentry | (-1),1-s32max |
| DATA_SOURCE | 0 | op | $0 |
| BIT_INFO | 0 | op->ops | 0x0,0x7fffffffffffffff |
| NOSPEC | 0 | op->fetch.subreq->io_iter.count | |
| NOSPEC | 0 | op->fetch.subreq->len | |
| NOSPEC | 0 | op->fetch.subreq->start | |
| NOSPEC | 0 | op->setattr.attr->ia_size | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | op->acl->size | 0-65536 |
| USER_DATA | 0 | op->create.mode | 16384-17407,32768-36862,65536-69631[c] |
| USER_DATA | 0 | op->dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.count | 0-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->io_iter.iov_offset | 0-u64max[c] |
| USER_DATA | 0 | op->fetch.subreq->len | 1-9223372036854775806[c] |
| USER_DATA | 0 | op->fetch.subreq->start | 0-18446744073709551614 |
| USER_DATA | 0 | op->rename.rename_flags | 0-2[c] |
| USER_DATA | 0 | op->setattr.attr->ia_mode | 0-u16max |
| USER_DATA | 0 | op->setattr.attr->ia_size | (-9223372036854775807)-(-4096),0-s64max |
| USER_DATA | 0 | *op->dentry_2->__d_name.name | 0-255 |
| USER_DATA | 2 | dentry->__d_name.hash | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | op->addr_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | op->key->quotalen | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize | |
| NO_OVERFLOW_SIMPLE | 0 | op->rename.tmp->d_sb->s_blocksize_bits | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_index | |
| NO_OVERFLOW_SIMPLE | 0 | op->server_list->nr_servers | |
| NO_OVERFLOW_SIMPLE | 2 | dentry->d_inode->i_size | |
| USER_PTR | 0 | op->dentry->__d_name.name | |
| USER_PTR | 2 | dentry->__d_name.name | |
| HALF_LOCKED2 | &dvnode->rmdir_lock | ||
| HALF_LOCKED2 | &target->i_rwsem |