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

Type Parameter Key Value
PARAM_VALUE 0 result 5769293948855439360
PARAM_VALUE 3 ndigits 1-255
BUF_SIZE 0 result 72
BUF_SIZE 1 input 72
BUF_SIZE 1 input 72
CAPPED_DATA 3 ndigits 1
DATA_SOURCE 1 input $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 result 8157645667639644160
PARAM_VALUE 1 input 8157645667639644160
PARAM_VALUE 3 ndigits 1-536870911
BUF_SIZE 0 result 64
BUF_SIZE 0 result 64
BUF_SIZE 1 input 64
CAPPED_DATA 3 ndigits 1
PARAM_COMPARE 0 result == $1
PARAM_COMPARE 1 input == $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c ecc_point_add() -> vli_mod_inv()

Type Parameter Key Value
PARAM_VALUE 0 result 268223441661198336
PARAM_VALUE 1 input 268223441661198336
PARAM_VALUE 2 mod 4096-ptr_max
PARAM_VALUE 3 ndigits 0-255
BUF_SIZE 0 result 72
BUF_SIZE 1 input 72
CAPPED_DATA 3 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 ndigits unit_array_size

crypto/ecc.c ecc_point_mult() -> vli_mod_inv()

Type Parameter Key Value
PARAM_VALUE 0 result 8718987601479409664
PARAM_VALUE 1 input 8718987601479409664
PARAM_VALUE 2 mod 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 input 72
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 ndigits unit_array_size

crypto/ecc.c ecc_point_mult_shamir() -> vli_mod_inv()

Type Parameter Key Value
PARAM_VALUE 0 result 4096-ptr_max
PARAM_VALUE 1 input 4096-ptr_max
PARAM_VALUE 2 mod 4096-ptr_max
PARAM_VALUE 3 ndigits 0-255
BUF_SIZE 0 result 72
BUF_SIZE 1 input 72
CAPPED_DATA 3 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 3 ndigits unit_array_size