Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 result 268223441661198336
PARAM_VALUE 4 ndigits 0-255
BUF_SIZE 0 result 72
BUF_SIZE 1 left 8-s32max
BUF_SIZE 2 right 8-s32max
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_sub()

Type Parameter Key Value
PARAM_VALUE 0 result 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 8-s32max
BUF_SIZE 1 left 8-s32max
BUF_SIZE 2 right 72
BUF_SIZE 2 right 72
DATA_SOURCE 0 result $2
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_sub()

Type Parameter Key Value
PARAM_VALUE 0 result 4096-ptr_max
PARAM_VALUE 1 left 4096-ptr_max
PARAM_VALUE 2 right 2761009113708785664
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
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 0 result $2
DATA_SOURCE 1 left $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 result 4096-ptr_max
PARAM_VALUE 1 left 4096-ptr_max
PARAM_VALUE 2 right 2761009113708785664
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
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 0 result $2
DATA_SOURCE 1 left $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 result 2761009113708785664
PARAM_VALUE 1 left 2761009113708785664
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 1 left 72
BUF_SIZE 2 right 72
BUF_SIZE 2 right 72
CAPPED_DATA 4 ndigits 1
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_sub()

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 result 955193724717219840
PARAM_VALUE 2 right 2450117657265328128
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 0-255
BUF_SIZE 0 result 72
BUF_SIZE 1 left 8-s32max
BUF_SIZE 1 left 8-s32max
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 xycz_add() -> vli_mod_sub()

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

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

Type Parameter Key Value
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 0-255
BUF_SIZE 0 result 8-4000000
BUF_SIZE 0 result 8-4000000
BUF_SIZE 1 left 8-4000000
BUF_SIZE 1 left 8-4000000
BUF_SIZE 2 right 72
BUF_SIZE 2 right 72
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 0 result $3
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() -> vli_mod_sub()

Type Parameter Key Value
PARAM_VALUE 0 result 8716912115080310784
PARAM_VALUE 1 left 8716912115080310784
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 2 right 72
BUF_SIZE 2 right 72
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 2 right $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

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

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

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

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

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

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

Type Parameter Key Value
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 0-255
BUF_SIZE 0 result 8-4000000
BUF_SIZE 0 result 8-4000000
BUF_SIZE 1 left 8-4000000
BUF_SIZE 1 left 8-4000000
BUF_SIZE 2 right 72
BUF_SIZE 2 right 72
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 0 result $3
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_sub()

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 $2
DATA_SOURCE 2 right $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 0-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
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 0 result $3
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_sub()

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 $2
DATA_SOURCE 2 right $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 result 8049099437357289472
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

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

Type Parameter Key Value
PARAM_VALUE 3 mod 4096-ptr_max
PARAM_VALUE 4 ndigits 0-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
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 0 result $3
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_sub()

Type Parameter Key Value
PARAM_VALUE 0 result 8049099437357289472
PARAM_VALUE 1 left 8049099437357289472
PARAM_VALUE 2 right 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 2 right 72
CAPPED_DATA 4 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 result 4220682371828604928
PARAM_VALUE 1 left 8049099437357289472
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 2 right 72
BUF_SIZE 2 right 72
CAPPED_DATA 4 ndigits 1
DATA_SOURCE 2 right $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 4 ndigits unit_array_size

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

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