Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
fs/nfsd/nfs4state.c alloc_conn_from_crses() -> alloc_conn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 0 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 0 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 0 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 0 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 0 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 0 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 0 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 0 | rqstp->rq_cred.cr_group_info->usage.refs.counter | 1 |
| PARAM_VALUE | 0 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 0 | rqstp->rq_procinfo->pc_xdrressize | 0-1,6,19,22-24,27,29-30,32,34-36,52,59,62,70,258-259,519,521,1048,2068,3072,6150,1048579,1048603 |
| PARAM_VALUE | 0 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_res_stream->end | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | *rqstp->rq_accept_statp | 0 |
| PARAM_VALUE | 0 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 1,3 |
| BUF_SIZE | 0 | rqstp | 128 |
| BUF_SIZE | 0 | rqstp | 128 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| FUZZY_MAX | 1 | flags | 1 |
| CONSTRAINT | 0 | rqstp | <2945 |
| BIT_INFO | 1 | flags | 0x1,0x3 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |
fs/nfsd/nfs4state.c nfsd4_bind_conn_to_session() -> alloc_conn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream.rqst->rq_reply_bytes_recvd | 1-u64max |
| PARAM_VALUE | 0 | rqstp->rq_argp | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_auth_data->gsd_seq_num | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 0 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 0 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 0 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 0 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 0 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 0 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 0 | rqstp->rq_cred.cr_group_info->usage.refs.counter | 1 |
| PARAM_VALUE | 0 | rqstp->rq_cred.cr_gss_mech->gm_pf_num | 0,3 |
| PARAM_VALUE | 0 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 0 | rqstp->rq_procinfo->pc_xdrressize | 0-1,6,19,22-24,27,29-30,32,34-36,52,59,62,70,258-259,519,521,1048,2068,3072,6150,1048579,1048603 |
| PARAM_VALUE | 0 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_res_stream.buf->head->iov_len | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_resp | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_resp->cstate.spo_must_allowed | 0-1 |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 0 | *rqstp->rq_respages | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 1-3 |
| BUF_SIZE | 0 | rqstp | (-1),128 |
| BUF_SIZE | 0 | rqstp | (-1),128 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| CAPPED_DATA | 0 | rqstp->rq_argp->opcnt | 1 |
| CAPPED_DATA | 0 | rqstp->rq_resp->opcnt | 1 |
| CAPPED_DATA | 0 | rqstp->rq_xprt | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| FUZZY_MAX | 0 | rqstp->rq_resp->cstate.spo_must_allowed | 0 |
| PARAM_COMPARE | 0 | rqstp->rq_argp->opcnt | == $0->rq_resp->opcnt |
| CONSTRAINT | 0 | rqstp | <2945 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |
fs/nfsd/nfs4state.c nfsd4_sequence() -> alloc_conn()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 0 | rqstp->rq_arg_stream.rqst->rq_reply_bytes_recvd | 1-u64max |
| PARAM_VALUE | 0 | rqstp->rq_auth_data->gsd_seq_num | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 0 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 0 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 0 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 0 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 0 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 0 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 0 | rqstp->rq_cred.cr_group_info->usage.refs.counter | 1 |
| PARAM_VALUE | 0 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 0 | rqstp->rq_procinfo->pc_xdrressize | 0-1,6,19,22-24,27,29-30,32,34-36,52,59,62,70,258-259,519,521,1048,2068,3072,6150,1048579,1048603 |
| PARAM_VALUE | 0 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 0 | rqstp->rq_res_stream.buf->head->iov_len | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_resp | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_resp->cstate.spo_must_allowed | 0-1 |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 0 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 0 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 0 | *rqstp->rq_respages | 4096-ptr_max |
| PARAM_VALUE | 1 | flags | 1 |
| BUF_SIZE | 0 | rqstp | (-1),128 |
| BUF_SIZE | 0 | rqstp | (-1),128 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| FUZZY_MAX | 0 | rqstp->rq_resp->cstate.spo_must_allowed | 0 |
| CONSTRAINT | 0 | rqstp | <2945 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |