Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/ext4/dir.c __ext4_check_dir_entry() -> __ext4_error_file()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 33554432-u32max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 1 | function | 1548020299765624832,2481956511015718912,7746257508181807104 |
| PARAM_VALUE | 2 | line | 278,1339,1511 |
| PARAM_VALUE | 4 | fmt | 5439562664193421312 |
| PARAM_VALUE | 5 | $ | 1581940989392592896,2980805048308563968,3102413131449536512,3623125191099138048,8045244216303992832,8873610018316279808,8916438894427475968 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 1 | function | 13,21,23 |
| BUF_SIZE | 1 | function | 13,21,23 |
| BUF_SIZE | 4 | fmt | 78 |
| BUF_SIZE | 5 | $ | 17,20,24,32,34,39,47 |
| BUF_SIZE | 5 | $ | 17,20,24,32,34,39,47 |
| CAPPED_DATA | 6 | $ | 1 |
| CAPPED_DATA | 8 | $ | 1 |
| DATA_SOURCE | 0 | file | $3 |
| DATA_SOURCE | 1 | function | $0 |
| DATA_SOURCE | 2 | line | $1 |
| DATA_SOURCE | 6 | $ | $8 |
| DATA_SOURCE | 9 | $ | $7 |
| DATA_SOURCE | 10 | $ | r is_fake_dir_entry |
| STR_LEN | 0 | file | 77 |
| STR_LEN | 1 | function | 16,19,23,31,33,38,46 |
| STR_LEN | 5 | $ | 16,19,23,31,33,38,46 |
| BIT_INFO | 5 | $ | 0x4000000000000,0x7ffffffffffff000 |
| BIT_INFO | 5 | $ | 0x4000000000000,0x7ffffffffffff000 |
| TERMINATED | 4 | fmt | 1 |
| TERMINATED | 5 | $ | 1 |
| HARD_MAX | 2 | line | 1511 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->f_ra.prev_pos | s64min-(-4096),0,4096-s64max[c] |
| UNITS | 3 | block | unit_byte |
| UNITS | 6 | $ | unit_byte |
| UNITS | 7 | $ | unit_byte |
| UNITS | 8 | $ | unit_byte |
| UNITS | 9 | $ | unit_byte |
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/dir.c ext4_readdir() -> __ext4_error_file()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 33554432-u32max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_ra.prev_pos | s64min-(-4096),0,4096-s64max |
| PARAM_VALUE | 1 | function | 2481956511015718912 |
| PARAM_VALUE | 2 | line | 224 |
| PARAM_VALUE | 3 | block | 0 |
| PARAM_VALUE | 4 | fmt | 4624830115650973696 |
| PARAM_VALUE | 5 | $ | 0-9223372036854775806,9223372036854775808-u64max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 1 | function | 13 |
| BUF_SIZE | 4 | fmt | 40 |
| CAPPED_DATA | 0 | file->f_ra.prev_pos | 1 |
| CAPPED_DATA | 0 | file->f_ra.start | 1 |
| CAPPED_DATA | 5 | $ | 1 |
| CAPPED_DATA | 5 | $ | 1 |
| DATA_SOURCE | 0 | file | $0 |
| STR_LEN | 0 | file | 39 |
| BIT_INFO | 0 | file->f_ra.prev_pos | 0x0,0xfffffffffffff000 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->f_ra.prev_pos | s64min-(-4096),0,4096-s64max[c] |
| UNITS | 5 | $ | unit_byte |
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
fs/ext4/dir.c ext4_readdir() -> __ext4_error_file()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 33554432-u32max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_ra.prev_pos | s64min-(-4096),0,4096-s64max |
| PARAM_VALUE | 1 | function | 2481956511015718912 |
| PARAM_VALUE | 2 | line | 267 |
| PARAM_VALUE | 4 | fmt | 2124598507557752832 |
| PARAM_VALUE | 5 | $ | 8916438894427475968 |
| PARAM_VALUE | 6 | $ | 1-u32max |
| PARAM_VALUE | 7 | $ | 1-u64max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 1 | function | 13 |
| BUF_SIZE | 4 | fmt | 49 |
| BUF_SIZE | 5 | $ | 39 |
| CAPPED_DATA | 0 | file->f_ra.prev_pos | 1 |
| CAPPED_DATA | 0 | file->f_ra.start | 1 |
| CAPPED_DATA | 6 | $ | 1 |
| DATA_SOURCE | 0 | file | $0 |
| STR_LEN | 0 | file | 48 |
| STR_LEN | 1 | function | 38 |
| PARAM_COMPARE | 6 | $ | < $7 |
| PARAM_COMPARE | 7 | $ | > $6 |
| BIT_INFO | 0 | file->f_ra.prev_pos | 0x0,0xfffffffffffff000 |
| TERMINATED | 5 | $ | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->f_ra.prev_pos | s64min-(-4096),0,4096-s64max[c] |
| UNITS | 3 | block | unit_byte |
| UNITS | 6 | $ | unit_byte |
| UNITS | 7 | $ | unit_byte |
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| HALF_LOCKED2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &pool->lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |