Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 3 files:
Smatch caller information:
fs/nfsd/nfs4proc.c nfsd4_secinfo() -> nfsd_lookup_dentry()
| 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_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->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_xprt->xpt_server->sv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 0 | *rqstp->rq_respages | 4096-ptr_max |
| PARAM_VALUE | 4 | exp_ret | 9194361147836682240 |
| PARAM_VALUE | 5 | dentry_ret | 3569957445553119232 |
| 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_cred.cr_gss_mech->gm_pf_num | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| CONSTRAINT | 0 | rqstp | <2945 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |
fs/nfsd/nfs4state.c nfsd4_verify_deleg_dentry() -> nfsd_lookup_dentry()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | fhp | 1-u64max |
| PARAM_VALUE | 4 | exp_ret | 2974920751866769408 |
| PARAM_VALUE | 5 | dentry_ret | 5298432348839600128 |
| DATA_SOURCE | 1 | fhp | $2 |
fs/nfsd/vfs.c nfsd_lookup() -> nfsd_lookup_dentry()
| 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_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_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_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_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_class->xcl_max_payload | 32768,4194304 |
| 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_xprt->xpt_server->sv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 0 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | fhp | 4096-ptr_max |
| PARAM_VALUE | 4 | exp_ret | 8610441064226299904 |
| PARAM_VALUE | 5 | dentry_ret | 3382086380584931328 |
| BUF_SIZE | 0 | rqstp | (-1),128 |
| BUF_SIZE | 0 | rqstp | (-1),128 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| BUF_SIZE | 1 | fhp | (-1),416 |
| BUF_SIZE | 1 | fhp | (-1),416 |
| BUF_SIZE | 2 | name | (-1),3 |
| BUF_SIZE | 2 | name | (-1),3 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| CAPPED_DATA | 0 | rqstp->rq_cred.cr_gss_mech->gm_pf_num | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| DATA_SOURCE | 1 | fhp | $1 |
| DATA_SOURCE | 2 | name | $2 |
| DATA_SOURCE | 3 | len | $3 |
| STR_LEN | 0 | rqstp | (-1),2 |
| STR_LEN | 0 | rqstp | (-1),2 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |