Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/binfmt_elf.c load_elf_binary() -> load_elf_phdrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | elf_ex->e_machine | 62 |
| PARAM_VALUE | 0 | elf_ex->e_type | 2-3 |
| PARAM_VALUE | 1 | elf_file | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_op | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_path->dentry->d_parent->d_alias.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | elf_file->f_path->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | elf_file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_inode->i_fsnotify_marks | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->cancellations_mtx.magic | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->head.first | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->lease_gen | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->resv->lock.base.magic | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->waiters | 0 |
| BUF_SIZE | 0 | elf_ex | 0 |
| BIT_INFO | 0 | elf_ex | 0x0,0x0 |
| BIT_INFO | 0 | elf_ex->e_type | 0x2,0x3 |
fs/binfmt_elf.c load_elf_binary() -> load_elf_phdrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | elf_ex | 4096-ptr_max |
| PARAM_VALUE | 0 | elf_ex->e_machine | 62 |
| PARAM_VALUE | 1 | elf_file | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_inode->i_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | elf_ex | 64 |
| CAPPED_DATA | 1 | elf_file | 1 |
| DATA_SOURCE | 0 | elf_ex | r _kmalloc_noprof |
| DATA_SOURCE | 1 | elf_file | r bprm_open_interpreter |
fs/compat_binfmt_elf.c load_elf_binary() -> load_elf_phdrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | elf_ex->e_machine | 3,6,62 |
| PARAM_VALUE | 0 | elf_ex->e_type | 2-3 |
| PARAM_VALUE | 1 | elf_file | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_op | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_path->dentry->d_parent->d_alias.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | elf_file->f_path->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | elf_file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_inode->i_fsnotify_marks | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->cancellations_mtx.magic | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->head.first | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->lease_gen | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->resv->lock.base.magic | 0 |
| PARAM_VALUE | 1 | elf_file->f_path.dentry->d_parent->d_fsdata->waiters | 0 |
| BUF_SIZE | 0 | elf_ex | 0 |
| FUZZY_MAX | 0 | elf_ex->e_machine | 6 |
| BIT_INFO | 0 | elf_ex | 0x0,0x0 |
| BIT_INFO | 0 | elf_ex->e_machine | 0x2,0x3f |
| BIT_INFO | 0 | elf_ex->e_type | 0x2,0x3 |
fs/compat_binfmt_elf.c load_elf_binary() -> load_elf_phdrs()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | elf_ex | 4096-ptr_max |
| PARAM_VALUE | 0 | elf_ex->e_machine | 3,6,62 |
| PARAM_VALUE | 1 | elf_file | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_inode | 4096-ptr_max |
| PARAM_VALUE | 1 | elf_file->f_inode->i_lock.rlock.dep_map->name | 0-255 |
| BUF_SIZE | 0 | elf_ex | 52 |
| CAPPED_DATA | 1 | elf_file | 1 |
| DATA_SOURCE | 0 | elf_ex | r _kmalloc_noprof |
| DATA_SOURCE | 1 | elf_file | r bprm_open_interpreter |
| FUZZY_MAX | 0 | elf_ex->e_machine | 6 |
| BIT_INFO | 0 | elf_ex->e_machine | 0x2,0x3f |