Documented in 1 files:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/binfmt_misc.c load_misc_binary() -> entry_open_interpreter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->bpf_flags | 0 |
| PARAM_VALUE | 1 | bprm->bpf_interp | 0 |
| PARAM_VALUE | 1 | bprm->bpf_interp_arg | 0 |
| PARAM_VALUE | 1 | bprm->bpf_interp_file | 0 |
| PARAM_VALUE | 1 | bprm->cred->group_info | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->cred->non_rcu | 0 |
| PARAM_VALUE | 1 | bprm->cred->process_keyring | 0 |
| PARAM_VALUE | 1 | bprm->cred->request_key_auth | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bprm->cred->security | 0 |
| PARAM_VALUE | 1 | bprm->cred->session_keyring | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bprm->cred->thread_keyring | 0 |
| PARAM_VALUE | 1 | bprm->cred->ucounts | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->cred->usage.counter | 1 |
| PARAM_VALUE | 1 | bprm->cred->user | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->file->f_path->dentry->d_parent->d_alias.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | bprm->file->f_path->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | bprm->file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | bprm->mm->map_count | (-1)-s32max |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | bprm->mm->stack_vm | 1 |
| PARAM_VALUE | 1 | bprm->mm->total_vm | 1 |
| PARAM_VALUE | 1 | bprm->vma->anon_name | 0 |
| PARAM_VALUE | 1 | bprm->vma->anon_vma | 0 |
| PARAM_VALUE | 1 | bprm->vma->numab_state | 0 |
| PARAM_VALUE | 1 | bprm->vma->pfnmap_track_ctx | 0 |
| PARAM_VALUE | 1 | bprm->vma->swap_readahead_info.counter | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_file | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_flags | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_freeptr.v | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_mm | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_ops | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_pgoff | 0-4503599627370495 |
| PARAM_VALUE | 1 | bprm->vma->vm_policy | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_private_data | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | bprm->vma->vm_userfaultfd_ctx.ctx | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.cpu | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.ip | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.key | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.lock_type | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.name | 0 |
| PARAM_VALUE | 1 | *bprm->bpf_interp_file->f_cred->user->uidhash_node.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | *bprm->buf | 0-255 |
| PARAM_VALUE | 2 | interpreter | 0-ptr_max |
| DATA_SOURCE | 0 | e | r get_binfmt_handler |
| DATA_SOURCE | 1 | bprm | $0 |
| PARAM_COMPARE | 0 | e->interpreter | == $2 |
| PARAM_COMPARE | 2 | interpreter | == $0->interpreter |
| MEM_ZERO | 1 | bprm->buf | |
| NO_OVERFLOW_SIMPLE | 1 | bprm->envc | |
| NO_OVERFLOW_SIMPLE | 1 | bprm->exec | |
| NO_OVERFLOW_SIMPLE | 1 | bprm->p |
fs/binfmt_misc.c load_misc_binary() -> entry_open_interpreter()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | e | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->bpf_flags | 0 |
| PARAM_VALUE | 1 | bprm->bpf_interp | 0 |
| PARAM_VALUE | 1 | bprm->bpf_interp_arg | 0 |
| PARAM_VALUE | 1 | bprm->bpf_interp_file | 0 |
| PARAM_VALUE | 1 | bprm->cred->group_info | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->cred->non_rcu | 0 |
| PARAM_VALUE | 1 | bprm->cred->process_keyring | 0 |
| PARAM_VALUE | 1 | bprm->cred->request_key_auth | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bprm->cred->security | 0 |
| PARAM_VALUE | 1 | bprm->cred->session_keyring | 0,4096-ptr_max |
| PARAM_VALUE | 1 | bprm->cred->thread_keyring | 0 |
| PARAM_VALUE | 1 | bprm->cred->ucounts | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->cred->usage.counter | 1 |
| PARAM_VALUE | 1 | bprm->cred->user | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->file->f_path->dentry->d_parent->d_alias.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | bprm->file->f_path->dentry->d_parent->d_fsdata->d_fsdata | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 1 | bprm->file->f_path->dentry->d_parent->d_inode->i_wb->dwork.timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->active.counter | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_flags | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->__i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_atime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_blkbits | 0-255 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_bytes | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_ctime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_dir_seq | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_flags | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_fsnotify_mask | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_generation | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_linklen | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mode | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_mtime_nsec | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_nlink | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_opflags | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_rdev | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_avg_time | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_history | 0-u16max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_wb_frn_winner | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_inode->i_write_hint | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->d_lockref.count | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->data->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->kref.refcount.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.flags | 0-4294967295 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_hard | 0-1 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_lazy | 0-1 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_queued | 0-1 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->management_timer.is_soft | 0-1 |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 1 | bprm->file->f_path.dentry->d_parent->d_fsdata->ref.refs.counter | s32min-s32max |
| PARAM_VALUE | 1 | bprm->interp | 4096-ptr_max |
| PARAM_VALUE | 1 | bprm->mm->map_count | (-1)-s32max |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.first_waiter->handoff_set | 0-1 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.first_waiter->list.next | 2212933610777083904,2624917664208203776 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.first_waiter->list.prev | 2212933610777083904 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.first_waiter->type | 0-1 |
| PARAM_VALUE | 1 | bprm->mm->mmap_lock.osq.tail.counter | 0-s32max |
| PARAM_VALUE | 1 | bprm->mm->stack_vm | 1 |
| PARAM_VALUE | 1 | bprm->mm->total_vm | 1 |
| PARAM_VALUE | 1 | bprm->vma->anon_name | 0 |
| PARAM_VALUE | 1 | bprm->vma->anon_vma | 0 |
| PARAM_VALUE | 1 | bprm->vma->numab_state | 0 |
| PARAM_VALUE | 1 | bprm->vma->pfnmap_track_ctx | 0 |
| PARAM_VALUE | 1 | bprm->vma->swap_readahead_info.counter | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_file | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_flags | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_freeptr.v | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_mm | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_ops | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_pgoff | 0-4503599627370495 |
| PARAM_VALUE | 1 | bprm->vma->vm_policy | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_private_data | 0 |
| PARAM_VALUE | 1 | bprm->vma->vm_refcnt.refs.counter | 1 |
| PARAM_VALUE | 1 | bprm->vma->vm_userfaultfd_ctx.ctx | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.cpu | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.ip | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.key | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.lock_type | 0 |
| PARAM_VALUE | 1 | bprm->vma->vmlock_dep_map.name | 0 |
| PARAM_VALUE | 1 | *bprm->bpf_interp_file->f_cred->user->uidhash_node.next->pprev | 1-u64max |
| PARAM_VALUE | 1 | *bprm->buf | 0-255 |
| PARAM_VALUE | 2 | interpreter | 1-ptr_max |
| DATA_SOURCE | 0 | e | r get_binfmt_handler |
| DATA_SOURCE | 1 | bprm | $0 |
| PARAM_COMPARE | 0 | e->interpreter | == $2 |
| PARAM_COMPARE | 2 | interpreter | == $0->interpreter |
| MEM_ZERO | 1 | bprm->buf | |
| NO_OVERFLOW_SIMPLE | 1 | bprm->envc | |
| NO_OVERFLOW_SIMPLE | 1 | bprm->exec | |
| NO_OVERFLOW_SIMPLE | 1 | bprm->p |