Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- fs/overlayfs/copy_up.c
- fs/overlayfs/dir.c
- fs/overlayfs/readdir.c
- fs/overlayfs/super.c
- fs/overlayfs/util.c, line 1124
Smatch caller information:
fs/overlayfs/copy_up.c ovl_copy_up_workdir() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.index | 0-1 |
| PARAM_VALUE | 0 | ofs->layers | s64min-(-4096),4096-s64max |
| PARAM_VALUE | 0 | ofs->noxattr | 0-1 |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2712 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 2 | wdentry->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 2 | wdentry | 1 |
| DATA_SOURCE | 2 | wdentry | r ovl_create_temp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/overlayfs/copy_up.c ovl_create_index() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.index | 0-1 |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children.first->pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->__s_d_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 2 | wdentry->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 2 | wdentry | 1 |
| DATA_SOURCE | 1 | workdir | r ovl_indexdir |
| DATA_SOURCE | 2 | wdentry | r ovl_create_temp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &dentry->d_lockref.lock |
fs/overlayfs/util.c ovl_cleanup_index() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| DATA_SOURCE | 1 | workdir | r ovl_indexdir |
| DATA_SOURCE | 2 | wdentry | r ovl_lookup_upper_unlocked |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &dentry->d_inode->i_rwsem | ||
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &dentry->d_sb->s_vfs_rename_mutex |
fs/overlayfs/dir.c ovl_cleanup_and_whiteout() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | ofs->workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_hash.pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs->config.lowerdirs | (-1),8 |
| BUF_SIZE | 0 | ofs->workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1)-s32max |
| BUF_SIZE | 2 | wdentry | (-1)-s32max |
| CAPPED_DATA | 2 | wdentry | 1 |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 2 | wdentry | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ofs->workbasedir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workbasedir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | ofs->workdir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workdir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workdir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 2 | wdentry->d_inode->i_mode | 0-u16max |
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_size | |
| UNITS | 0 | ofs | unit_byte |
| UNITS | 2 | wdentry | unit_jiffy |
| HALF_LOCKED2 | 0 | &ofs->workdir->d_lockref.lock | |
| HALF_LOCKED2 | 1 | &workdir->d_lockref.lock | |
| HALF_LOCKED2 | 2 | &wdentry->d_lockref.lock |
fs/overlayfs/dir.c ovl_cleanup_and_whiteout() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | ofs->workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.osq.tail.counter | 0-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs->config.lowerdirs | (-1),8 |
| BUF_SIZE | 0 | ofs->workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 2 | wdentry | r ovl_whiteout |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ofs->workbasedir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workbasedir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | ofs->workdir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workdir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workdir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_rdev | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_size | |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | 0 | &ofs->workdir->d_lockref.lock | |
| HALF_LOCKED2 | 1 | &workdir->d_lockref.lock | |
| HALF_LOCKED2 | 2 | &wdentry->d_sb->s_vfs_rename_mutex |
fs/overlayfs/dir.c ovl_clear_empty() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children.first->pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->__s_d_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_hash.pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 2 | wdentry | 1 |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 1 | workdir | r ovl_workdir |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &target->i_rwsem |
fs/overlayfs/dir.c ovl_clear_empty() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->noxattr | 0-1 |
| PARAM_VALUE | 1 | workdir | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children.first->pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->__s_d_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.osq.tail.counter | 0-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 1 | workdir | r ovl_workdir |
| DATA_SOURCE | 2 | wdentry | r ovl_create_temp |
| PARAM_COMPARE | 2 | wdentry->d_inode->i_sb->s_time_max | >= $2->d_inode->i_sb->s_time_min |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 2 | &wdentry->d_sb->s_vfs_rename_mutex |
fs/overlayfs/dir.c ovl_create_over_whiteout() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children.first->pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->__s_d_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_hash.pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_inode | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 1 | workdir | r ovl_workdir |
| DATA_SOURCE | 2 | wdentry | r ovl_lookup_upper_unlocked |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/overlayfs/dir.c ovl_create_over_whiteout() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_hash.pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_inode | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.osq.tail.counter | 0-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 2 | wdentry | 1 |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 1 | workdir | r ovl_dentry_upper |
| DATA_SOURCE | 2 | wdentry | r ovl_create_temp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | wdentry->d_inode->i_mode | 0-u16max |
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &workdir->d_inode->i_rwsem |
fs/overlayfs/dir.c ovl_create_over_whiteout() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->noxattr | 0-1 |
| PARAM_VALUE | 1 | workdir | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children.first->pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->__s_d_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.osq.tail.counter | 0-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 2 | wdentry | 1 |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 1 | workdir | r ovl_workdir |
| DATA_SOURCE | 2 | wdentry | r ovl_create_temp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | wdentry->d_inode->i_mode | 0-u16max |
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | 2 | &wdentry->d_sb->s_vfs_rename_mutex |
fs/overlayfs/dir.c ovl_create_upper() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children.first->pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->__s_d_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_alias->next->pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_fsdata | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_parent->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_rcu.next | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->head.first | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->lease_gen | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->waiters | 0 |
| PARAM_VALUE | 2 | wdentry->d_hash.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_hash.pprev | 0 |
| PARAM_VALUE | 2 | wdentry->d_inode | 0 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_op | 0-1144202292485988351,1144202292485988353-u64max |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 2 | wdentry->d_rcu.func | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_rcu.next | 0 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_dname | 0,716233247738060800,2056107418359259136,2102941272419614720,3721061892745007104,5585410052597575680,6720345164634435584,7931586599356526592 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 2 | wdentry->d_sb->__s_d_op->d_weak_revalidate | 0,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_roots_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sib->next->pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->waiters | 0 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->s_first_error_func | 0-255 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->s_last_error_func | 0-255 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->summary->sum_list_head->d.name | 0-255 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->wbuf | 0-255 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->wbuf_verify | 0-255 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->lease_session->s_auth.authorizer->session_key.key | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_inode->i_hash.next->pprev | 1-u64max |
| PARAM_VALUE | 2 | *wdentry->d_inode->i_sb->s_fs_info->alloc_sem.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_inode->i_sb->s_fs_info->flush_lock.first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_inode->i_sb->s_fs_info->page_eio_cnt | s32min-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 2 | wdentry | 1 |
| DATA_SOURCE | 1 | workdir | r ovl_dentry_upper |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &dentry->d_lockref.lock | ||
| HALF_LOCKED2 | &inode->i_rwsem |
fs/overlayfs/dir.c ovl_rename_upper() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| DATA_SOURCE | 1 | workdir | r ovl_dentry_upper |
| DATA_SOURCE | 2 | wdentry | r dget |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | wdentry->__d_name.hash | 0-u32max[c] |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &source->i_rwsem | ||
| HALF_LOCKED2 | &target->i_rwsem |
fs/overlayfs/super.c ovl_check_rename_whiteout() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.fsync_mode | 1 |
| PARAM_VALUE | 0 | ofs->config.index | 0 |
| PARAM_VALUE | 0 | ofs->config.lowerdirs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.metacopy | 0 |
| PARAM_VALUE | 0 | ofs->config.nfs_export | 0 |
| PARAM_VALUE | 0 | ofs->config.redirect_mode | 2-3 |
| PARAM_VALUE | 0 | ofs->config.upperdir | 1-u64max |
| PARAM_VALUE | 0 | ofs->config.uuid | 1 |
| PARAM_VALUE | 0 | ofs->last_ino.counter | 1 |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->namelen | 0-s64max |
| PARAM_VALUE | 0 | ofs->numlayer | 1 |
| PARAM_VALUE | 0 | ofs->upperdir_locked | 1 |
| PARAM_VALUE | 0 | ofs->workbasedir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir_trap | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir_trap->i_flags | 16 |
| PARAM_VALUE | 0 | ofs->workbasedir_trap->i_mode | 16384 |
| PARAM_VALUE | 0 | ofs->workdir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | ofs->workdir->d_fsdata | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_hash.pprev | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workdir->d_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ofs->workdir->d_rcu.next | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sib.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->waiters | 0 |
| PARAM_VALUE | 0 | ofs->workdir_trap | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_flags | 16 |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_mode | 16384 |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_rwsem.first_waiter | 0 |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first->pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_fsdata | 0 |
| PARAM_VALUE | 1 | workdir->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_rcu.next | 0 |
| PARAM_VALUE | 1 | workdir->d_sb->__s_d_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sib.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->waiters | 0 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode | 0,4096-ptr_max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs->config.lowerdirs | 8 |
| BUF_SIZE | 0 | ofs->workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 0 | ofs->workbasedir | 1 |
| CAPPED_DATA | 1 | workdir | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 2 | wdentry | r ovl_lookup_upper_unlocked |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ofs->workbasedir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workbasedir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | ofs->workdir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workdir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workdir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_rdev | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workbasedir_trap->i_size | |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount |
fs/overlayfs/super.c ovl_check_rename_whiteout() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.fsync_mode | 1 |
| PARAM_VALUE | 0 | ofs->config.index | 0 |
| PARAM_VALUE | 0 | ofs->config.lowerdirs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.metacopy | 0 |
| PARAM_VALUE | 0 | ofs->config.nfs_export | 0 |
| PARAM_VALUE | 0 | ofs->config.redirect_mode | 2-3 |
| PARAM_VALUE | 0 | ofs->config.upperdir | 1-u64max |
| PARAM_VALUE | 0 | ofs->config.uuid | 1 |
| PARAM_VALUE | 0 | ofs->last_ino.counter | 1 |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->namelen | 0-s64max |
| PARAM_VALUE | 0 | ofs->numlayer | 1 |
| PARAM_VALUE | 0 | ofs->upperdir_locked | 1 |
| PARAM_VALUE | 0 | ofs->workbasedir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_children.first | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir_trap | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir_trap->i_flags | 16 |
| PARAM_VALUE | 0 | ofs->workbasedir_trap->i_mode | 16384 |
| PARAM_VALUE | 0 | ofs->workdir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 0 | ofs->workdir->d_fsdata | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_hash.pprev | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workdir->d_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ofs->workdir->d_rcu.next | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir->d_sib.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->waiters | 0 |
| PARAM_VALUE | 0 | ofs->workdir_trap | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_flags | 16 |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_mode | 16384 |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_rwsem.first_waiter | 0 |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_children->first->pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_children.first->pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_fsdata | 0 |
| PARAM_VALUE | 1 | workdir->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_rcu.next | 0 |
| PARAM_VALUE | 1 | workdir->d_sb->__s_d_op | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 1 | workdir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 1 | workdir->d_sib.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->waiters | 0 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_hash.pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_op->d_iput | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_prune | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_real | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_vfs_rename_mutex.osq.tail.counter | 0-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs->config.lowerdirs | 8 |
| BUF_SIZE | 0 | ofs->workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 0 | ofs->workbasedir | 1 |
| CAPPED_DATA | 1 | workdir | 1 |
| CAPPED_DATA | 1 | workdir->d_inode | 1 |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 2 | wdentry | r ovl_create_temp |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | ofs->workbasedir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workbasedir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | ofs->workdir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workdir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workdir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workbasedir_trap->i_size | |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | &whiteout->d_lockref.lock | ||
| HALF_LOCKED2 | 1 | &workdir->d_inode->i_rwsem |
fs/overlayfs/readdir.c ovl_cleanup_whiteouts() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_hash.pprev | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_parent | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode | 1-u64max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| CAPPED_DATA | 0 | ofs->casefold | 1 |
| CAPPED_DATA | 1 | workdir | 1 |
| CAPPED_DATA | 1 | workdir->d_parent | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 1 | workdir | $1 |
| DATA_SOURCE | 2 | wdentry | r ovl_lookup_upper_unlocked |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | &target->i_rwsem | ||
| HALF_LOCKED2 | 1 | &workdir->d_inode->i_rwsem |
fs/overlayfs/readdir.c ovl_indexdir_cleanup() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.fsync_mode | 1 |
| PARAM_VALUE | 0 | ofs->config.index | 1 |
| PARAM_VALUE | 0 | ofs->config.lowerdirs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.metacopy | 0 |
| PARAM_VALUE | 0 | ofs->config.nfs_export | 0 |
| PARAM_VALUE | 0 | ofs->config.redirect_mode | 2-3 |
| PARAM_VALUE | 0 | ofs->config.uuid | 1 |
| PARAM_VALUE | 0 | ofs->config.workdir | 0 |
| PARAM_VALUE | 0 | ofs->fs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->last_ino.counter | 1 |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->namelen | 0-s64max |
| PARAM_VALUE | 0 | ofs->numlayer | 2-u32max |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_fsdata | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_hash.pprev | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workdir->d_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ofs->workdir->d_rcu.next | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_sib.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->waiters | 0 |
| PARAM_VALUE | 0 | ofs->workdir_trap | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_flags | 16 |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_mode | 16384 |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_rwsem.first_waiter | 0 |
| PARAM_VALUE | 0 | ofs->xino_mode | (-1)-s32max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_fsdata | 0 |
| PARAM_VALUE | 1 | workdir->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_rcu.next | 0 |
| PARAM_VALUE | 1 | workdir->d_sib.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->waiters | 0 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_name.name | 4096-ptr_max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs->config.lowerdirs | 8 |
| BUF_SIZE | 0 | ofs->workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->workbasedir | 1 |
| CAPPED_DATA | 1 | workdir | 1 |
| CAPPED_DATA | 1 | workdir->d_inode | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 2 | wdentry | r ovl_lookup_upper_unlocked |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ofs->workbasedir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workbasedir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | ofs->workdir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workdir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workdir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 2 | wdentry->d_inode->i_mode | 0-u16max |
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workbasedir_trap->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workbasedir_trap->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir->moved->d_inode->i_size | |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | 0 | &ofs->workdir->d_lockref.lock | |
| HALF_LOCKED2 | 1 | &workdir->d_inode->i_rwsem | |
| HALF_LOCKED2 | 2 | &wdentry->d_lockref.lock |
fs/overlayfs/readdir.c ovl_indexdir_cleanup() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.fsync_mode | 1 |
| PARAM_VALUE | 0 | ofs->config.index | 1 |
| PARAM_VALUE | 0 | ofs->config.lowerdirs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->config.metacopy | 0 |
| PARAM_VALUE | 0 | ofs->config.nfs_export | 0 |
| PARAM_VALUE | 0 | ofs->config.redirect_mode | 2-3 |
| PARAM_VALUE | 0 | ofs->config.uuid | 1 |
| PARAM_VALUE | 0 | ofs->config.workdir | 0 |
| PARAM_VALUE | 0 | ofs->fs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->last_ino.counter | 1 |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->namelen | 0-s64max |
| PARAM_VALUE | 0 | ofs->numlayer | 2-u32max |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_bmap_bits | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_bmap_count | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_data_blksize | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_hashsize | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_last_bmap | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_mode | 0-u16max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_partition_size | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_reserved | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->s_root_block | 0-4294967295 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->s_fs_info->work_queued | s32min-s32max |
| PARAM_VALUE | 0 | ofs->workdir | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->d_fsdata | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_hash.pprev | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workdir->d_rcu.func | 1-u64max |
| PARAM_VALUE | 0 | ofs->workdir->d_rcu.next | 0 |
| PARAM_VALUE | 0 | ofs->workdir->d_sib.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir->waiters | 0 |
| PARAM_VALUE | 0 | ofs->workdir_trap | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_flags | 16 |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_mode | 16384 |
| PARAM_VALUE | 0 | ofs->workdir_trap->i_rwsem.first_waiter | 0 |
| PARAM_VALUE | 0 | ofs->xino_mode | (-1)-s32max |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_fsdata | 0 |
| PARAM_VALUE | 1 | workdir->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | workdir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | workdir->d_rcu.func | 1-u64max |
| PARAM_VALUE | 1 | workdir->d_rcu.next | 0 |
| PARAM_VALUE | 1 | workdir->d_sib.pprev | 0,4096-ptr_max |
| PARAM_VALUE | 1 | workdir->waiters | 0 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_name.name | 4096-ptr_max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs | 1-s32max |
| BUF_SIZE | 0 | ofs->config.lowerdirs | 8 |
| BUF_SIZE | 0 | ofs->workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| CAPPED_DATA | 0 | ofs->workbasedir | 1 |
| CAPPED_DATA | 1 | workdir | 1 |
| CAPPED_DATA | 1 | workdir->d_inode | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 2 | wdentry | r ovl_lookup_upper_unlocked |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ofs->workbasedir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workbasedir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | ofs->workdir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workdir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workdir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 2 | wdentry->d_inode->i_mode | 0-u16max |
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workbasedir_trap->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workbasedir_trap->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir->moved->d_inode->i_size | |
| UNITS | 0 | ofs | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | 0 | &ofs->workdir->d_lockref.lock | |
| HALF_LOCKED2 | 1 | &workdir->d_inode->i_rwsem | |
| HALF_LOCKED2 | 2 | &wdentry->d_lockref.lock |
fs/overlayfs/readdir.c ovl_workdir_cleanup() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->namelen | 0-s64max |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,2632,2648 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 2 | wdentry->d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 2 | wdentry->d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| BUF_SIZE | 0 | ofs | (-1),1-s32max |
| BUF_SIZE | 0 | ofs | (-1),1-s32max |
| BUF_SIZE | 0 | ofs->config.lowerdirs | (-1),8 |
| BUF_SIZE | 0 | ofs->workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1)-s32max |
| BUF_SIZE | 2 | wdentry | (-1)-s32max |
| CAPPED_DATA | 1 | workdir | 1 |
| CAPPED_DATA | 1 | workdir->d_inode | 1 |
| CAPPED_DATA | 2 | wdentry | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 1 | workdir | $1 |
| DATA_SOURCE | 2 | wdentry | $3 |
| STR_LEN | 0 | ofs | (-1),4 |
| STR_LEN | 0 | ofs | (-1),4 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ofs->workbasedir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workbasedir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | ofs->workdir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workdir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workdir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 2 | wdentry->d_inode->i_mode | 0-u16max |
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workbasedir_trap->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_data.host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_size | |
| UNITS | 0 | ofs | unit_byte |
| UNITS | 2 | wdentry | unit_jiffy |
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | 0 | &ofs->workdir->d_lockref.lock | |
| HALF_LOCKED2 | 1 | &workdir->d_inode->i_rwsem | |
| HALF_LOCKED2 | 2 | &wdentry->d_lockref.lock |
fs/overlayfs/readdir.c ovl_workdir_cleanup() -> ovl_cleanup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ofs | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->layers | 4096-ptr_max |
| PARAM_VALUE | 0 | ofs->namelen | 0-s64max |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->whiteout->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,2632,2648 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | ofs->workbasedir->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | ofs->workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_automount | 0,2908707185815040000,3401111987815645184,6746145930460459008,7190988915944083456,7386785427940065280,8018779550845526016 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_init | 0,2385819921126617088,7057831443282669568,7824184004865302528 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_manage | 0,1859587847549206528 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_unalias_trylock | 0,6635409759016140800 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_unalias_unlock | 0,6336447517789900800 |
| PARAM_VALUE | 0 | ofs->workdir->d_sb->__s_d_op->d_weak_revalidate | 0,1549882712720502784,5632434648052031488,5669063523602272256,7231033168839651328 |
| PARAM_VALUE | 1 | workdir | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | workdir->d_inode->i_flctx->flc_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.next | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->list.prev | 2624917664208203776 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | workdir->d_inode->i_rwsem.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | workdir->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 2 | wdentry | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_alias->next->pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->d_parent->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->head.first | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->lease_gen | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 2 | wdentry->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 2 | wdentry->d_fsdata->waiters | 0 |
| PARAM_VALUE | 2 | wdentry->d_hash.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_hash.pprev | 0 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_inode->i_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 2 | wdentry->d_op->d_dname | 0,4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_op->d_iput | 0,170374395438985216,837750826476904448,5086081384299388928,8216155483032948736 |
| PARAM_VALUE | 2 | wdentry->d_op->d_prune | 0,2225594340392566784,7225953709177749504 |
| PARAM_VALUE | 2 | wdentry->d_op->d_real | 0,4509355519306412032 |
| PARAM_VALUE | 2 | wdentry->d_parent | 4096-ptr_max |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 2 | wdentry->d_parent->d_inode->i_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 2 | wdentry->d_rcu.func | 1-u64max |
| PARAM_VALUE | 2 | wdentry->d_rcu.next | 0 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_fs_info->lookup_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sb->s_roots_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | wdentry->d_sib->next->pprev | 1-u64max |
| PARAM_VALUE | 2 | wdentry->waiters | 0 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->s_first_error_func | 0-255 |
| PARAM_VALUE | 2 | *wdentry->d_fsdata->d_inode->i_sb->s_fs_info->s_last_error_func | 0-255 |
| PARAM_VALUE | 2 | *wdentry->d_inode->i_sb->s_fs_info->nm_info->nat_root.xa_head | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 2 | *wdentry->d_inode->i_sb->s_fs_info->page_eio_cnt | s32min-s32max |
| BUF_SIZE | 0 | ofs | (-1),1-s32max |
| BUF_SIZE | 0 | ofs | (-1),1-s32max |
| BUF_SIZE | 0 | ofs->config.lowerdirs | (-1),8 |
| BUF_SIZE | 0 | ofs->workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 1 | workdir | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| BUF_SIZE | 2 | wdentry | (-1),1-s32max |
| CAPPED_DATA | 1 | workdir | 1 |
| CAPPED_DATA | 1 | workdir->d_inode | 1 |
| CAPPED_DATA | 2 | wdentry | 1 |
| CAPPED_DATA | 2 | wdentry->d_parent | 1 |
| DATA_SOURCE | 0 | ofs | $0 |
| DATA_SOURCE | 1 | workdir | $1 |
| DATA_SOURCE | 2 | wdentry | r start_removing_dentry |
| STR_LEN | 0 | ofs | (-1),4 |
| STR_LEN | 0 | ofs | (-1),4 |
| PARAM_COMPARE | 1 | workdir | == $2->d_parent |
| PARAM_COMPARE | 2 | wdentry->d_parent | == $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | ofs->workbasedir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workbasedir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workbasedir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 0 | ofs->workdir_trap->__i_nlink | 1-u32max |
| USER_DATA | 0 | ofs->workdir_trap->i_blocks | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_bytes | 0-511[c] |
| USER_DATA | 0 | ofs->workdir_trap->i_ino | 0-u64max |
| USER_DATA | 0 | ofs->workdir_trap->i_rdev | 0-u32max[c] |
| USER_DATA | 2 | wdentry->d_inode->i_mode | 0-u16max |
| USER_DATA | 2 | wdentry->d_inode->i_size | (-9223372036854775807)-(-4),0-s64max |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workbasedir_trap->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir->d_fsdata->d_fsdata | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_data.host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_mapping->host->i_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_mapping->host->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | ofs->workdir_trap->i_size | |
| UNITS | 0 | ofs | unit_byte |
| UNITS | 2 | wdentry | unit_jiffy |
| LOCK2 | 1 | &workdir->d_inode->i_rwsem | |
| HALF_LOCKED2 | &sb->s_umount | ||
| HALF_LOCKED2 | 0 | &ofs->workdir->d_lockref.lock | |
| HALF_LOCKED2 | 2 | &wdentry->d_lockref.lock | |
| TYPE_LOCK | (struct inode)->i_rwsem |