Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/smb/client/smb2ops.c receive_encrypted_read() -> decrypt_raw_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->_srv_mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | server->_srv_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->dstaddr.sin_addr | s32min-s32max |
| PARAM_VALUE | 0 | server->echo->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->echo.work.entry.next->next | 1-u64max |
| PARAM_VALUE | 0 | server->echo.work.entry.prev->next | 1-u64max |
| PARAM_VALUE | 0 | server->echo.work.entry.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | server->mid_queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->req_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->rlist.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->rlist.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->rlist.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->srv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_bind_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->ipv4.ping_port_rover | 1-u16max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_u16hashes | 0-u32max |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_backlog_rcv | 0-1770402027252219903,1770402027252219905-3047833183539765247,3047833183539765249-u64max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_bpf_storage->owner_refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.entry.next | s64max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.is_hard | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.is_lazy | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.is_queued | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.is_soft | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.is_hard | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.is_lazy | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.is_queued | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.is_soft | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->refcnt.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->high_work.is_queued | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->id.id | 0-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memory.high | 0-2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memory.low | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memory.min | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memsw.high | 0-2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memsw.low | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memsw.min | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->tcpmem.high | 0-2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->tcpmem.low | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->tcpmem.min | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_reuseport_cb->rcu.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_hard | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_lazy | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_queued | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_soft | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_user_data->work.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sobject | 0-u16max |
| PARAM_VALUE | 0 | server->ssocket->type | 1 |
| PARAM_VALUE | 0 | server->tcp_ses_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->vals | 4096-ptr_max |
| PARAM_VALUE | 0 | server->vals->read_rsp_size | 0,59,80 |
| PARAM_VALUE | 0 | *server->fastest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->session_key.response | 0 |
| PARAM_VALUE | 0 | *server->slowest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.pd->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.qp->srq_completion.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.recv_cq->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.send_cq->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->ssocket->sk->sk_backlog.head->cb->data_end | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->ssocket->sk->sk_backlog.head->data->hdr | 0-4294967295 |
| PARAM_VALUE | 0 | *server->ssocket->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 1 | buf | 4096-ptr_max |
| PARAM_VALUE | 2 | buf_data_size | 0,59,80 |
| PARAM_VALUE | 3 | iter | 6312224460527087616 |
| PARAM_VALUE | 3 | iter->count | 0-u32max |
| PARAM_VALUE | 4 | is_offloaded | 0 |
| DATA_SOURCE | 0 | server | $0 |
| UNITS | 2 | buf_data_size | unit_byte |
fs/smb/client/smb2ops.c receive_encrypted_standard() -> decrypt_raw_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->_srv_mutex->first_waiter->task->blocked_lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | server->_srv_mutex.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->list.prev->next | 5159360019465732096 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->list.prev->prev | 5159360019465732096 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.owner | (-1) |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.owner_cpu | 4294967295 |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->blocked_lock.raw_lock.val.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->_srv_mutex.first_waiter->task->usage.refs.counter | s32min-s32max |
| PARAM_VALUE | 0 | server->credits | 1 |
| PARAM_VALUE | 0 | server->dstaddr.sin_addr | s32min-s32max |
| PARAM_VALUE | 0 | server->echo->timer->entry.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->echo.work.entry.next->next | 1-u64max |
| PARAM_VALUE | 0 | server->echo.work.entry.prev->next | 1-u64max |
| PARAM_VALUE | 0 | server->echo.work.entry.prev->prev | 1-u64max |
| PARAM_VALUE | 0 | server->maxBuf | 0 |
| PARAM_VALUE | 0 | server->max_read | 0 |
| PARAM_VALUE | 0 | server->mid_queue_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->nofs_flag | 0,262144 |
| PARAM_VALUE | 0 | server->nr_targets | s32min-(-1),1-s32max |
| PARAM_VALUE | 0 | server->rdma_readwrite_threshold | 0-4096 |
| PARAM_VALUE | 0 | server->rlist.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->rlist.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->rlist.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->sequence_number | 0 |
| PARAM_VALUE | 0 | server->session_estab | 0 |
| PARAM_VALUE | 0 | server->session_key.len | 0 |
| PARAM_VALUE | 0 | server->session_key.response | 0 |
| PARAM_VALUE | 0 | server->smbd_conn | 0 |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_bind_node.pprev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->ipv4.ping_port_rover | 1-u16max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->notrefcnt_tracker.dead | 1 |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->notrefcnt_tracker.quarantine.prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->refcnt_tracker.list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_net.net->refcnt_tracker.list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->__sk_common.skc_u16hashes | 0-u32max |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_backlog.head->cb->type | 4 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_backlog.head->dev->flags | 1-u32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_backlog.head->extensions->refcnt.refs.counter | 1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.entry.next | s64max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.is_hard | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.is_lazy | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.is_queued | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_dst_cache->callback_head.is_soft | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.is_hard | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.is_lazy | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.is_queued | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->rcu.is_soft | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_filter->refcnt.refs.counter | (-1073741824),0-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.slock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_lock.wq.head.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->id.id | 0-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memory.high | 0-2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memory.low | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memory.min | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memsw.high | 0-2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memsw.low | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->memsw.min | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->tcpmem.high | 0-2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->tcpmem.low | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_memcg->tcpmem.min | 0,2251799813685247 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_owner->refcnt.counter | 0-s32max |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_reuseport_cb->rcu.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.flags | 0-4294967295 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_hard | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_lazy | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_queued | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sk_rx_dst->callback_head.is_soft | 0-1 |
| PARAM_VALUE | 0 | server->ssocket->sk->sobject | 0-u16max |
| PARAM_VALUE | 0 | server->ssocket->type | 1 |
| PARAM_VALUE | 0 | server->tcp_ses_list.next->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.next->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.prev->next | 4096-ptr_max |
| PARAM_VALUE | 0 | server->tcp_ses_list.prev->prev | 4096-ptr_max |
| PARAM_VALUE | 0 | server->use_swn_dstaddr | 0 |
| PARAM_VALUE | 0 | *server->fastest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->session_key.response | 0 |
| PARAM_VALUE | 0 | *server->slowest_cmd | 0-4294967295 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.pd->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.qp->srq_completion.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.recv_cq->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->smbd_conn->socket->ib.send_cq->res.comp.wait.lock.owner | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->ssocket->sk->sk_backlog.head->cb->data_end | (-4611686018427387904)-4611686018427387903 |
| PARAM_VALUE | 0 | *server->ssocket->sk->sk_backlog.head->data->hdr | 0-4294967295 |
| PARAM_VALUE | 0 | *server->ssocket->sk->sk_backlog.head->dev->name | 0-255 |
| PARAM_VALUE | 2 | buf_data_size | 64-2147483799 |
| PARAM_VALUE | 3 | iter | 0 |
| PARAM_VALUE | 4 | is_offloaded | 0 |
| DATA_SOURCE | 0 | server | $0 |
| UNITS | 2 | buf_data_size | unit_byte |
fs/smb/client/smb2ops.c smb2_decrypt_offload() -> decrypt_raw_data()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | server | 4096-ptr_max |
| PARAM_VALUE | 0 | server->vals | 4096-ptr_max |
| PARAM_VALUE | 0 | server->vals->read_rsp_size | 0,59,80 |
| PARAM_VALUE | 2 | buf_data_size | 0,59,80 |
| PARAM_VALUE | 3 | iter | 5326848451567046656 |
| PARAM_VALUE | 4 | is_offloaded | 1 |
| UNITS | 2 | buf_data_size | unit_byte |
| HALF_LOCKED2 | &pool->lock |