Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 20 files:
- arch/mips/kernel/elf.c, line 120
- arch/um/drivers/mconsole_kern.c, line 158
- drivers/crypto/ccp/sev-dev.c, line 304
- drivers/mtd/nand/raw/nandsim.c, line 1351
- drivers/usb/gadget/function/f_mass_storage.c
- fs/binfmt_elf.c
- fs/binfmt_elf_fdpic.c
- fs/binfmt_flat.c
- fs/coda/dir.c, line 380
- fs/ecryptfs/read_write.c, line 226
- fs/exec.c, line 1698
- fs/kernel_read_file.c, line 93
- fs/pstore/blk.c, line 190
- fs/read_write.c, line 552
- fs/smb/server/vfs.c, line 373
- init/do_mounts_rd.c
- init/initramfs_test.c
- mm/nommu.c, line 981
- net/9p/trans_fd.c, line 232
- security/keys/big_key.c, line 253
Smatch caller information:
init/do_mounts_rd.c compr_fill() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | pos | 5606345231387398144 |
| DATA_SOURCE | 1 | buf | $0 |
| DATA_SOURCE | 2 | count | $1 |
init/do_mounts_rd.c identify_ramdisk_image() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 0-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 512 |
| PARAM_VALUE | 3 | *pos | s32min-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 1 | buf | 512 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | r _kmalloc_noprof |
| NOCHECK_CALL |
init/do_mounts_rd.c identify_ramdisk_image() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 0-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 512 |
| PARAM_VALUE | 3 | *pos | s32min-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 1 | buf | 512 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | r _kmalloc_noprof |
| NOCHECK_CALL |
init/do_mounts_rd.c identify_ramdisk_image() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 0-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 512 |
| PARAM_VALUE | 3 | *pos | s32min-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 1 | buf | 512 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | r _kmalloc_noprof |
| NOCHECK_CALL |
init/do_mounts_rd.c rd_load_image() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 0-ptr_max |
| PARAM_VALUE | 0 | file->f_path->dentry->d_parent->d_alias.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | file->f_path->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_inode->i_fsnotify_marks | 0 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->lease_gen | 0 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1024 |
| PARAM_VALUE | 3 | pos | 5606345231387398144 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 1 | buf | 1024 |
| DATA_SOURCE | 0 | file | r filp_open |
| DATA_SOURCE | 1 | buf | r _kmalloc_noprof |
| NOCHECK_CALL |
drivers/usb/gadget/function/f_mass_storage.c do_read() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | count | 1-u32max |
| PARAM_VALUE | 3 | pos | 4712941470920339456 |
| BUF_SIZE | 1 | buf | 16384 |
| CAPPED_DATA | 2 | count | 1 |
| BIT_INFO | 2 | count | 0x0,0x7fff |
| UNITS | 2 | count | unit_byte |
| LOCK2 | &common->filesem | ||
| TYPE_LOCK | (struct fsg_common)->filesem |
drivers/usb/gadget/function/f_mass_storage.c do_verify() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_inode | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-u32max |
| PARAM_VALUE | 3 | pos | 6811626040667385856 |
| BUF_SIZE | 1 | buf | 16384 |
| CAPPED_DATA | 2 | count | 1 |
| BIT_INFO | 2 | count | 0x0,0x7fff |
| LOCK2 | &common->filesem | ||
| TYPE_LOCK | (struct fsg_common)->filesem |
fs/ecryptfs/read_write.c ecryptfs_read_lower() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 1-u64max |
| BUF_SIZE | 1 | buf | (-1),16 |
| DATA_SOURCE | 1 | buf | $0 |
| DATA_SOURCE | 2 | count | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | count | unit_byte |
| HALF_LOCKED2 | &crypt_stat->cs_mutex |
fs/binfmt_elf.c elf_read() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-65536 |
| BUF_SIZE | 1 | buf | 1-65536 |
| BUF_SIZE | 1 | buf | 1-65536 |
| CAPPED_DATA | 0 | file | 1 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | count | $2 |
| FUZZY_MAX | 2 | count | 65536 |
| HARD_MAX | 2 | count | 65536 |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.moved->d_inode->i_size | |
| UNITS | 2 | count | unit_byte |
| BYTE_COUNT | 1 | ==buf2 | 8050 |
net/9p/trans_fd.c p9_fd_read() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 1 | *buf | 0-255 |
| PARAM_VALUE | 2 | count | 0-s32max,18446744071562067968-u64max |
| PARAM_VALUE | 3 | pos | 6262648137277018112 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | count | $2 |
| BIT_INFO | 0 | file->f_flags | 0x0,0xffffffff |
| UNITS | 1 | buf | unit_byte |
| UNITS | 2 | count | unit_byte |
| HALF_LOCKED2 | &pool->lock |
fs/pstore/blk.c psblk_generic_blk_read() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | buf | (-1),12,52 |
| DATA_SOURCE | 1 | buf | $0 |
| DATA_SOURCE | 2 | count | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| LOCK2 | &psi->read_mutex | ||
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | global &efivars_lock | ||
| HALF_LOCKED2 | global &psinfo_lock | ||
| TYPE_LOCK | (struct pstore_info)->read_mutex |
fs/coda/dir.c coda_venus_readdir() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 264 |
| PARAM_VALUE | 3 | pos | 36087314930958336 |
| BUF_SIZE | 1 | buf | 264 |
| DATA_SOURCE | 1 | buf | r _kmalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | count | unit_byte |
| LOCK2 | &inode->i_rwsem | ||
| HALF_LOCKED2 | &dir_fp->readdir_lock | ||
| TYPE_LOCK | (struct inode)->i_rwsem |
drivers/mtd/nand/raw/nandsim.c ns_read_file() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mapping->host->i_io_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mapping->host->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | file->f_mapping->host->i_lru.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mapping->host->i_sb->s_cop->inode_info_offs | 1632,1808,2632,2648 |
| PARAM_VALUE | 0 | file->f_mapping->host->i_sb->s_export_op->encode_fh | 0,2,1398972869330624512,1616549510479982592,2037984473558433792 |
| PARAM_VALUE | 0 | file->f_mapping->host->i_sb->s_export_op->fh_to_dentry | 0,8684,447817974243774464,687732489194512384,742201802719268864 |
| PARAM_VALUE | 0 | file->f_mapping->host->i_sb->s_export_op->fh_to_parent | 0,5297,148606482432692224,436469935444291584,467281172929331200 |
| PARAM_VALUE | 0 | file->f_mapping->host->i_sb->s_export_op->get_parent | 0,8931,264940071972966400,291591359766798336,565128213429456896 |
| PARAM_VALUE | 0 | file->f_mapping->host->i_wb | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mapping->host->i_wb->list_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 2 | count | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 1 | buf | (-1),1-s32max |
| BUF_SIZE | 1 | buf | (-1),1-s32max |
| CAPPED_DATA | 2 | count | 1 |
| CAPPED_DATA | 2 | count | 1 |
| DATA_SOURCE | 0 | file | $1 |
| DATA_SOURCE | 1 | buf | $2 |
| DATA_SOURCE | 2 | count | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.d_inode->i_size | |
| UNITS | 1 | buf | unit_byte |
| UNITS | 2 | count | unit_byte |
| HALF_LOCKED2 | &chip->controller->lock | ||
| HALF_LOCKED2 | &chip->lock |
init/initramfs_test.c initramfs_test_data() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 0-ptr_max |
| PARAM_VALUE | 1 | buf | 0,4096-ptr_max |
| PARAM_VALUE | 1 | *buf | 0 |
| PARAM_VALUE | 2 | count | 4 |
| PARAM_VALUE | 3 | pos | 0 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 1 | buf | 140 |
| DATA_SOURCE | 0 | file | r filp_open |
| DATA_SOURCE | 1 | buf | r _kmalloc_noprof |
| UNITS | 2 | count | unit_byte |
init/initramfs_test.c initramfs_test_fname_pad() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 0-ptr_max |
| PARAM_VALUE | 1 | *buf | 0 |
| PARAM_VALUE | 2 | count | 47 |
| PARAM_VALUE | 3 | pos | 0 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 1 | buf | 4256 |
| DATA_SOURCE | 0 | file | r filp_open |
| UNITS | 2 | count | unit_byte |
fs/smb/server/vfs.c ksmbd_vfs_read() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-u32max |
| PARAM_VALUE | 3 | pos | 6979968331645218816 |
| PARAM_VALUE | 3 | *pos | 0-s64max |
| BUF_SIZE | 1 | buf | 0,8-s32max |
| CAPPED_DATA | 0 | file | 1 |
| CAPPED_DATA | 2 | count | 1 |
| CAPPED_DATA | 2 | count | 1 |
| CAPPED_DATA | 3 | *pos | 1 |
| DATA_SOURCE | 1 | buf | $4 |
| DATA_SOURCE | 2 | count | $2 |
| DATA_SOURCE | 3 | pos | $3 |
| UNITS | 2 | count | unit_byte |
| LOCK2 | &pool->lock |
security/keys/big_key.c big_key_read() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->__f_path.dentry | 0 |
| PARAM_VALUE | 0 | file->__f_path.mnt | 1-u64max |
| PARAM_VALUE | 0 | file->f_cred | 0,4096-ptr_max |
| PARAM_VALUE | 0 | file->f_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | file->f_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | file->f_ep | 0 |
| PARAM_VALUE | 0 | file->f_flags | 0 |
| PARAM_VALUE | 0 | file->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_inode->i_writecount.counter | 0-s32max |
| PARAM_VALUE | 0 | file->f_iocb_flags | 0,2,4,6,16,18,20,22,131072,131074,131076,131078,131088,131090,131092,131094 |
| PARAM_VALUE | 0 | file->f_mapping | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_mode | 0,131072-u32max |
| PARAM_VALUE | 0 | file->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->check_flags | 0 |
| PARAM_VALUE | 0 | file->f_op->compat_ioctl | 0 |
| PARAM_VALUE | 0 | file->f_op->copy_file_range | 0 |
| PARAM_VALUE | 0 | file->f_op->fadvise | 0 |
| PARAM_VALUE | 0 | file->f_op->fallocate | 0 |
| PARAM_VALUE | 0 | file->f_op->fasync | 0 |
| PARAM_VALUE | 0 | file->f_op->flock | 0 |
| PARAM_VALUE | 0 | file->f_op->flush | 0 |
| PARAM_VALUE | 0 | file->f_op->fop_flags | 0 |
| PARAM_VALUE | 0 | file->f_op->fsync | 0 |
| PARAM_VALUE | 0 | file->f_op->get_unmapped_area | 0 |
| PARAM_VALUE | 0 | file->f_op->iopoll | 0 |
| PARAM_VALUE | 0 | file->f_op->iterate_shared | 0 |
| PARAM_VALUE | 0 | file->f_op->llseek | 0 |
| PARAM_VALUE | 0 | file->f_op->lock | 0 |
| PARAM_VALUE | 0 | file->f_op->mmap | 0 |
| PARAM_VALUE | 0 | file->f_op->mmap_prepare | 0 |
| PARAM_VALUE | 0 | file->f_op->open | 0 |
| PARAM_VALUE | 0 | file->f_op->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | file->f_op->poll | 0 |
| PARAM_VALUE | 0 | file->f_op->read | 0 |
| PARAM_VALUE | 0 | file->f_op->read_iter | 0 |
| PARAM_VALUE | 0 | file->f_op->release | 0 |
| PARAM_VALUE | 0 | file->f_op->remap_file_range | 0 |
| PARAM_VALUE | 0 | file->f_op->setlease | 0 |
| PARAM_VALUE | 0 | file->f_op->show_fdinfo | 0 |
| PARAM_VALUE | 0 | file->f_op->splice_eof | 0 |
| PARAM_VALUE | 0 | file->f_op->splice_read | 0 |
| PARAM_VALUE | 0 | file->f_op->splice_write | 0 |
| PARAM_VALUE | 0 | file->f_op->unlocked_ioctl | 0 |
| PARAM_VALUE | 0 | file->f_op->uring_cmd | 0 |
| PARAM_VALUE | 0 | file->f_op->uring_cmd_iopoll | 0 |
| PARAM_VALUE | 0 | file->f_op->write | 0 |
| PARAM_VALUE | 0 | file->f_op->write_iter | 0 |
| PARAM_VALUE | 0 | file->f_owner | 0 |
| PARAM_VALUE | 0 | file->f_path->dentry->d_parent->d_alias.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_inode->i_fop->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_inode->i_fsnotify_marks | 0 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_alias->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->lease_gen | 0 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_hash.next->pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_path.dentry->d_parent->d_sib->next->pprev | 1-u64max |
| PARAM_VALUE | 0 | file->f_pos | 0 |
| PARAM_VALUE | 0 | file->f_pos_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | file->f_pos_lock.first_waiter | 0 |
| PARAM_VALUE | 0 | file->f_pos_lock.magic | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_pos_lock.osq.tail.counter | 0 |
| PARAM_VALUE | 0 | file->f_pos_lock.owner.counter | 0 |
| PARAM_VALUE | 0 | file->f_ra.async_size | 0 |
| PARAM_VALUE | 0 | file->f_ra.mmap_miss | 0 |
| PARAM_VALUE | 0 | file->f_ra.order | 0 |
| PARAM_VALUE | 0 | file->f_ra.prev_pos | (-1)-0 |
| PARAM_VALUE | 0 | file->f_ra.ra_pages | 0 |
| PARAM_VALUE | 0 | file->f_ra.size | 0 |
| PARAM_VALUE | 0 | file->f_ra.start | 0 |
| PARAM_VALUE | 0 | file->f_ref.refcnt.counter | 0 |
| PARAM_VALUE | 0 | file->f_sb_err | 0 |
| PARAM_VALUE | 0 | file->f_wb_err | 0 |
| PARAM_VALUE | 0 | file->private_data | 0 |
| PARAM_VALUE | 0 | *file->f_path.dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *file->f_path.dentry->d_parent->d_inode->i_hash.next->pprev | 1-u64max |
| PARAM_VALUE | 0 | *file->f_path.dentry->d_parent->d_inode->i_sb->s_fs_info->s_first_error_func | 0-255 |
| PARAM_VALUE | 0 | *file->f_path.dentry->d_parent->d_inode->i_sb->s_fs_info->s_last_error_func | 0-255 |
| PARAM_VALUE | 1 | buf | 1-18446744073709551614 |
| PARAM_VALUE | 2 | count | 1505-1048592 |
| PARAM_VALUE | 3 | pos | 772711602131709952 |
| PARAM_VALUE | 3 | *pos | 0 |
| BUF_SIZE | 1 | buf | 1505-1048592 |
| CAPPED_DATA | 0 | file | 1 |
| CAPPED_DATA | 0 | file->f_cred | 1 |
| CAPPED_DATA | 0 | file->f_path.dentry | 1 |
| CAPPED_DATA | 2 | count | 1 |
| CAPPED_DATA | 2 | count | 1 |
| DATA_SOURCE | 1 | buf | r __kvmalloc_node_noprof |
| NO_OVERFLOW_SIMPLE | 0 | file->f_inode->i_blkbits | |
| UNITS | 2 | count | unit_byte |
| LOCK2 | &key->sem | ||
| TYPE_LOCK | (struct key)->sem |
drivers/crypto/ccp/sev-dev.c sev_read_init_ex_file() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 0-ptr_max |
| PARAM_VALUE | 1 | buf | 18379471554275704832,18446612682070032384 |
| PARAM_VALUE | 2 | count | 32768 |
| PARAM_VALUE | 3 | pos | 0 |
| BUF_SIZE | 0 | file | (-1)-s32max |
| BUF_SIZE | 0 | file | (-1)-s32max |
| DATA_SOURCE | 0 | file | r open_file_as_root |
| LOCK2 | global &sev_cmd_mutex | ||
| HALF_LOCKED2 | _T->lock |
fs/compat_binfmt_elf.c elf_read() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 1-65536 |
| BUF_SIZE | 1 | buf | 1-65536 |
| BUF_SIZE | 1 | buf | 1-65536 |
| CAPPED_DATA | 0 | file | 1 |
| DATA_SOURCE | 0 | file | $0 |
| DATA_SOURCE | 1 | buf | $1 |
| DATA_SOURCE | 2 | count | $2 |
| FUZZY_MAX | 2 | count | 65536 |
| HARD_MAX | 2 | count | 65536 |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.dentry->d_inode->i_size | |
| NO_OVERFLOW_SIMPLE | 0 | file->f_path.moved->d_inode->i_size | |
| UNITS | 2 | count | unit_byte |
| BYTE_COUNT | 1 | ==buf2 | 8050 |
fs/kernel_read_file.c kernel_read_file() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | file | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_inode | 4096-ptr_max |
| PARAM_VALUE | 0 | file->f_inode->i_writecount.counter | 0-s32max |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | count | 0-9223372036854775807 |
| PARAM_VALUE | 3 | pos | 8965819151787474944 |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| BUF_SIZE | 0 | file | (-1),1-s32max |
| CAPPED_DATA | 2 | count | 1 |
| CAPPED_DATA | 2 | count | 1 |
| DATA_SOURCE | 0 | file | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | buf | unit_byte |
| UNITS | 2 | count | unit_byte |
fs/exec.c prepare_binprm() -> kernel_read()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | count | 256 |
| PARAM_VALUE | 3 | pos | 5921833866322567168 |
| PARAM_VALUE | 3 | *pos | 0 |
| BUF_SIZE | 1 | buf | 256 |