Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
fs/nfsd/vfs.c nfsd4_clone_file_range() -> commit_reset_write_verifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 1 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 1 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 1 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 1 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 1 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 1 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 1 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 1 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 1 | 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 | 1 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | *rqstp->rq_accept_statp | 0 |
| PARAM_VALUE | 1 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 2 | err | s32min-(-1) |
| BUF_SIZE | 1 | rqstp | 128 |
| BUF_SIZE | 1 | rqstp | 128 |
| BUF_SIZE | 1 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 1 | rqstp->rq_arg.head->iov_base | 1 |
| DATA_SOURCE | 0 | nn | r net_generic |
| DATA_SOURCE | 1 | rqstp | $0 |
| CONSTRAINT | 1 | rqstp | <2945 |
| BIT_INFO | 2 | err | 0x0,0x7fffffff |
| NOCHECK_CALL | |||
| USER_DATA | 1 | rqstp->rq_xid | 0-u32max |
fs/nfsd/vfs.c nfsd_commit() -> commit_reset_write_verifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 1 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 1 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 1 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 1 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 1 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 1 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 1 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 1 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 1 | 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 | 1 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_server->sv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 2 | err | s32min-(-1) |
| BUF_SIZE | 1 | rqstp | (-1),128 |
| BUF_SIZE | 1 | rqstp | (-1),128 |
| BUF_SIZE | 1 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 1 | rqstp->rq_arg.head->iov_base | 1 |
| CAPPED_DATA | 1 | rqstp->rq_cred.cr_gss_mech->gm_pf_num | 1 |
| DATA_SOURCE | 0 | nn | r net_generic |
| DATA_SOURCE | 1 | rqstp | $0 |
| DATA_SOURCE | 2 | err | r filemap_check_wb_err |
| CONSTRAINT | 1 | rqstp | <2945 |
| BIT_INFO | 2 | err | 0x0,0x7fffffff |
| NOCHECK_CALL | |||
| USER_DATA | 1 | rqstp->rq_xid | 0-u32max |
fs/nfsd/vfs.c nfsd_commit() -> commit_reset_write_verifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 1 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 1 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 1 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 1 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 1 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 1 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 1 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 1 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 1 | 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 | 1 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_server->sv_lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 2 | err | s32min-(-23),(-21)-(-1),1-s32max |
| BUF_SIZE | 1 | rqstp | (-1),128 |
| BUF_SIZE | 1 | rqstp | (-1),128 |
| BUF_SIZE | 1 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 1 | rqstp->rq_arg.head->iov_base | 1 |
| CAPPED_DATA | 1 | rqstp->rq_cred.cr_gss_mech->gm_pf_num | 1 |
| DATA_SOURCE | 0 | nn | r net_generic |
| DATA_SOURCE | 1 | rqstp | $0 |
| DATA_SOURCE | 2 | err | r vfs_fsync_range |
| CONSTRAINT | 1 | rqstp | <2945 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | rqstp->rq_xid | 0-u32max |
fs/nfsd/vfs.c nfsd_vfs_write() -> commit_reset_write_verifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 1 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 1 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 1 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 1 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 1 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 1 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 1 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 1 | rqstp->rq_bvec->bv_len | 1-u32max |
| PARAM_VALUE | 1 | rqstp->rq_bvec->bv_offset | 0-4095 |
| PARAM_VALUE | 1 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 1 | 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 | 1 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | *rqstp->rq_accept_statp | 0 |
| PARAM_VALUE | 1 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 2 | err | s32min-(-1) |
| BUF_SIZE | 1 | rqstp | 128 |
| BUF_SIZE | 1 | rqstp | 128 |
| BUF_SIZE | 1 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 1 | rqstp->rq_arg.head->iov_base | 1 |
| DATA_SOURCE | 0 | nn | r net_generic |
| DATA_SOURCE | 1 | rqstp | $0 |
| CONSTRAINT | 1 | rqstp | <2945 |
| NOCHECK_CALL | |||
| USER_DATA | 1 | rqstp->rq_xid | 0-u32max |
fs/nfsd/vfs.c nfsd_vfs_write() -> commit_reset_write_verifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 1 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 1 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 1 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 1 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 1 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 1 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 1 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 1 | rqstp->rq_bvec->bv_len | 1-u32max |
| PARAM_VALUE | 1 | rqstp->rq_bvec->bv_offset | 0-4095 |
| PARAM_VALUE | 1 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 1 | 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 | 1 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | *rqstp->rq_accept_statp | 0 |
| PARAM_VALUE | 1 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 2 | err | s32min-(-1) |
| BUF_SIZE | 1 | rqstp | 128 |
| BUF_SIZE | 1 | rqstp | 128 |
| BUF_SIZE | 1 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 1 | rqstp->rq_arg.head->iov_base | 1 |
| DATA_SOURCE | 0 | nn | r net_generic |
| DATA_SOURCE | 1 | rqstp | $0 |
| DATA_SOURCE | 2 | err | r filemap_check_wb_err |
| CONSTRAINT | 1 | rqstp | <2945 |
| BIT_INFO | 2 | err | 0x0,0x7fffffff |
| NOCHECK_CALL | |||
| USER_DATA | 1 | rqstp->rq_xid | 0-u32max |
fs/nfsd/vfs.c nfsd_vfs_write() -> commit_reset_write_verifier()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | rqstp | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_arg_stream->scratch.iov_base | 0-255 |
| PARAM_VALUE | 1 | rqstp->rq_authop->accept | 0,1103036785373782016,1687358314115878912,5247644339162972160,7875779351090917376 |
| PARAM_VALUE | 1 | rqstp->rq_authop->domain_release | 0,2296223070751191040,6648909504522293248 |
| PARAM_VALUE | 1 | rqstp->rq_authop->flavour | 0-1,6-7 |
| PARAM_VALUE | 1 | rqstp->rq_authop->name | 0,881490221644312576,1763101329338228736,4907575241036689408,6547218313901944832 |
| PARAM_VALUE | 1 | rqstp->rq_authop->owner | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_authop->pseudoflavor | 0,2801009937932914688 |
| PARAM_VALUE | 1 | rqstp->rq_authop->release | 0,525178101793169408,1013124013322760192,3624773763029225472 |
| PARAM_VALUE | 1 | rqstp->rq_authop->set_client | 0,4643772739257647104,6099676139357782016 |
| PARAM_VALUE | 1 | rqstp->rq_bvec->bv_len | 1-u32max |
| PARAM_VALUE | 1 | rqstp->rq_bvec->bv_offset | 0-4095 |
| PARAM_VALUE | 1 | rqstp->rq_procinfo->pc_func | 1-u64max |
| PARAM_VALUE | 1 | 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 | 1 | rqstp->rq_res.head | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->end | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_res_stream->p | 0-u32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_nprogs | 0-s32max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_programs | 4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_server->sv_stats | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt | 0,4096-ptr_max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->alloc_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->dead | 0-1 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->ns_tracker->free_stack_handle | 0-4294967295 |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->process_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->request_key_auth->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->session_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnbytes | s32min-s32max |
| PARAM_VALUE | 1 | rqstp->rq_xprt->xpt_cred->thread_keyring->user->qnkeys | s32min-s32max |
| PARAM_VALUE | 1 | *rqstp->rq_accept_statp | 0 |
| PARAM_VALUE | 1 | *rqstp->rq_pages | 4096-ptr_max |
| PARAM_VALUE | 2 | err | s32min-(-1) |
| BUF_SIZE | 1 | rqstp | 128 |
| BUF_SIZE | 1 | rqstp | 128 |
| BUF_SIZE | 1 | rqstp->rq_private | (-1),16 |
| CAPPED_DATA | 1 | rqstp->rq_arg.head->iov_base | 1 |
| DATA_SOURCE | 0 | nn | r net_generic |
| DATA_SOURCE | 1 | rqstp | $0 |
| DATA_SOURCE | 2 | err | r wait_for_concurrent_writes |
| CONSTRAINT | 1 | rqstp | <2945 |
| BIT_INFO | 2 | err | 0x0,0x7fffffff |
| NOCHECK_CALL | |||
| USER_DATA | 1 | rqstp->rq_xid | 0-u32max |