Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/nfs4proc.c do_open_fhandle() -> do_open_permission()
| 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_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_accept_statp | 0 |
| PARAM_VALUE | 0 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | current_fh | 4096-ptr_max |
| PARAM_VALUE | 1 | current_fh->fh_post_saved | 0 |
| PARAM_VALUE | 1 | current_fh->fh_pre_saved | 0 |
| PARAM_VALUE | 2 | open | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_claim_type | 1,4-5 |
| PARAM_VALUE | 2 | open->op_create | 0 |
| PARAM_VALUE | 2 | open->op_created | 0 |
| PARAM_VALUE | 2 | open->op_file | 1-u64max |
| PARAM_VALUE | 2 | open->op_filp | 0 |
| PARAM_VALUE | 2 | open->op_odstate | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_odstate->co_client | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_odstate->co_odcount.refs.counter | 1 |
| PARAM_VALUE | 2 | open->op_openowner | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_openowner->oo_owner.so_replay.rp_status | 0-10017,10019-10065,10068-u32max |
| PARAM_VALUE | 2 | open->op_rqstp | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 2 | open->op_stp | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_xdr_error | 0 |
| PARAM_VALUE | 2 | *open->op_rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 3 | accmode | 0,64 |
| BUF_SIZE | 0 | rqstp | 128 |
| BUF_SIZE | 0 | rqstp | 128 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| BUF_SIZE | 1 | current_fh | 416 |
| BUF_SIZE | 2 | open | 352 |
| BUF_SIZE | 2 | open->op_rqstp | 128 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| CAPPED_DATA | 2 | open->op_clientid.cl_boot | 1 |
| CAPPED_DATA | 2 | open->op_clientid.cl_id | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| DATA_SOURCE | 2 | open | $2 |
| FUZZY_MAX | 2 | open->op_claim_type | 5 |
| FUZZY_MAX | 3 | accmode | 64 |
| CONSTRAINT | 0 | rqstp | <2945 |
| BIT_INFO | 2 | open->op_iattr.ia_valid | 0x0,0xffffffff |
| BIT_INFO | 3 | accmode | 0x0,0x40 |
| HARD_MAX | 3 | accmode | 64 |
| MEM_ZERO | 2 | &open->op_cinfo | |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |
| USER_DATA | 2 | open->op_rqstp->rq_xid | 0-u32max |
fs/nfsd/nfs4proc.c do_open_lookup() -> do_open_permission()
| 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_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_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_accept_statp | 0 |
| PARAM_VALUE | 0 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 1 | current_fh | 4096-ptr_max |
| PARAM_VALUE | 1 | current_fh->fh_dentry | 4096-ptr_max |
| PARAM_VALUE | 1 | current_fh->fh_flags | 0 |
| PARAM_VALUE | 1 | current_fh->fh_maxsize | 128 |
| PARAM_VALUE | 2 | open | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_claim_type | 0,2 |
| PARAM_VALUE | 2 | open->op_file | 1-u64max |
| PARAM_VALUE | 2 | open->op_filp | 0,4096-ptr_max |
| PARAM_VALUE | 2 | open->op_odstate | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_odstate->co_client | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_odstate->co_odcount.refs.counter | 1 |
| PARAM_VALUE | 2 | open->op_openowner | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_openowner->oo_owner.so_replay.rp_status | 0-10017,10019-10065,10068-u32max |
| PARAM_VALUE | 2 | open->op_rqstp | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 2 | open->op_stp | 4096-ptr_max |
| PARAM_VALUE | 2 | open->op_xdr_error | 0 |
| PARAM_VALUE | 2 | *open->op_rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 3 | accmode | 0,64 |
| BUF_SIZE | 0 | rqstp | 128 |
| BUF_SIZE | 0 | rqstp | 128 |
| BUF_SIZE | 0 | rqstp->rq_private | (-1),16 |
| BUF_SIZE | 2 | open | 352 |
| BUF_SIZE | 2 | open->op_rqstp | 128 |
| CAPPED_DATA | 0 | rqstp->rq_arg.head->iov_base | 1 |
| CAPPED_DATA | 2 | open->op_clientid.cl_boot | 1 |
| CAPPED_DATA | 2 | open->op_clientid.cl_id | 1 |
| DATA_SOURCE | 0 | rqstp | $0 |
| DATA_SOURCE | 1 | current_fh | r _kmalloc_noprof |
| DATA_SOURCE | 2 | open | $2 |
| FUZZY_MAX | 2 | open->op_claim_type | 2 |
| FUZZY_MAX | 3 | accmode | 0 |
| CONSTRAINT | 0 | rqstp | <2945 |
| BIT_INFO | 3 | accmode | 0x0,0x40 |
| USER_DATA | 0 | rqstp->rq_xid | 0-u32max |
| USER_DATA | 2 | open->op_rqstp->rq_xid | 0-u32max |