Defined in 2 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/binfmt_elf.c load_elf_binary() -> elf_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filep | 4096-ptr_max |
| PARAM_VALUE | 0 | filep->f_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filep->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filep->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filep->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filep->f_path->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | filep->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_inode->i_fsnotify_marks | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->cancellations_mtx.magic | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->head.first | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->lease_gen | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->lease_session->s_delegated_inos.xa_head | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->resv->lock.base.magic | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->waiters | 0 |
| PARAM_VALUE | 1 | addr | 0 |
| PARAM_VALUE | 2 | eppnt | 4096-ptr_max |
| PARAM_VALUE | 2 | eppnt->p_type | 1 |
| PARAM_VALUE | 3 | prot | 0-7 |
| PARAM_VALUE | 4 | type | 2 |
| PARAM_VALUE | 5 | total_size | 1-u64max |
| BUF_SIZE | 2 | eppnt | (-1),1-65536 |
| BUF_SIZE | 2 | eppnt | (-1),1-65536 |
| DATA_SOURCE | 3 | prot | r make_prot |
| DATA_SOURCE | 5 | total_size | r total_mapping_size |
| LOCK2 | &tsk->signal->exec_update_lock |
fs/binfmt_elf.c load_elf_binary() -> elf_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filep | 4096-ptr_max |
| PARAM_VALUE | 0 | filep->f_inode->i_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | filep->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filep->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filep->f_op | 4096-ptr_max |
| PARAM_VALUE | 0 | filep->f_path->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | filep->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_inode->i_fsnotify_marks | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->cancellations_mtx.magic | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_hash.pprev | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_data.nr_thps.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_mapping->nrpages | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_security->next | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.node.node.next | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb->dwork.timer.node.node.prev | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->head.first | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->lease_gen | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->lease_session->s_delegated_inos.xa_head | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->lease_shared_gen | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->resv->lock.base.magic | 0 |
| PARAM_VALUE | 0 | filep->f_path.dentry->d_parent->d_fsdata->waiters | 0 |
| PARAM_VALUE | 2 | eppnt | 4096-ptr_max |
| PARAM_VALUE | 2 | eppnt->p_type | 1 |
| PARAM_VALUE | 3 | prot | 0-7 |
| PARAM_VALUE | 4 | type | 2,18,1048578 |
| BUF_SIZE | 2 | eppnt | (-1),1-65536 |
| BUF_SIZE | 2 | eppnt | (-1),1-65536 |
| CAPPED_DATA | 5 | total_size | 1 |
| CAPPED_DATA | 5 | total_size | 1 |
| DATA_SOURCE | 3 | prot | r make_prot |
| FUZZY_MAX | 4 | type | 2 |
| PARAM_COMPARE | 2 | eppnt->p_filesz | < $2->p_memsz |
| BIT_INFO | 4 | type | 0x2,0x100012 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 5 | total_size | unit_byte |
| LOCK2 | &tsk->signal->exec_update_lock |
fs/binfmt_elf.c load_elf_interp() -> elf_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filep | 4096-ptr_max |
| PARAM_VALUE | 0 | filep->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filep->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filep->f_op | 4096-ptr_max |
| PARAM_VALUE | 2 | eppnt | 4096-ptr_max |
| PARAM_VALUE | 2 | eppnt->p_type | 1 |
| PARAM_VALUE | 3 | prot | 0-7 |
| PARAM_VALUE | 4 | type | 2,18 |
| DATA_SOURCE | 0 | filep | $1 |
| DATA_SOURCE | 3 | prot | r make_prot |
| FUZZY_MAX | 4 | type | 2 |
| BIT_INFO | 4 | type | 0x2,0x12 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 5 | total_size | unit_byte |
fs/compat_binfmt_elf.c load_elf_interp() -> elf_load()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | filep | 4096-ptr_max |
| PARAM_VALUE | 0 | filep->f_mapping->i_mmap_rwsem.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 0 | filep->f_mapping->i_mmap_rwsem.first_waiter->type | 0-1 |
| PARAM_VALUE | 0 | filep->f_op | 4096-ptr_max |
| PARAM_VALUE | 2 | eppnt | 4096-ptr_max |
| PARAM_VALUE | 2 | eppnt->p_type | 1 |
| PARAM_VALUE | 3 | prot | 0-7 |
| PARAM_VALUE | 4 | type | 2,18 |
| PARAM_VALUE | 5 | total_size | 0-u32max |
| DATA_SOURCE | 0 | filep | $1 |
| DATA_SOURCE | 3 | prot | r make_prot |
| FUZZY_MAX | 4 | type | 2 |
| FUZZY_MAX | 5 | total_size | 0 |
| BIT_INFO | 4 | type | 0x2,0x12 |
| UNITS | 1 | addr | unit_byte |
| UNITS | 5 | total_size | unit_byte |