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() -> vli_mod_mult_slow()

Type Parameter Key Value
PARAM_VALUE 0 result 8083836569527193600
PARAM_VALUE 1 left 5416935484317892608
PARAM_VALUE 2 right 5769293948855439360
PARAM_VALUE 4 ndigits 1-255
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 1 left 72
BUF_SIZE 2 right 72
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 1 left $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 result 6992815334817284096
PARAM_VALUE 2 right 5769293948855439360
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 1-255
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 1 left 72
BUF_SIZE 2 right 72
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 1 left $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 result 5551982396269572096
PARAM_VALUE 1 left 6078718098688016384
PARAM_VALUE 2 right 8157645667639644160
PARAM_VALUE 4 ndigits 1-536870911
BUF_SIZE 0 result 64
BUF_SIZE 1 left 64
BUF_SIZE 2 right 64
BUF_SIZE 2 right 64
CAPPED_DATA 4 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 result 4012762346941906944
PARAM_VALUE 1 left 4012762346941906944
PARAM_VALUE 2 right 8157645667639644160
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 1-536870911
BUF_SIZE 0 result 64
BUF_SIZE 0 result 64
BUF_SIZE 1 left 64
BUF_SIZE 2 right 64
BUF_SIZE 2 right 64
CAPPED_DATA 4 ndigits 1
PARAM_COMPARE 0 result == $1
PARAM_COMPARE 1 left == $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL