Defined in 1 files as a function:

Referenced in 33 files:

Smatch caller information:

fs/coredump.c coredump_file() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file (-1)-s32max
BUF_SIZE 0 file (-1)-s32max
DATA_SOURCE 0 file r filp_open
RX_PATH
TASK_NOT_RUNNING

fs/xattr.c file_getxattr() -> file_mnt_idmap()

Type Parameter Key Value
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING

fs/xattr.c file_removexattr() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/xattr.c file_setxattr() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING

mm/madvise.c file_owner_or_capable() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 1-u64max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING

mm/madvise.c file_permission() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING

drivers/block/zloop.c zloop_forget_cache() -> file_mnt_idmap()

Type Parameter Key Value

drivers/block/zloop.c zloop_record_safe_wps() -> file_mnt_idmap()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

fs/crypto/policy.c fscrypt_ioctl_set_policy() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

security/apparmor/file.c __file_path_perm() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &files->file_lock
HALF_LOCKED2 &tty->files_lock

security/integrity/ima/ima_main.c ima_file_mprotect() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max

security/integrity/ima/ima_main.c ima_file_mprotect() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.mnt 4096-ptr_max

security/integrity/ima/ima_main.c ima_kexec_cmdline() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max

security/integrity/ima/ima_main.c process_measurement() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/smb/server/smb_common.c ksmbd_populate_dot_dotdot_entries() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.mnt 4096-ptr_max
LOCK2 &dir->readdir_lock
LOCK2 &pool->lock
TYPE_LOCK (struct ksmbd_file)->readdir_lock

fs/file_attr.c ioctl_fssetxattr() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/file_attr.c ioctl_setflags() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/inode.c file_remove_privs_flags() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file s32min,(-1),1-s32max
BUF_SIZE 0 file s32min,(-1),1-s32max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_flags 0-u32max
USER_DATA 0 file->f_mode 33554432-u32max
USER_DATA 0 file->f_path.dentry->d_inode->i_mode 0-u16max
USER_DATA 0 file->f_path.dentry->d_inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size
HALF_LOCKED2 &inode->i_rwsem

fs/inode.c file_remove_privs_flags() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.mnt 4096-ptr_max
BUF_SIZE 0 file s32min,(-1),1-s32max
BUF_SIZE 0 file s32min,(-1),1-s32max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_flags 0-u32max
USER_DATA 0 file->f_mode 33554432-u32max
USER_DATA 0 file->f_path.dentry->d_inode->i_mode 0-u16max
USER_DATA 0 file->f_path.dentry->d_inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.dentry->moved->d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size
HALF_LOCKED2 &inode->i_rwsem

fs/fuse/dir.c fuse_atomic_open() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $2
HALF_LOCKED2 &dir_inode->i_rwsem
HALF_LOCKED2 &entry->d_lockref.lock

fs/remap_range.c may_dedupe_file() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file s32min,(-1),1-s32max
BUF_SIZE 0 file s32min,(-1),1-s32max
CAPPED_DATA 0 file 1
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &inode_out->i_rwsem

fs/verity/enable.c file_permission() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

mm/filemap.c file_owner_or_capable() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
BIT_INFO 0 file->f_mode 0x0,0xfffffffd

mm/filemap.c file_permission() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
BIT_INFO 0 file->f_mode 0x0,0xfffffffd

fs/ceph/ioctl.c ceph_ioctl_set_layout() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_inode->i_sb 4096-ptr_max
DATA_SOURCE 0 file $0

fs/ceph/ioctl.c ceph_ioctl_set_layout_policy() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_inode->i_sb 4096-ptr_max
DATA_SOURCE 0 file $0

fs/fat/file.c fat_ioctl_set_attributes() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/fat/file.c fat_ioctl_set_attributes() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.mnt 4096-ptr_max
DATA_SOURCE 0 file $0
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/smb/server/vfs_cache.c __ksmbd_inode_close() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_pos s64min-s64max[c][u]

security/apparmor/domain.c apparmor_bprm_creds_for_exec() -> file_mnt_idmap()

Type Parameter Key Value

security/commoncap.c get_file_caps() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.mnt 4096-ptr_max
CAPPED_DATA 0 file->f_path.mnt->mnt_sb->s_user_ns 1
DATA_SOURCE 0 file $1

fs/udf/file.c file_permission() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

mm/mincore.c file_owner_or_capable() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 1-u64max
DATA_SOURCE 0 file $0

mm/mincore.c file_permission() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/exfat/file.c exfat_ioctl_set_attributes() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/exfat/file.c exfat_ioctl_set_attributes() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.mnt 4096-ptr_max
DATA_SOURCE 0 file $0
LOCK2 &inode->i_rwsem
TYPE_LOCK (struct inode)->i_rwsem

fs/smb/server/smb2pdu.c find_file_posix_info() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
LOCK2 &pool->lock

fs/smb/server/smb2pdu.c fsctl_set_sparse() -> file_mnt_idmap()

Type Parameter Key Value
LOCK2 &pool->lock

