Defined in 1 files as a function:
Referenced in 6 files:
- drivers/tty/pty.c, line 778
- fs/file_table.c
- fs/notify/fsnotify.c
- fs/open.c
- fs/pipe.c
- net/socket.c, line 573
Smatch caller information:
fs/file_table.c alloc_file_pseudo() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 67633152-604897287 |
| PARAM_VALUE | 1 | mode | 33554432 |
| CAPPED_DATA | 0 | file->f_cred | 1 |
| DATA_SOURCE | 0 | file | r alloc_file |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->f_flags | 0-18433,32770 |
| USER_DATA | 0 | file->f_mode | 67633152-604897287 |
| HALF_LOCKED2 | &ctx->ring_lock |
fs/file_table.c alloc_file_pseudo_noaccount() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 67633152-604897287 |
| PARAM_VALUE | 1 | mode | 33554432 |
| CAPPED_DATA | 0 | file->f_cred | 1 |
| BIT_INFO | 0 | file->f_flags | 0x8000,0x8fff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &buffer->mutex | ||
| HALF_LOCKED2 | &frag->frag_sem | ||
| HALF_LOCKED2 | &md->table_devices_lock | ||
| HALF_LOCKED2 | &of->mutex | ||
| HALF_LOCKED2 | global &device_hotplug_lock | ||
| HALF_LOCKED2 | global &jfs_log_mutex | ||
| HALF_LOCKED2 | global &system_transition_mutex | ||
| HALF_LOCKED2 | global &xenwatch_mutex |
fs/file_table.c init_file() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 0-3 |
| PARAM_VALUE | 1 | mode | 67108864 |
| DATA_SOURCE | 0 | file | $0 |
| BIT_INFO | 0 | file->f_flags | 0x0,0x7fffffff |
| MEM_ZERO | 0 | &file->__f_path | |
| MEM_ZERO | 0 | &file->f_ra | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->f_flags | 0-u32max |
| USER_DATA | 0 | file->f_mode | 0-3[c] |
fs/pipe.c create_pipe_files() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 67108864 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
fs/pipe.c create_pipe_files() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 67108864 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
drivers/tty/pty.c ptmx_open() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 33554432 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 0 | file->private_data | (-1),232 |
| DATA_SOURCE | 0 | file | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | file->f_flags | 0-u32max |
| USER_DATA | 0 | file->f_mode | 0-u32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.moved->d_inode->i_size | |
| USER_PTR | 0 | file->__f_path.dentry->__d_name.name |
net/socket.c sock_alloc_file() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 0,2097152-u32max |
| PARAM_VALUE | 1 | mode | 67108864 |
| BUF_SIZE | 0 | file->private_data | (-1),192 |
| CAPPED_DATA | 0 | file->f_cred | 1 |
| DATA_SOURCE | 0 | file | r alloc_file_pseudo |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| HALF_LOCKED2 | sk |
fs/notify/fsnotify.c fsnotify_open_perm_and_set_mode() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 67108864 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 0 | file->private_data | (-1),232 |
| DATA_SOURCE | 0 | file | $0 |
| BIT_INFO | 0 | file->f_flags | 0x0,0xffdfffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | file->f_flags | 0-u32max |
| USER_DATA | 0 | file->f_mode | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.moved->d_inode->i_size | |
| USER_PTR | 0 | file->__f_path.dentry->__d_name.name |
fs/notify/fsnotify.c fsnotify_open_perm_and_set_mode() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 0 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 0 | file->private_data | (-1),232 |
| DATA_SOURCE | 0 | file | $0 |
| BIT_INFO | 0 | file->f_flags | 0x0,0xffdfffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | file->f_flags | 0-u32max |
| USER_DATA | 0 | file->f_mode | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.moved->d_inode->i_size | |
| USER_PTR | 0 | file->__f_path.dentry->__d_name.name | |
| HALF_LOCKED2 | &parent->d_lockref.lock |
fs/notify/fsnotify.c fsnotify_open_perm_and_set_mode() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 100663296 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 0 | file->private_data | (-1),232 |
| DATA_SOURCE | 0 | file | $0 |
| BIT_INFO | 0 | file->f_flags | 0x0,0xffdfffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | file->f_flags | 0-u32max |
| USER_DATA | 0 | file->f_mode | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.moved->d_inode->i_size | |
| USER_PTR | 0 | file->__f_path.dentry->__d_name.name | |
| HALF_LOCKED2 | &parent->d_lockref.lock |
fs/notify/fsnotify.c fsnotify_open_perm_and_set_mode() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | mode | 67108864 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file->__f_path.dentry | (-1),1-s32max |
| BUF_SIZE | 0 | file->private_data | (-1),232 |
| DATA_SOURCE | 0 | file | $0 |
| BIT_INFO | 0 | file->f_flags | 0x0,0xffdfffff |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | file->f_flags | 0-u32max |
| USER_DATA | 0 | file->f_mode | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.moved->d_inode->i_size | |
| USER_PTR | 0 | file->__f_path.dentry->__d_name.name | |
| HALF_LOCKED2 | &parent->d_lockref.lock |
fs/open.c dentry_open_nonotify() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 67108864-67108867 |
| PARAM_VALUE | 1 | mode | 33554432 |
| CAPPED_DATA | 0 | file->f_cred | 1 |
| DATA_SOURCE | 0 | file | r alloc_empty_file |
| NOCHECK_CALL |
fs/open.c do_dentry_open() -> file_set_fsnotify_mode()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 540672 |
| PARAM_VALUE | 1 | mode | 33554432 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file->__f_path.dentry | (-1)-s32max |
| BUF_SIZE | 0 | file->private_data | (-1),232 |
| DATA_SOURCE | 0 | file | $0 |
| BIT_INFO | 0 | file->f_flags | 0x200000,0xffffffff |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 0 | file->__f_path.dentry->__d_name.hash | 0-u32max[c] |
| USER_DATA | 0 | file->f_flags | 0-u32max |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_blkbits | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.moved->d_inode->i_size | |
| USER_PTR | 0 | file->__f_path.dentry->__d_name.name |