Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/ecc.c apply_z() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 4535489562432835584
PARAM_VALUE 1 left 4096-ptr_max
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 1 left 72
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
DATA_SOURCE 1 left $2
DATA_SOURCE 2 curve $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 result 4654263494991921152
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->n 0,4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 8-4000000
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 2 curve $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 result 2709453616247504896
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->n 0,4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 8-s32max
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 2 curve $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c ecc_point_double_jacobian() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 8203735931767463936
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->g.ndigits 1-255
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 8-4000000
BUF_SIZE 1 left 8-4000000
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
DATA_SOURCE 1 left $1
DATA_SOURCE 2 curve $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c ecc_point_double_jacobian() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 8203735931767463936
PARAM_VALUE 1 left 8203735931767463936
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->g.ndigits 1-255
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 2 curve $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c ecc_point_double_jacobian() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 4096-ptr_max
PARAM_VALUE 1 left 4096-ptr_max
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->g.ndigits 1-255
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 1 left 72
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 0 result $2
DATA_SOURCE 1 left $2
DATA_SOURCE 2 curve $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c ecc_point_double_jacobian() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 4096-ptr_max
PARAM_VALUE 1 left 4096-ptr_max
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->g.ndigits 1-255
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 0 result 72
BUF_SIZE 1 left 8-s32max
BUF_SIZE 1 left 8-s32max
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 1 left 1
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 0 result $2
DATA_SOURCE 1 left $0
DATA_SOURCE 2 curve $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c xycz_add() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 8716912115080310784
PARAM_VALUE 1 left 8716912115080310784
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 2 curve $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c xycz_add() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 8716912115080310784
PARAM_VALUE 2 curve 4096-ptr_max
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 8-4000000
BUF_SIZE 1 left 8-4000000
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 1 left $3
DATA_SOURCE 2 curve $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c xycz_add_c() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 7118816379499110400
PARAM_VALUE 1 left 7118816379499110400
PARAM_VALUE 2 curve 325837335109206016,6244681601168982016,7021259536947654656,9167059437627596800
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 2 curve $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c xycz_add_c() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 2 curve 325837335109206016,6244681601168982016,7021259536947654656,9167059437627596800
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 1 left 72
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 0 result $2
DATA_SOURCE 1 left $3
DATA_SOURCE 2 curve $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c xycz_add_c() -> vli_mod_square_fast()

Type Parameter Key Value
PARAM_VALUE 0 result 8049099437357289472
PARAM_VALUE 1 left 7118816379499110400
PARAM_VALUE 2 curve 325837335109206016,6244681601168982016,7021259536947654656,9167059437627596800
PARAM_VALUE 2 curve->n 4096-ptr_max
PARAM_VALUE 2 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 2 curve->p 4096-ptr_max
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 2 curve (-1),72
BUF_SIZE 2 curve (-1),72
CAPPED_DATA 2 curve->g.ndigits 1
DATA_SOURCE 2 curve $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL