elf_read identifier - Linux source code next-20260811

Projects

linux

Versions

FIXME
- FIXME
  - next-20260811

Defined in 1 files as a function:

fs/binfmt_elf.c, line 477 (as a function)

Referenced in 1 files:

fs/binfmt_elf.c

Smatch caller information:

fs/binfmt_elf.c load_elf_binary() -> elf_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	0	file->f_op	4096-ptr_max
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->cancellations_mtx.magic	0
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_hash.pprev	0
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->head.first	0
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_session->s_delegated_inos.xa_head	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	0	file->f_path.dentry->d_parent->d_fsdata->resv->lock.base.magic	0
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->waiters	0
PARAM_VALUE	1	buf	4096-ptr_max
PARAM_VALUE	2	len	2-4096
BUF_SIZE	1	buf	2-4096
DATA_SOURCE	1	buf	r _kmalloc_noprof
FUZZY_MAX	2	len	2
HARD_MAX	2	len	4096
UNITS	2	len	unit_byte
UNITS	3	pos	unit_byte
BYTE_COUNT	1	==buf2	8050

fs/binfmt_elf.c load_elf_binary() -> elf_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_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	buf	4096-ptr_max
PARAM_VALUE	2	len	64
PARAM_VALUE	3	pos	0
BUF_SIZE	1	buf	64
CAPPED_DATA	0	file	1
DATA_SOURCE	0	file	r bprm_open_interpreter
DATA_SOURCE	1	buf	r _kmalloc_noprof
UNITS	2	len	unit_byte

fs/binfmt_elf.c load_elf_phdrs() -> elf_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	1	buf	4096-ptr_max
PARAM_VALUE	2	len	1-65536
BUF_SIZE	1	buf	1-65536
CAPPED_DATA	0	file	1
DATA_SOURCE	0	file	$1
DATA_SOURCE	1	buf	r _kmalloc_noprof
FUZZY_MAX	2	len	65536
HARD_MAX	2	len	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	3	pos	unit_byte

fs/compat_binfmt_elf.c load_elf_binary() -> elf_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	0	file->f_op	4096-ptr_max
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->cancellations_mtx.magic	0
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_hash.pprev	0
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->head.first	0
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_session->s_delegated_inos.xa_head	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	0	file->f_path.dentry->d_parent->d_fsdata->resv->lock.base.magic	0
PARAM_VALUE	0	file->f_path.dentry->d_parent->d_fsdata->waiters	0
PARAM_VALUE	1	buf	4096-ptr_max
PARAM_VALUE	2	len	2-4096
BUF_SIZE	1	buf	2-4096
DATA_SOURCE	1	buf	r _kmalloc_noprof
FUZZY_MAX	2	len	2
HARD_MAX	2	len	4096
UNITS	2	len	unit_byte
UNITS	3	pos	unit_byte
BYTE_COUNT	1	==buf2	8050

fs/compat_binfmt_elf.c load_elf_binary() -> elf_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_lock.rlock.dep_map->name	0-255
PARAM_VALUE	1	buf	4096-ptr_max
PARAM_VALUE	2	len	52
PARAM_VALUE	3	pos	0
BUF_SIZE	1	buf	52
CAPPED_DATA	0	file	1
DATA_SOURCE	0	file	r bprm_open_interpreter
DATA_SOURCE	1	buf	r _kmalloc_noprof
UNITS	2	len	unit_byte

fs/compat_binfmt_elf.c load_elf_phdrs() -> elf_read()

Type	Parameter	Key	Value
PARAM_VALUE	0	file	4096-ptr_max
PARAM_VALUE	1	buf	4096-ptr_max
PARAM_VALUE	2	len	1-65536
BUF_SIZE	1	buf	1-65536
CAPPED_DATA	0	file	1
DATA_SOURCE	0	file	$1
DATA_SOURCE	1	buf	r _kmalloc_noprof
FUZZY_MAX	2	len	65536
HARD_MAX	2	len	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	3	pos	unit_byte