Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
crypto/asymmetric_keys/public_key.c crypto_sig_verify() -> (struct sig_alg)->verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tfm | 1-ptr_max |
| PARAM_VALUE | 0 | tfm->base.__crt_ctx->algo_oid | 74-75 |
| PARAM_VALUE | 0 | tfm->base.__crt_ctx->digest | 5605048553797771264,8004285820077367296 |
| PARAM_VALUE | 0 | tfm->base.__crt_ctx->digest_len | 32,64 |
| PARAM_VALUE | 0 | tfm->base.__crt_ctx->digest_oid | 76-77 |
| PARAM_VALUE | 0 | tfm->base.__crt_ctx->key_size | 0-4096 |
| PARAM_VALUE | 0 | *tfm->base.__crt_ctx->digest | 0-255 |
| PARAM_VALUE | 1 | src | 1-u64max |
| BUF_SIZE | 1 | src | (-1)-u16max |
| BUF_SIZE | 1 | src | (-1)-u16max |
| BUF_SIZE | 3 | digest | (-1)-u16max |
| BUF_SIZE | 3 | digest | (-1)-u16max |
| DATA_SOURCE | 0 | tfm | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 2 | slen | $2 |
| DATA_SOURCE | 3 | digest | $3 |
| DATA_SOURCE | 4 | dlen | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/testmgr.c crypto_sig_verify() -> (struct sig_alg)->verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | tfm | 1-ptr_max |
| PARAM_VALUE | 0 | tfm->base.__crt_ctx->key_size | 0-4096 |
| DATA_SOURCE | 0 | tfm | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 2 | slen | $2 |
| DATA_SOURCE | 3 | digest | $3 |
| DATA_SOURCE | 4 | dlen | $4 |
| HALF_LOCKED2 | global &once_lock |
crypto/ecdsa-x962.c crypto_sig_verify() -> (struct sig_alg)->verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | src | 8232766264348758016 |
| PARAM_VALUE | 2 | slen | 144 |
| BUF_SIZE | 1 | src | 144 |
| BUF_SIZE | 1 | src | 144 |
| BUF_SIZE | 3 | digest | (-1)-s32max |
| BUF_SIZE | 3 | digest | (-1)-s32max |
| DATA_SOURCE | 0 | tfm | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 2 | slen | $2 |
| DATA_SOURCE | 3 | digest | $3 |
| DATA_SOURCE | 4 | dlen | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 4 | dlen |
crypto/ecdsa-p1363.c crypto_sig_verify() -> (struct sig_alg)->verify()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | src | 1795089103566614528 |
| PARAM_VALUE | 2 | slen | 144 |
| BUF_SIZE | 1 | src | 144 |
| BUF_SIZE | 1 | src | 144 |
| BUF_SIZE | 3 | digest | (-1)-s32max |
| BUF_SIZE | 3 | digest | (-1)-s32max |
| DATA_SOURCE | 0 | tfm | $0 |
| DATA_SOURCE | 1 | src | $1 |
| DATA_SOURCE | 2 | slen | $2 |
| DATA_SOURCE | 3 | digest | $3 |
| DATA_SOURCE | 4 | dlen | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 4 | dlen |