fs/smb/server/smb2pdu.c process_query_dir_entries() -> file_mnt_idmap()

Type Parameter Key Value
LOCK2 &dir_fp->readdir_lock
LOCK2 &pool->lock
TYPE_LOCK (struct ksmbd_file)->readdir_lock

fs/smb/server/smb2pdu.c set_file_basic_info() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
LOCK2 &pool->lock

fs/smb/server/smb2pdu.c smb2_get_ea() -> file_mnt_idmap()

Type Parameter Key Value
LOCK2 &pool->lock

fs/smb/server/smb2pdu.c smb2_get_info_sec() -> file_mnt_idmap()

Type Parameter Key Value
LOCK2 &pool->lock

fs/smb/server/smb2pdu.c smb2_query_dir() -> file_mnt_idmap()

Type Parameter Key Value
HALF_LOCKED2 &pool->lock

fs/smb/server/smb2pdu.c smb2_rename() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
LOCK2 &pool->lock

fs/smb/server/vfs.c ksmbd_vfs_set_compression() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
LOCK2 &pool->lock

fs/smb/server/vfs.c ksmbd_vfs_stream_read() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
LOCK2 &pool->lock

fs/smb/server/vfs.c ksmbd_vfs_stream_write() -> file_mnt_idmap()

Type Parameter Key Value
LOCK2 &pool->lock

fs/smb/server/vfs.c ksmbd_vfs_unlink() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_pos s64min-s64max[c][u]

fs/locks.c vfs_setlease() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/btrfs/ioctl.c __btrfs_ioctl_snap_create() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/btrfs/ioctl.c btrfs_ioctl_ino_lookup_user() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/btrfs/ioctl.c btrfs_ioctl_set_received_subvol() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/btrfs/ioctl.c btrfs_ioctl_set_received_subvol_32() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/btrfs/ioctl.c btrfs_ioctl_snap_destroy() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/btrfs/ioctl.c btrfs_ioctl_subvol_setflags() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

kernel/sys.c file_permission() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
DATA_SOURCE 0 file $0

fs/f2fs/file.c f2fs_ioc_abort_atomic_write() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/f2fs/file.c f2fs_ioc_commit_atomic_write() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/f2fs/file.c f2fs_ioc_start_atomic_write() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/ext4/ioctl.c __ext4_ioctl() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/xfs/xfs_file.c xfs_falloc_setsize() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
BUF_SIZE 0 file (-1),1-s32max
BUF_SIZE 0 file (-1),1-s32max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_flags 0-u32max
USER_DATA 0 file->f_mode 33554432-u32max
USER_DATA 0 file->f_path.dentry->d_inode->i_mode 0-u16max
USER_DATA 0 file->f_path.dentry->d_inode->i_size (-9223372036854775807)-(-4),0-s64max
NO_OVERFLOW_SIMPLE 0 file->f_path.d_inode->i_size
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size
HALF_LOCKED2 &pool->lock

fs/smb/server/oplock.c create_posix_rsp_buf() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max

fs/xfs/xfs_ioctl.c xfs_ioc_bulkstat() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/xfs/xfs_ioctl.c xfs_ioc_fsbulkstat() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/xfs/xfs_ioctl32.c xfs_compat_ioc_fsbulkstat() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/open.c do_ftruncate() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
CAPPED_DATA 0 file->f_path.dentry 1
DATA_SOURCE 0 file $0
BIT_INFO 0 file->f_mode 0x2,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING

fs/open.c file_permission() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
DATA_SOURCE 0 file $0

security/apparmor/lsm.c apparmor_file_open() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
BIT_INFO 0 file->f_flags 0x0,0xffffffdf

mm/memcontrol-v1.c file_permission() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 0,4-u64max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex

fs/exec.c bprm_fill_uid() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
PARAM_VALUE 0 file->f_path.mnt 4096-ptr_max
CAPPED_DATA 0 file->f_path.mnt->mnt_sb->s_user_ns 1
DATA_SOURCE 0 file $1

fs/exec.c would_dump() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
NO_OVERFLOW_SIMPLE 0 file->f_path.moved->d_inode->i_size

fs/ceph/file.c ceph_atomic_open() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $2
HALF_LOCKED2 &dentry->d_lockref.lock
HALF_LOCKED2 &dir_inode->i_rwsem

fs/fcntl.c fcntl_set_rw_hint() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0

fs/fcntl.c setfl() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $1
BIT_INFO 0 file->f_flags 0x0,0xfffbffff

fs/fuse/file.c fuse_cache_write_iter() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &pool->lock

fs/fuse/file.c fuse_do_truncate() -> file_mnt_idmap()

Type Parameter Key Value
PARAM_VALUE 0 file 4096-ptr_max
DATA_SOURCE 0 file $0
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 file->f_ra.prev_pos s64min-(-9223372036854743042),0-s64max[c]
HALF_LOCKED2 &inode->i_rwsem
HALF_LOCKED2 &iocb->ki_filp->f_inode->i_rwsem
HALF_LOCKED2 &pool->lock