Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

crypto/ecdsa.c _ecdsa_verify() -> ecc_point_mult_shamir()

Type Parameter Key Value
PARAM_VALUE 0 result 3658654567283658752
PARAM_VALUE 1 u1 8083836569527193600
PARAM_VALUE 2 p 4096-ptr_max
PARAM_VALUE 2 p->ndigits 1-255
PARAM_VALUE 3 u2 6992815334817284096
PARAM_VALUE 4 q 4096-ptr_max
PARAM_VALUE 5 curve 4096-ptr_max
PARAM_VALUE 5 curve->g.ndigits 1-255
PARAM_VALUE 5 curve->n 4096-ptr_max
BUF_SIZE 1 u1 72
BUF_SIZE 3 u2 72
CAPPED_DATA 5 curve->g.ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecrdsa.c ecrdsa_verify() -> ecc_point_mult_shamir()

Type Parameter Key Value
PARAM_VALUE 0 result 7168073528713383936
PARAM_VALUE 1 u1 5551982396269572096
PARAM_VALUE 2 p 4096-ptr_max
PARAM_VALUE 3 u2 4012762346941906944
PARAM_VALUE 4 q 4096-ptr_max
PARAM_VALUE 4 q->x 1-u64max
PARAM_VALUE 5 curve 4096-ptr_max
PARAM_VALUE 5 curve->n 4096-ptr_max
BUF_SIZE 1 u1 64
BUF_SIZE 3 u2 64
BUF_SIZE 3 u2 64
CAPPED_DATA 5 curve->g.ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL