Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 9 files:
- fs/ubifs/debug.c
- fs/ubifs/dir.c
- fs/ubifs/file.c
- fs/ubifs/io.c
- fs/ubifs/journal.c, line 458
- fs/ubifs/recovery.c, line 1446
- fs/ubifs/super.c
- fs/ubifs/tnc_commit.c, line 382
- fs/ubifs/xattr.c, line 501
Smatch caller information:
fs/ubifs/xattr.c ubifs_purge_xattrs() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->no_chk_data_crc | 0 |
| PARAM_VALUE | 0 | c->ro_error | 1 |
| PARAM_VALUE | 1 | fmt | 5029973834843840512 |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 1 | fmt | 60 |
| STR_LEN | 0 | c | 59 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &target->i_rwsem |
fs/ubifs/tnc_commit.c layout_in_gaps() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->kcov->mode | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->kcov->remote | 0-1 |
| PARAM_VALUE | 0 | c->bgt->kcov->remote_size | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->kcov_remote->mode | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->kcov_remote->remote | 0-1 |
| PARAM_VALUE | 0 | c->bgt->kcov_remote->remote_size | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | c->bgt->thread_pid->attr->exit_code | s32min-s32max |
| PARAM_VALUE | 0 | c->buds_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->cnext->zbranch | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->cs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->dbg->chk_index | 0 |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt_max | 0 |
| PARAM_VALUE | 0 | c->dbg->pc_delay | 0-2 |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0-1 |
| PARAM_VALUE | 0 | c->empty_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | c->empty_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | c->frdi_idx_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | c->frdi_idx_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | c->freeable_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | c->freeable_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | c->idx_gc.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | c->idx_gc.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | c->jheads->wbuf.jhead | 0-s32max |
| PARAM_VALUE | 0 | c->jheads->wbuf.no_timer | 1 |
| PARAM_VALUE | 0 | c->jheads->wbuf.sync_callback | 0,7844684522610487296 |
| PARAM_VALUE | 0 | c->log_hash->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | c->lp_mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | c->lp_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | c->old_buds.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | c->old_buds.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | c->space_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->tnc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | c->tnc_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-0,2-s32max |
| PARAM_VALUE | 0 | c->ubi->vol->reserved_pebs | 1-s32max |
| PARAM_VALUE | 0 | c->ubi->vol->vol_id | 0-2147483646 |
| PARAM_VALUE | 0 | c->ubi->vol->vol_type | s32min-3,5-s32max |
| PARAM_VALUE | 0 | c->uncat_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | c->uncat_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | *c->log_hash->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *c->log_hash->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *c->log_hash->__ctx->block | 0-4294967295 |
| PARAM_VALUE | 0 | *c->log_hash->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 1 | fmt | 8693559674511491072 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | fmt | 13 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| STR_LEN | 0 | c | (-1)-1,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1) |
| STR_LEN | 1 | fmt | 12 |
| TERMINATED | 1 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->commit_sem | |
| LOCK2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex | |
| TYPE_LOCK | (struct ubifs_info)->commit_sem | ||
| TYPE_LOCK | (struct ubifs_info)->tnc_mutex |
fs/ubifs/recovery.c fix_size_in_place() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->space_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->tnc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->umount_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->umount_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->umount_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | c->umount_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 1 | fmt | 1995323218644549632 |
| PARAM_VALUE | 3 | $ | s64min-9223372036854775806 |
| PARAM_VALUE | 4 | $ | (-9223372036854775807)-s64max |
| PARAM_VALUE | 5 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 1 | fmt | 51 |
| CAPPED_DATA | 3 | $ | 1 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | 50 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| UNITS | 0 | c | unit_byte |
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| LOCK2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| TYPE_LOCK | (struct ubifs_info)->umount_mutex |
fs/ubifs/debug.c corrupt_data() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->delays->blkio_delay_max | 0-s64max |
| PARAM_VALUE | 0 | c->bgt->delays->blkio_delay_min | 0-s64max |
| PARAM_VALUE | 0 | c->bgt->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | c->buds_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt_max | 0 |
| PARAM_VALUE | 0 | c->dbg->pc_delay | 1-2 |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 1 |
| PARAM_VALUE | 0 | c->jheads | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->no_chk_data_crc | 0 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 1892170008888336384 |
| PARAM_VALUE | 4 | $ | 3170171373660614656,4974215381194870784 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 27 |
| BUF_SIZE | 4 | $ | 6,12 |
| CAPPED_DATA | 3 | $ | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | r get_random_u32_below |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 26 |
| STR_LEN | 2 | $ | 5,11 |
| BIT_INFO | 4 | $ | 0x106b60060271000,0x6ffff699ec67b000 |
| TERMINATED | 1 | fmt | 1 |
| TERMINATED | 4 | $ | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| UNITS | 3 | $ | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c dbg_leb_write() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->buds_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt_max | 0 |
| PARAM_VALUE | 0 | c->dbg->pc_delay | 1-2 |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 1 |
| PARAM_VALUE | 0 | c->jheads | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->no_chk_data_crc | 0 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 2559543827756593152 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 64 |
| CAPPED_DATA | 2 | $ | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | r corrupt_data |
| DATA_SOURCE | 3 | $ | $1 |
| DATA_SOURCE | 4 | $ | $3 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 63 |
| TERMINATED | 1 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486720[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 4 | $ | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| UNITS | 3 | $ | unit_byte |
| UNITS | 4 | $ | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 0 |
| PARAM_VALUE | 0 | c->dbg->pc_delay | 1 |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 870785776935641088 |
| PARAM_VALUE | 2 | $ | 0 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 20 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | r get_random_u32_below |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 19 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 0 |
| PARAM_VALUE | 0 | c->dbg->pc_cnt_max | 0 |
| PARAM_VALUE | 0 | c->dbg->pc_delay | 2 |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 7580052019247566848 |
| PARAM_VALUE | 2 | $ | 0 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 24 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | r get_random_u32_below |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 23 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 4661458284873080832 |
| PARAM_VALUE | 2 | $ | 0 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 30 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 29 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 8924212801096085504 |
| PARAM_VALUE | 2 | $ | 1-2 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 25 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 24 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->log_last | 3-s32max |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 9088859906359721984 |
| PARAM_VALUE | 2 | $ | 3-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 22 |
| CAPPED_DATA | 2 | $ | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 21 |
| PARAM_COMPARE | 0 | c->log_last | >= $2 |
| PARAM_COMPARE | 2 | $ | <= $0->log_last |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 1556148176765177856 |
| PARAM_VALUE | 2 | $ | s32min-(-1),3-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 22 |
| CAPPED_DATA | 0 | c->lpt_first | 1 |
| CAPPED_DATA | 2 | $ | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 21 |
| PARAM_COMPARE | 0 | c->lpt_first | <= $0->lpt_last |
| PARAM_COMPARE | 0 | c->lpt_first | <= $2 |
| PARAM_COMPARE | 0 | c->lpt_last | >= $2 |
| PARAM_COMPARE | 2 | $ | <= $0->lpt_last |
| PARAM_COMPARE | 2 | $ | >= $0->lpt_first |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 1710277212199239680 |
| PARAM_VALUE | 2 | $ | s32min-(-1),3-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 25 |
| CAPPED_DATA | 0 | c->lpt_first | 1 |
| CAPPED_DATA | 0 | c->orph_first | 1 |
| CAPPED_DATA | 2 | $ | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 24 |
| PARAM_COMPARE | 0 | c->orph_first | <= $0->orph_last |
| PARAM_COMPARE | 0 | c->orph_first | <= $2 |
| PARAM_COMPARE | 0 | c->orph_last | >= $2 |
| PARAM_COMPARE | 2 | $ | <= $0->orph_last |
| PARAM_COMPARE | 2 | $ | >= $0->orph_first |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->ihead_lnum | s32min-(-1),3-s32max |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 5605640450846150656 |
| PARAM_VALUE | 2 | $ | s32min-(-1),3-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 29 |
| CAPPED_DATA | 0 | c->ihead_lnum | 1 |
| CAPPED_DATA | 0 | c->lpt_first | 1 |
| CAPPED_DATA | 0 | c->orph_first | 1 |
| CAPPED_DATA | 2 | $ | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 28 |
| PARAM_COMPARE | 0 | c->ihead_lnum | == $2 |
| PARAM_COMPARE | 2 | $ | == $0->ihead_lnum |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->jheads | 4096-ptr_max |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 3197385862659469312 |
| PARAM_VALUE | 2 | $ | s32min-(-1),3-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 26 |
| CAPPED_DATA | 0 | c->lpt_first | 1 |
| CAPPED_DATA | 0 | c->orph_first | 1 |
| CAPPED_DATA | 2 | $ | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 25 |
| PARAM_COMPARE | 0 | c->ihead_lnum | != $2 |
| PARAM_COMPARE | 2 | $ | != $0->ihead_lnum |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->buds_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->jheads | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 3046594460644126720 |
| PARAM_VALUE | 2 | $ | s32min-(-1),3-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 26 |
| CAPPED_DATA | 0 | c->lpt_first | 1 |
| CAPPED_DATA | 0 | c->orph_first | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 25 |
| PARAM_COMPARE | 0 | c->ihead_lnum | != $2 |
| PARAM_COMPARE | 2 | $ | != $0->ihead_lnum |
| TERMINATED | 1 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cmt_state | 3-4 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->jheads | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 794545540434825216 |
| PARAM_VALUE | 2 | $ | s32min-(-1),3-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 37 |
| CAPPED_DATA | 0 | c->lpt_first | 1 |
| CAPPED_DATA | 0 | c->orph_first | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| FUZZY_MAX | 0 | c->cmt_state | 4 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 36 |
| PARAM_COMPARE | 0 | c->ihead_lnum | != $2 |
| PARAM_COMPARE | 2 | $ | != $0->ihead_lnum |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cmt_state | s32min-2,5-s32max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0 |
| PARAM_VALUE | 0 | c->jheads | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 7319060264951582720 |
| PARAM_VALUE | 2 | $ | s32min-(-1),3-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 41 |
| CAPPED_DATA | 0 | c->lpt_first | 1 |
| CAPPED_DATA | 0 | c->orph_first | 1 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 40 |
| PARAM_COMPARE | 0 | c->ihead_lnum | != $2 |
| PARAM_COMPARE | 2 | $ | != $0->ihead_lnum |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| NO_OVERFLOW_SIMPLE | 2 | $->free | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/debug.c power_cut_emulated() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->dbg | 4096-ptr_max |
| PARAM_VALUE | 0 | c->dbg->pc_cnt | 1-u32max |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 1 |
| PARAM_VALUE | 0 | c->jheads | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->ubi->mode | s32min-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 6191790520805478400 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->bottom_up_buf | (-1),256 |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 41 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 40 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/io.c next_sqnum() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cnt_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->empty_dir | 0,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->get_context | 0,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->set_context | 0,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 552815879311560704 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 50 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 49 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486720[c] |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/io.c ubifs_ro_mode() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->kobj.sd->attr.open->nr_mmapped | 0-4294967295 |
| PARAM_VALUE | 0 | c->no_chk_data_crc | 0 |
| PARAM_VALUE | 0 | c->ro_error | 1 |
| PARAM_VALUE | 0 | c->vfs_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->empty_dir | 0,661756434209751040,4392966320616476672,5234023279986843648,8614756098313990144 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->get_context | 0,17350455714160640,4513809449498124288,5149251875611672576,7067778626864828416 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1640,1720,1808,1816,2632,2640,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->set_context | 0,317457138841939968,3250154607523569664,5979066299606671360,6756104566897242112 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1293513186369728512,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | *c->mst_node->hash_root_idx | 0-255 |
| PARAM_VALUE | 0 | *c->zroot.hash | 0-255 |
| PARAM_VALUE | 1 | fmt | 8468203486857097216 |
| PARAM_VALUE | 2 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c->ileb_buf | (-1),15360-s32max |
| BUF_SIZE | 0 | c->ltab | (-1),12 |
| BUF_SIZE | 0 | c->ltab_cmt | (-1),12 |
| BUF_SIZE | 0 | c->orph_buf | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c->ubi | (-1),16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),80,2816 |
| BUF_SIZE | 0 | c->write_reserve_buf | (-1),4160 |
| BUF_SIZE | 1 | fmt | 37 |
| DATA_SOURCE | 0 | c | $0 |
| DATA_SOURCE | 2 | $ | $1 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| STR_LEN | 1 | fmt | 36 |
| BIT_INFO | 0 | c->vfs_sb->s_flags | 0x1,0xffffffffffffffff |
| NOSPEC | 2 | $ | |
| TERMINATED | 1 | fmt | 1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->ro_mount | 0 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 1-2147486721[c] |
| USER_DATA | 2 | $ | s32min-(-1),1-s32max |
| NO_OVERFLOW_SIMPLE | 0 | c->auth_hash_algo | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->jhead_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->leb_size | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_cnt | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_sz | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->orph_dnext->inum | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->level | |
| NO_OVERFLOW_SIMPLE | 0 | c->zroot.znode->parent->level | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &host_ui->ui_mutex | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | 0 | &c->commit_sem | |
| HALF_LOCKED2 | 0 | &c->log_mutex | |
| HALF_LOCKED2 | 0 | &c->lp_mutex | |
| HALF_LOCKED2 | 0 | &c->tnc_mutex | |
| HALF_LOCKED2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/dir.c ubifs_lookup() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->buds_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->key_hash | 4096-ptr_max |
| PARAM_VALUE | 0 | c->tnc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | c->tnc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->zroot.leaf | 1-u64max |
| PARAM_VALUE | 0 | c->zroot.znode | 1-u64max |
| PARAM_VALUE | 1 | fmt | 6028887292754386944 |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 1 | fmt | 44 |
| STR_LEN | 0 | c | 43 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | $ | 1-u32max |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &dir->i_rwsem |
fs/ubifs/dir.c ubifs_new_inode() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->cnt_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->highest_inum | 4293918720-4294967039 |
| PARAM_VALUE | 0 | c->vfs_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648,2704,2712 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_op | 4096-ptr_max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 6946515486317752320 |
| PARAM_VALUE | 2 | $ | 4293918720-4294967039 |
| PARAM_VALUE | 3 | $ | 4294967040 |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 1 | fmt | 51 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | (-1),1,9 |
| STR_LEN | 0 | c | (-1),1,9 |
| STR_LEN | 1 | fmt | 50 |
| TERMINATED | 1 | fmt | 1 |
| HARD_MAX | 0 | c->highest_inum | 4294967039 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| LOCK2 | 0 | &c->cnt_lock | |
| TYPE_LOCK | (struct ubifs_info)->cnt_lock |
fs/ubifs/file.c ubifs_do_bulk_read() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bulk_read | 1 |
| PARAM_VALUE | 0 | c->tnc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | c->tnc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,148606482432692224,436469935444291584,457356038048772096 |
| PARAM_VALUE | 0 | c->zroot.znode->child_cnt | 0-u16max |
| PARAM_VALUE | 0 | c->zroot.znode->level | 0-512 |
| PARAM_VALUE | 1 | fmt | 4508576133029711872 |
| PARAM_VALUE | 2 | $ | s32min-(-1),1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 1 | fmt | 41 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | 40 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | c | unit_byte |
| LOCK2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | &mapping->invalidate_lock | ||
| HALF_LOCKED2 | 0 | &c->bu_mutex | |
| TYPE_LOCK | (struct ubifs_inode)->ui_mutex |
fs/ubifs/file.c ubifs_vm_page_mkwrite() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->__state | 0,512 |
| PARAM_VALUE | 0 | c->bgt->blocked_on | 0 |
| PARAM_VALUE | 0 | c->bgt->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | c->bgt->core_node.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->core_node.rb_right | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->cpus_ptr | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->active_balance | s32min-s32max |
| PARAM_VALUE | 0 | c->bgt->dl.rq->clock_update_flags | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->core_enabled | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->core_forceidle_count | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->core_forceidle_occupation | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->core_forceidle_seq | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->core_pick_seq | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->core_sched_seq | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->core_task_seq | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->cpu | s32min-s32max |
| PARAM_VALUE | 0 | c->bgt->dl.rq->has_blocked_load | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->hrtick_sched | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->idle_balance | 0-255 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->membarrier_state | s32min-s32max |
| PARAM_VALUE | 0 | c->bgt->dl.rq->nohz_idle_balance | 0-255 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->nohz_tick_stopped | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->nr_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->nr_numa_running | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->nr_pinned | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->nr_pref_llc_running | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->nr_preferred_running | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->nr_running | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->numa_migrate_on | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->online | s32min-s32max |
| PARAM_VALUE | 0 | c->bgt->dl.rq->push_busy | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->push_cpu | s32min-s32max |
| PARAM_VALUE | 0 | c->bgt->dl.rq->sched_count | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->sched_goidle | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->ticks_without_resched | s32min-s32max |
| PARAM_VALUE | 0 | c->bgt->dl.rq->ttwu_count | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->ttwu_local | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->ttwu_pending | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->uclamp_flags | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->dl.rq->yld_count | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->is_blocked | 0 |
| PARAM_VALUE | 0 | c->bgt->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | c->bgt->mm->mm_cid.max_cids | 0-s32max |
| PARAM_VALUE | 0 | c->bgt->mm->mm_cid.pcpu_thrs | 1-1073741823 |
| PARAM_VALUE | 0 | c->bgt->mm->mm_cid.update_deferred | 1 |
| PARAM_VALUE | 0 | c->bgt->on_rq | 0-1,3-255 |
| PARAM_VALUE | 0 | c->bgt->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | c->bgt->pushable_dl_tasks.rb_left | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | c->bgt->saved_state | 0 |
| PARAM_VALUE | 0 | c->bgt->sched_migrated | 1 |
| PARAM_VALUE | 0 | c->bgt->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->propagate | 1 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->removed.lock.owner | (-1) |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->removed.lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->curr->mm->sc_stat.cpu | (-1) |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->curr->pref_llc_queued | 0-1 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->__state | 0,512 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->core_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->dl.dl_timer.base->clockid | 0-1,7,11 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->dl.dl_timer.base->cpu_base->softirq_expires_next | 0-s64max |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->dl.dl_timer.base->index | 0-7 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->dl.inactive_timer.base->clockid | 0-1,7,11 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->dl.inactive_timer.base->index | 0-7 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->dl.rb_node.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->mm->mm_cid.irq_work.node.a_flags.counter | 0-s32max |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->pushable_dl_tasks.__rb_parent_color | 1 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->rseq.event.ids_changed | 1 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->sched_migrated | 1 |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->se.run_node.__rb_parent_color->__rb_parent_color | 4096-s64max |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->se.run_node.rb_left->__rb_parent_color | 4096-s64max |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->donor->se.run_node.rb_right->__rb_parent_color | 4096-s64max |
| PARAM_VALUE | 0 | c->bgt->se.cfs_rq->rq->fair_server.dl_timer.base->cpu_base->expires_next | 0-s64max |
| PARAM_VALUE | 0 | c->bgt->se.group_node.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->se.group_node.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->se.group_node.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->se.group_node.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->wake_cpu | 0-s32max |
| PARAM_VALUE | 0 | c->commit_sem.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->cs_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->dbg->pc_cnt_max | 0 |
| PARAM_VALUE | 0 | c->dbg->pc_delay | 0-2 |
| PARAM_VALUE | 0 | c->dbg->pc_happened | 0-1 |
| PARAM_VALUE | 0 | c->log_hash->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | c->log_hash->__ctx->xxhstate.memsize | 0-4294967295 |
| PARAM_VALUE | 0 | c->lp_mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | c->lp_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->blocked_on | (-1)-0 |
| PARAM_VALUE | 0 | c->lp_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | c->space_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->list.next | 2212933610777083904 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | *c->mst_node->hash_root_idx | 0-255 |
| PARAM_VALUE | 0 | *c->sbuf | 0-255 |
| PARAM_VALUE | 0 | *c->zroot.hash | 0-255 |
| PARAM_VALUE | 1 | fmt | 3384266750067953664 |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 1 | fmt | 50 |
| STR_LEN | 0 | c | 49 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->ihead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ihead_offs | |
| UNITS | 0 | c | unit_byte |
fs/ubifs/journal.c make_reservation() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bgt->delays->blkio_count | 0-4294967295 |
| PARAM_VALUE | 0 | c->bgt->sched_task_group->idle | s32min-s32max |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->handoff_set | 1 |
| PARAM_VALUE | 0 | c->commit_sem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | c->commit_sem.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->commit_sem.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | c->commit_sem.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792,2776440803454029824,3228746867770966016,3502492669594062848,3526768263295340544,3559173554394271744,5000850239487131648,5583386343686406144,5817357685191483392-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864,868497899885588480,1471448175530500096,2021658383390310400,2445877819203563520,2512819722689847296,2649270699546726400,2761259683714371584,2893332316235677696-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->fh_to_parent | 0,4672,5297,148606482432692224,436469935444291584,457356038048772096,467281172929331200,529780027764285440,1092893949038768128,1556959531105513472,1608953577475584000,1649536479961075712,2404761408063094784,2970908329832960000-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896,893189740598853632,1241177127089143808,1474696885321834496,1812477326828269568,1893665921928286208,2210088671756947456,2437012291923775488,2483979068402987008-s64max |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | fmt | 1017835381821038592 |
| PARAM_VALUE | 2 | $ | 33-128 |
| PARAM_VALUE | 3 | $ | 0-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | fmt | 83 |
| CAPPED_DATA | 0 | &c->commit_sem | 1 |
| DATA_SOURCE | 0 | c | $0 |
| FUZZY_MAX | 3 | $ | 0 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 0 | c | (-1)-1,9,23-24 |
| STR_LEN | 1 | fmt | 82 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | c->bgt->dl.pi_se->dl_runtime | |
| NO_OVERFLOW_SIMPLE | 0 | c->ileb_len | |
| NO_OVERFLOW_SIMPLE | 0 | c->lhead_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->min_log_bytes | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lpt_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->lsave_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->mst_node->ltab_offs | |
| NO_OVERFLOW_SIMPLE | 0 | c->ohead_offs | |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &host_ui->ui_mutex | ||
| HALF_LOCKED2 | &ui->ui_mutex | ||
| HALF_LOCKED2 | 0 | &c->write_reserve_mutex |
fs/ubifs/super.c bu_init() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->bu.buf | 0 |
| PARAM_VALUE | 0 | c->bulk_read | 1 |
| PARAM_VALUE | 0 | c->max_bu_buf_len | 1-131072 |
| PARAM_VALUE | 0 | c->vfs_sb->s_cop->inode_info_offs | 1632,1720,1808,2632,2648 |
| PARAM_VALUE | 1 | fmt | 3353465697946521600 |
| PARAM_VALUE | 2 | $ | 1-131072 |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c->bu.buf | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 1 | fmt | 63 |
| DATA_SOURCE | 0 | c | $0 |
| FUZZY_MAX | 0 | c->max_bu_buf_len | 131072 |
| FUZZY_MAX | 2 | $ | 131072 |
| STR_LEN | 0 | c | 62 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 0 | c | unit_byte |
| UNITS | 2 | $ | unit_byte |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount |
fs/ubifs/super.c init_constants_early() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->max_inode_sz | 0,2199023255552,s64max |
| PARAM_VALUE | 0 | c->ubi | 4096-ptr_max |
| PARAM_VALUE | 0 | c->ubi->mode | 2 |
| PARAM_VALUE | 0 | c->ubi->vol->exclusive | 0-1 |
| PARAM_VALUE | 0 | c->ubi->vol->metaonly | 0-1 |
| PARAM_VALUE | 0 | c->umount_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->umount_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->umount_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->umount_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | c->umount_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | c->umount_mutex.wait_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->umount_mutex.wait_lock.owner | (-1) |
| PARAM_VALUE | 0 | c->umount_mutex.wait_lock.owner_cpu | u32max |
| PARAM_VALUE | 0 | c->vfs_sb | 4096-ptr_max |
| PARAM_VALUE | 0 | c->vfs_sb->s_active.counter | 0-s32max |
| PARAM_VALUE | 0 | c->vfs_sb->s_fs_info | 4096-ptr_max |
| PARAM_VALUE | 0 | c->vfs_sb->s_root | 0 |
| PARAM_VALUE | 0 | c->vfs_sb->s_umount.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | c->vi.corrupted | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | c->vi.ubi_num | 0-31 |
| PARAM_VALUE | 0 | c->vi.vol_id | 0-2147483646 |
| PARAM_VALUE | 1 | fmt | 1430421208732131328 |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c | 1-s32max |
| BUF_SIZE | 0 | c->ubi | 16 |
| BUF_SIZE | 0 | c->vfs_sb | (-1),2880 |
| BUF_SIZE | 1 | fmt | 41 |
| CAPPED_DATA | 0 | c->vi.vol_id | 1 |
| DATA_SOURCE | 0 | c | $0 |
| FUZZY_MAX | 0 | c->max_inode_sz | s64max |
| STR_LEN | 0 | c | 40 |
| STR_LEN | 0 | c->vfs_sb | (-1),8 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | c->probing | 0-1 |
| USER_DATA | 0 | c->ro_mount | 0-1 |
| USER_DATA | 0 | c->vfs_sb->s_flags | 0-2147486719[c] |
| UNITS | 0 | c | unit_byte |
| LOCK2 | 0 | &c->umount_mutex | |
| HALF_LOCKED2 | &fc->uapi_mutex | ||
| HALF_LOCKED2 | &sb->s_umount | ||
| TYPE_LOCK | (struct ubifs_info)->umount_mutex |
fs/ubifs/super.c validate_inode() -> ubifs_warn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | c | 4096-ptr_max |
| PARAM_VALUE | 0 | c->buds_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->no_chk_data_crc | 0 |
| PARAM_VALUE | 0 | c->ro_error | 1 |
| PARAM_VALUE | 0 | c->tnc_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter | 0,4096-ptr_max |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | c->tnc_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | c->tnc_mutex.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 0 | c->zroot.leaf | 1-u64max |
| PARAM_VALUE | 0 | c->zroot.znode | 1-u64max |
| PARAM_VALUE | 1 | fmt | 8084413256586903552 |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 0 | c | (-1),1-s32max |
| BUF_SIZE | 1 | fmt | 61 |
| DATA_SOURCE | 0 | c | $0 |
| STR_LEN | 0 | c | 60 |
| TERMINATED | 1 | fmt | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 2 | $ | 1-u32max |
| UNITS | 0 | c | unit_byte |
| HALF_LOCKED2 | &c->umount_mutex |