Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 result 4426942927358177280
PARAM_VALUE 1 left 4426942927358177280
PARAM_VALUE 4 ndigits 1-255
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
CAPPED_DATA 4 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 result 4426942927358177280
PARAM_VALUE 1 left 4426942927358177280
PARAM_VALUE 2 right 2709453616247504896
PARAM_VALUE 4 ndigits 1-255
BUF_SIZE 0 result 72
BUF_SIZE 1 left 72
BUF_SIZE 2 right 72
CAPPED_DATA 4 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 result 4096-ptr_max
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 1-255
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 right 8-s32max
BUF_SIZE 2 right 8-s32max
DATA_SOURCE 0 result $2
DATA_SOURCE 1 left $0
DATA_SOURCE 2 right $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

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

crypto/ecc.c vli_mmod_fast_521() -> vli_mod_add()

Type Parameter Key Value
PARAM_VALUE 0 result 4096-ptr_max
PARAM_VALUE 1 left 4096-ptr_max
PARAM_VALUE 2 right 3305023986384113664
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 9
BUF_SIZE 0 result 8-s32max
BUF_SIZE 0 result 8-s32max
BUF_SIZE 1 left 8-s32max
BUF_SIZE 1 left 8-s32max
BUF_SIZE 2 right 144
BUF_SIZE 2 right 144
DATA_SOURCE 0 result $0
DATA_SOURCE 1 left $0
DATA_SOURCE 2 right $3
DATA_SOURCE 3 mod $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

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