Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

crypto/ecrdsa.c ecrdsa_set_pub_key() -> ecc_is_pubkey_valid_partial()

Type Parameter Key Value
PARAM_VALUE 0 curve 4096-ptr_max
PARAM_VALUE 1 pk 4096-ptr_max
PARAM_VALUE 1 pk->x 4096-ptr_max
PARAM_VALUE 1 pk->y 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING

crypto/ecc.c crypto_ecdh_shared_secret() -> ecc_is_pubkey_valid_partial()

Type Parameter Key Value
PARAM_VALUE 0 curve 0,325837335109206016,6244681601168982016,7021259536947654656,9167059437627596800
PARAM_VALUE 1 pk 4096-ptr_max
PARAM_VALUE 1 pk->ndigits 1-9
PARAM_VALUE 1 pk->x 4096-ptr_max
PARAM_VALUE 1 pk->y 4096-ptr_max
BUF_SIZE 0 curve (-1),72
BUF_SIZE 0 curve (-1),72
BUF_SIZE 1 pk 24
DATA_SOURCE 0 curve r ecc_get_curve
DATA_SOURCE 1 pk r ecc_alloc_point
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &chip->ops_sem
HALF_LOCKED2 &chip->tpm_mutex

crypto/ecc.c ecc_is_pubkey_valid_full() -> ecc_is_pubkey_valid_partial()

Type Parameter Key Value
PARAM_VALUE 0 curve 325837335109206016,6244681601168982016,7021259536947654656,9167059437627596800
PARAM_VALUE 0 curve->n 0,4096-ptr_max
PARAM_VALUE 0 curve->p 4096-ptr_max
PARAM_VALUE 1 pk 4096-ptr_max
BUF_SIZE 0 curve (-1),72
BUF_SIZE 0 curve (-1),72
BUF_SIZE 1 pk (-1),24
BUF_SIZE 1 pk (-1),24
CAPPED_DATA 0 curve->g.ndigits 1
DATA_SOURCE 0 curve $0
DATA_SOURCE 1 pk $1
RX_PATH
TASK_NOT_RUNNING