Documented in 1 files:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
crypto/rsa-pkcs1pad.c pkcs1pad_decrypt() -> akcipher_request_set_crypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 2 | dst | 4096-ptr_max |
| PARAM_VALUE | 3 | src_len | 1-u32max |
| PARAM_VALUE | 4 | dst_len | 1-4000000 |
| CAPPED_DATA | 3 | src_len | 1 |
| CAPPED_DATA | 4 | dst_len | 1 |
| PARAM_COMPARE | 3 | src_len | == $4 |
| PARAM_COMPARE | 4 | dst_len | == $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 1 | src->length | |
| NO_OVERFLOW_SIMPLE | 3 | src_len | |
| UNITS | 3 | src_len | unit_byte |
| UNITS | 4 | dst_len | unit_byte |
crypto/rsa-pkcs1pad.c pkcs1pad_encrypt() -> akcipher_request_set_crypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | src | 4096-ptr_max |
| PARAM_VALUE | 4 | dst_len | 1-u32max |
| BUF_SIZE | 1 | src | 64 |
| CAPPED_DATA | 3 | src_len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | dst->length | |
| NO_OVERFLOW_SIMPLE | 4 | dst_len | |
| UNITS | 3 | src_len | unit_byte |
| UNITS | 4 | dst_len | unit_byte |
crypto/akcipher.c crypto_akcipher_sync_prep() -> akcipher_request_set_crypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | src | 1775690338895724688,5614711960568672400 |
| PARAM_VALUE | 2 | dst | 1775690338895724688,5614711960568672400 |
| PARAM_VALUE | 3 | src_len | 0-3999999 |
| PARAM_VALUE | 4 | dst_len | 0-4000000 |
| BUF_SIZE | 0 | req | 0-u32max |
| BUF_SIZE | 0 | req | 0-u32max |
| BUF_SIZE | 1 | src | 32 |
| BUF_SIZE | 2 | dst | 32 |
| DATA_SOURCE | 0 | req | r _kzalloc_noprof |
| NOSPEC | 3 | src_len | |
| NOSPEC | 3 | src_len | |
| NOCHECK_CALL | |||
| USER_DATA | 3 | src_len | 0-u16max[c] |
| UNITS | 3 | src_len | unit_byte |
| UNITS | 4 | dst_len | unit_byte |
crypto/testmgr.c test_akcipher_one() -> akcipher_request_set_crypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | src | 617210980408705024 |
| PARAM_VALUE | 2 | dst | 2441595463378993152 |
| PARAM_VALUE | 3 | src_len | 0-4096 |
| PARAM_VALUE | 4 | dst_len | 0-4000000 |
| BUF_SIZE | 0 | req | 72-s32max |
| BUF_SIZE | 0 | req | 72-s32max |
| BUF_SIZE | 1 | src | 64 |
| DATA_SOURCE | 0 | req | r akcipher_request_alloc |
| DATA_SOURCE | 4 | dst_len | r crypto_akcipher_maxsize |
| FUZZY_MAX | 3 | src_len | 4096 |
| NOCHECK_CALL | |||
| UNITS | 3 | src_len | unit_byte |
| HALF_LOCKED2 | global &once_lock |
crypto/testmgr.c test_akcipher_one() -> akcipher_request_set_crypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 0 | req->dst | 2441595463378993152 |
| PARAM_VALUE | 0 | req->src | 617210980408705024 |
| PARAM_VALUE | 0 | req->src_len | 0-4096 |
| PARAM_VALUE | 1 | src | 3299727237306015744 |
| PARAM_VALUE | 2 | dst | 2441595463378993152 |
| PARAM_VALUE | 3 | src_len | 0-4096 |
| PARAM_VALUE | 4 | dst_len | 0-4000000 |
| BUF_SIZE | 0 | req | 72-s32max |
| BUF_SIZE | 0 | req | 72-s32max |
| CAPPED_DATA | 0 | req->src_len | 1 |
| DATA_SOURCE | 0 | req | r akcipher_request_alloc |
| DATA_SOURCE | 4 | dst_len | r crypto_akcipher_maxsize |
| FUZZY_MAX | 3 | src_len | 4096 |
| PARAM_COMPARE | 3 | src_len | == $0->dst_len |
| NOCHECK_CALL | |||
| UNITS | 3 | src_len | unit_byte |
| HALF_LOCKED2 | global &once_lock |
crypto/rsassa-pkcs1.c rsassa_pkcs1_verify() -> akcipher_request_set_crypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | req | 4096-ptr_max |
| PARAM_VALUE | 1 | src | 7541056129506603008 |
| PARAM_VALUE | 2 | dst | 7541056129506603008 |
| PARAM_VALUE | 3 | src_len | 1-u32max |
| PARAM_VALUE | 4 | dst_len | 1-u32max |
| BUF_SIZE | 0 | req | 73-8589934662 |
| BUF_SIZE | 0 | req | 73-8589934662 |
| CAPPED_DATA | 3 | src_len | 1 |
| CAPPED_DATA | 4 | dst_len | 1 |
| DATA_SOURCE | 0 | req | r _kmalloc_noprof |
| DATA_SOURCE | 3 | src_len | $2 |
| DATA_SOURCE | 4 | dst_len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | src_len | unit_byte |
| UNITS | 4 | dst_len | unit_byte |