Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/ext4/inode.c ext4_file_getattr() -> ext4_getattr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_op | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_op->getattr | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 2 | stat | 4096-ptr_max |
| PARAM_VALUE | 2 | stat->attributes | 0,4096,2097152,2101248 |
| PARAM_VALUE | 2 | stat->attributes_mask | 2101248 |
| PARAM_VALUE | 2 | stat->result_mask | 2015,2047 |
| PARAM_VALUE | 4 | query_flags | 0,8192-24576 |
| DATA_SOURCE | 0 | idmap | $0 |
| DATA_SOURCE | 1 | path | $1 |
| DATA_SOURCE | 2 | stat | $2 |
| DATA_SOURCE | 3 | request_mask | $3 |
| DATA_SOURCE | 4 | query_flags | $4 |
| FUZZY_MAX | 2 | stat->attributes | 0 |
| BIT_INFO | 2 | stat->attributes | 0x0,0x201000 |
| BIT_INFO | 2 | stat->result_mask | 0x7df,0x7ff |
| BIT_INFO | 4 | query_flags | 0x0,0x6000 |
| MEM_ZERO | 2 | stat | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | request_mask | 0-1073741822[c] |
| USER_DATA | 4 | query_flags | 0,8192-24576[c] |
| NO_OVERFLOW_SIMPLE | 2 | stat->ino | |
| NO_OVERFLOW_SIMPLE | 2 | stat->size | |
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &lo->lo_mutex |
fs/ext4/symlink.c ext4_encrypted_symlink_getattr() -> ext4_getattr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_op | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_op->getattr | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 2 | stat | 4096-ptr_max |
| PARAM_VALUE | 2 | stat->attributes | 0,4096,2097152,2101248 |
| PARAM_VALUE | 2 | stat->attributes_mask | 2101248 |
| PARAM_VALUE | 2 | stat->result_mask | 2015,2047 |
| PARAM_VALUE | 4 | query_flags | 0,8192-24576 |
| DATA_SOURCE | 0 | idmap | $0 |
| DATA_SOURCE | 1 | path | $1 |
| DATA_SOURCE | 2 | stat | $2 |
| DATA_SOURCE | 3 | request_mask | $3 |
| DATA_SOURCE | 4 | query_flags | $4 |
| FUZZY_MAX | 2 | stat->attributes | 0 |
| BIT_INFO | 2 | stat->attributes | 0x0,0x201000 |
| BIT_INFO | 2 | stat->result_mask | 0x7df,0x7ff |
| BIT_INFO | 4 | query_flags | 0x0,0x6000 |
| MEM_ZERO | 2 | stat | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 3 | request_mask | 0-1073741822[c] |
| USER_DATA | 4 | query_flags | 0,8192-24576[c] |
| NO_OVERFLOW_SIMPLE | 2 | stat->ino | |
| NO_OVERFLOW_SIMPLE | 2 | stat->size | |
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &lo->lo_mutex |
fs/stat.c vfs_getattr_nosec() -> (struct inode_operations)->getattr()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | path | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_op | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_op->getattr | 4096-ptr_max |
| PARAM_VALUE | 1 | path->dentry->d_inode->i_sb | 4096-ptr_max |
| PARAM_VALUE | 1 | path->mnt | 4096-ptr_max |
| PARAM_VALUE | 2 | stat | 4096-ptr_max |
| PARAM_VALUE | 2 | stat->attributes | 0,4096,2097152,2101248 |
| PARAM_VALUE | 2 | stat->attributes_mask | 2101248 |
| PARAM_VALUE | 2 | stat->result_mask | 2015,2047 |
| PARAM_VALUE | 4 | query_flags | 0,8192-24576 |
| BUF_SIZE | 2 | stat | (-1),192 |
| BUF_SIZE | 2 | stat | (-1),192 |
| DATA_SOURCE | 1 | path | $0 |
| DATA_SOURCE | 2 | stat | $1 |
| DATA_SOURCE | 3 | request_mask | $2 |
| DATA_SOURCE | 4 | query_flags | $3 [m] |
| FUZZY_MAX | 2 | stat->attributes | 0 |
| BIT_INFO | 2 | stat->attributes | 0x0,0x201000 |
| BIT_INFO | 2 | stat->result_mask | 0x7df,0x7ff |
| BIT_INFO | 4 | query_flags | 0x0,0x6000 |
| MEM_ZERO | 2 | stat | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | request_mask | 0-1073741822[c] |
| USER_DATA | 4 | query_flags | 0,8192-24576[c] |
| NO_OVERFLOW_SIMPLE | 2 | stat->ino | |
| NO_OVERFLOW_SIMPLE | 2 | stat->size | |
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &lo->lo_mutex |