Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

crypto/asymmetric_keys/public_key.c public_key_verify_signature() -> crypto_sig_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 0 tfm s32min-s32max
BUF_SIZE 1 src (-1)-u16max
BUF_SIZE 3 digest (-1)-u16max
DATA_SOURCE 0 tfm r crypto_alloc_sig
RX_PATH
TASK_NOT_RUNNING
UNITS 2 slen unit_byte
UNITS 3 digest unit_byte
UNITS 4 dlen unit_byte

crypto/testmgr.c test_sig_one() -> crypto_sig_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
HALF_LOCKED2 global &once_lock

crypto/ecdsa-x962.c ecdsa_x962_verify() -> crypto_sig_verify()

Type Parameter Key Value
PARAM_VALUE 1 src 8232766264348758016
PARAM_VALUE 2 slen 144
BUF_SIZE 1 src 144
BUF_SIZE 3 digest (-1)-s32max
BUF_SIZE 3 digest (-1)-s32max
DATA_SOURCE 3 digest $3
DATA_SOURCE 4 dlen $4
RX_PATH
TASK_NOT_RUNNING
UNITS 2 slen unit_byte

crypto/ecdsa-p1363.c ecdsa_p1363_verify() -> crypto_sig_verify()

Type Parameter Key Value
PARAM_VALUE 1 src 1795089103566614528
PARAM_VALUE 2 slen 144
BUF_SIZE 1 src 144
BUF_SIZE 3 digest (-1)-s32max
BUF_SIZE 3 digest (-1)-s32max
DATA_SOURCE 3 digest $3
DATA_SOURCE 4 dlen $4
RX_PATH
TASK_NOT_RUNNING
UNITS 2 slen unit_byte