Open Menu /

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

fs/smb/client/connect.c handle_mid() -> (struct smb_version_operations)->check_trans2()

Type Parameter Key Value
PARAM_VALUE 0 mid 4096-ptr_max
PARAM_VALUE 1 server 4096-ptr_max
PARAM_VALUE 1 server->_srv_mutex->first_waiter->task->blocked_lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 server->_srv_mutex.dep_map->name 0-255
PARAM_VALUE 1 server->_srv_mutex.first_waiter->list.prev->next 5159360019465732096
PARAM_VALUE 1 server->_srv_mutex.first_waiter->list.prev->prev 5159360019465732096
PARAM_VALUE 1 server->_srv_mutex.first_waiter->task->blocked_lock.owner (-1)
PARAM_VALUE 1 server->_srv_mutex.first_waiter->task->blocked_lock.owner_cpu 4294967295
PARAM_VALUE 1 server->_srv_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter s32min-s32max
PARAM_VALUE 1 server->_srv_mutex.first_waiter->task->usage.refs.counter s32min-s32max
PARAM_VALUE 1 server->credits 1
PARAM_VALUE 1 server->dstaddr.sin_addr s32min-s32max
PARAM_VALUE 1 server->echo->timer->entry.pprev 4096-ptr_max
PARAM_VALUE 1 server->echo.work.entry.next 1-u64max
PARAM_VALUE 1 server->echo.work.entry.next->next 1-u64max
PARAM_VALUE 1 server->echo.work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 server->echo.work.entry.prev 1-u64max
PARAM_VALUE 1 server->echo.work.entry.prev->next 1-u64max
PARAM_VALUE 1 server->echo.work.entry.prev->prev 1-u64max
PARAM_VALUE 1 server->hostname 4096-ptr_max
PARAM_VALUE 1 server->maxBuf 0
PARAM_VALUE 1 server->max_read 0
PARAM_VALUE 1 server->mid_queue_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 server->nofs_flag 0,262144
PARAM_VALUE 1 server->nr_targets s32min-(-1),1-s32max
PARAM_VALUE 1 server->ops 4096-ptr_max
PARAM_VALUE 1 server->ops->can_echo 4096-ptr_max
PARAM_VALUE 1 server->ops->check_trans2 6300747720491319296
PARAM_VALUE 1 server->ops->dump_detail 1179934547782934528,5263156627788169216
PARAM_VALUE 1 server->ops->is_network_name_deleted 5905334185464066048,8359393018571853824
PARAM_VALUE 1 server->ops->is_oplock_break 1421931149924728832,6061908479973941248
PARAM_VALUE 1 server->ops->is_session_expired 0,7347258589302591488
PARAM_VALUE 1 server->ops->is_status_io_timeout 0,8980158677023936512
PARAM_VALUE 1 server->ops->is_status_pending 0,6742650767380713472
PARAM_VALUE 1 server->ops->is_transform_hdr 0,7176274675243610112
PARAM_VALUE 1 server->ops->next_header 0,8630180984356941824
PARAM_VALUE 1 server->ops->receive_transform 0,564095901655928832
PARAM_VALUE 1 server->primary_server 0
PARAM_VALUE 1 server->req_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 server->rlist.next->next 4096-ptr_max
PARAM_VALUE 1 server->rlist.prev->next 4096-ptr_max
PARAM_VALUE 1 server->rlist.prev->prev 4096-ptr_max
PARAM_VALUE 1 server->sequence_number 0
PARAM_VALUE 1 server->session_estab 0
PARAM_VALUE 1 server->session_key.len 0
PARAM_VALUE 1 server->session_key.response 0
PARAM_VALUE 1 server->smbd_conn 0
PARAM_VALUE 1 server->srv_lock.rlock.dep_map->name 0-255
PARAM_VALUE 1 server->ssocket 0,4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->__sk_common.skc_net.net 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->__sk_common.skc_net.net->refcnt_tracker.list.next->next 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->__sk_common.skc_net.net->refcnt_tracker.list.next->prev 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->__sk_common.skc_net_refcnt 1
PARAM_VALUE 1 server->ssocket->sk->ns_tracker->alloc_stack_handle 0-4294967295
PARAM_VALUE 1 server->ssocket->sk->ns_tracker->dead 0-1
PARAM_VALUE 1 server->ssocket->sk->ns_tracker->free_stack_handle 0-4294967295
PARAM_VALUE 1 server->ssocket->sk->sk_allocation 3136
PARAM_VALUE 1 server->ssocket->sk->sk_backlog.head->extensions->refcnt.refs.counter 1
PARAM_VALUE 1 server->ssocket->sk->sk_backlog_rcv 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max
PARAM_VALUE 1 server->ssocket->sk->sk_bpf_storage->owner_refcnt.refs.counter s32min-s32max
PARAM_VALUE 1 server->ssocket->sk->sk_filter->refcnt.refs.counter s32min-s32max
PARAM_VALUE 1 server->ssocket->sk->sk_lock.wq.head.next 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->sk_lock.wq.head.next->next 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->sk_lock.wq.head.prev 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->sk_lock.wq.head.prev->next 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->sk_lock.wq.head.prev->next->next 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->sk_lock.wq.head.prev->prev 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->sk_memcg->high_work.entry.next->prev 4096-ptr_max
PARAM_VALUE 1 server->ssocket->sk->sk_memcg->high_work.is_queued 0-1
PARAM_VALUE 1 server->ssocket->sk->sk_protocol 0-255
PARAM_VALUE 1 server->ssocket->sk->sk_rcu.flags 0-4294967295
PARAM_VALUE 1 server->ssocket->sk->sk_rcvtimeo 1750
PARAM_VALUE 1 server->ssocket->sk->sk_sndtimeo 1250
PARAM_VALUE 1 server->ssocket->sk->sk_user_data->work.flags 0-4294967295
PARAM_VALUE 1 server->ssocket->sk->sk_user_data->work.is_hard 0-1
PARAM_VALUE 1 server->ssocket->sk->sk_user_data->work.is_lazy 0-1
PARAM_VALUE 1 server->ssocket->sk->sk_user_data->work.is_soft 0-1
PARAM_VALUE 1 server->ssocket->type 1
PARAM_VALUE 1 server->tcp_ses_list.next->next 4096-ptr_max
PARAM_VALUE 1 server->tcp_ses_list.next->prev 4096-ptr_max
PARAM_VALUE 1 server->tcp_ses_list.prev->next 4096-ptr_max
PARAM_VALUE 1 server->tcp_ses_list.prev->prev 4096-ptr_max
PARAM_VALUE 1 server->use_swn_dstaddr 0
PARAM_VALUE 1 server->vals->header_size 0,33,64
PARAM_VALUE 1 server->vals->protocol_id 0,514,528,768,770,785
PARAM_VALUE 1 server->vals->read_rsp_size 0,59,80
PARAM_VALUE 1 *server->fastest_cmd 0-4294967295
PARAM_VALUE 1 *server->session_key.response 0
PARAM_VALUE 1 *server->slowest_cmd 0-4294967295
PARAM_VALUE 1 *server->smbd_conn->socket->ib.pd->res.comp.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *server->smbd_conn->socket->ib.qp->srq_completion.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *server->smbd_conn->socket->ib.recv_cq->res.comp.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *server->smbd_conn->socket->ib.send_cq->res.comp.wait.lock.owner (-4611686018427387904)-4611686018427387903
PARAM_VALUE 1 *server->ssocket->sk->sk_backlog.head->dev->name 0-255
PARAM_VALUE 3 malformed (-5),0-1
BUF_SIZE 1 server 128
BUF_SIZE 1 server 128
CAPPED_DATA 1 server 1
DATA_SOURCE 0 mid $0
DATA_SOURCE 1 server $1
DATA_SOURCE 2 buf $2
DATA_SOURCE 3 malformed $3
CONTAINER 1 -184-160+0 $(-1)
NO_OVERFLOW_SIMPLE 1 server->total_read