Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 8-s32max
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 8-4000000
BUF_SIZE 1 src 8-4000000
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 5633005361308717056
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 8-s32max
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 8745118482380214272
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 8-4000000
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 72
BUF_SIZE 1 src 72
CAPPED_DATA 0 dest 1
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $0
DATA_SOURCE 1 src $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 dest 72
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 8-4000000
BUF_SIZE 1 src 8-4000000
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $2
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 8203735931767463936
PARAM_VALUE 2 ndigits 1-255
BUF_SIZE 0 dest 8-4000000
BUF_SIZE 0 dest 8-4000000
BUF_SIZE 1 src 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 8-s32max
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 8-4000000
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 dest 8-4000000
BUF_SIZE 1 src 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 8-s32max
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 8-4000000
BUF_SIZE 0 dest 8-4000000
BUF_SIZE 1 src 8-4000000
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 2450117657265328128
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 8-s32max
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 3576760160948035584
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 8-4000000
CAPPED_DATA 2 ndigits 1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_barrett() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 1 src 6478384016409944064
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 144
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $0
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_fast_192() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 1 src 6027494995232227328,6358993945487458304
PARAM_VALUE 2 ndigits 3
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 144
BUF_SIZE 1 src 144
DATA_SOURCE 0 dest $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c vli_mmod_fast_192() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 3305023986384113664
PARAM_VALUE 1 src 6027494995232227352,6358993945487458328
PARAM_VALUE 2 ndigits 3
BUF_SIZE 0 dest 144
BUF_SIZE 0 dest 144
BUF_SIZE 1 src 120
DATA_SOURCE 0 dest $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c vli_mmod_fast_256() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 1 src 6027494995232227328,6358993945487458304
PARAM_VALUE 2 ndigits 4
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 144
BUF_SIZE 1 src 144
DATA_SOURCE 0 dest $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c vli_mmod_fast_384() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 1 src 6027494995232227328,6358993945487458304
PARAM_VALUE 2 ndigits 6
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 144
BUF_SIZE 1 src 144
DATA_SOURCE 0 dest $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 src 6027494995232227328,6358993945487458304
PARAM_VALUE 2 ndigits 9
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 144
BUF_SIZE 1 src 144
DATA_SOURCE 0 dest $0
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c vli_mmod_slow() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 2 ndigits 1-536870911
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 src $2
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_slow() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 4012762346941906944,5551982396269572096,6992815334817284096,8083836569527193600
PARAM_VALUE 2 ndigits 1-536870911
BUF_SIZE 0 dest 64,72
BUF_SIZE 0 dest 64,72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $0
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_special() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 8499600104465281024
PARAM_VALUE 1 src 6027494995232227328,6358993945487458304
PARAM_VALUE 2 ndigits 0-510
BUF_SIZE 0 dest 144
BUF_SIZE 1 src 144
BUF_SIZE 1 src 144
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

crypto/ecc.c vli_mmod_special() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 202133725228777472
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 144
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 src $2
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_special() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 1 src 8499600104465281024
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 144
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $0
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_special2() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 7317474417252052992
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 144
DATA_SOURCE 1 src $2
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_special2() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 5594039353691275264
PARAM_VALUE 1 src 6027494995232227328,6358993945487458304
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 144
BUF_SIZE 1 src 144
BUF_SIZE 1 src 144
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 src $1
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_special2() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 2218903546851745792
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_special2() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 2218903546851745792
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c vli_mmod_special2() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 1 src 5594039353691275264
PARAM_VALUE 1 *src 0
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 144
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $0
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 2181897681604382720
PARAM_VALUE 2 ndigits 1-u32max
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 64,72
BUF_SIZE 1 src 64,72
DATA_SOURCE 1 src $1
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4561837590826237952
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 dest 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 src $2
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 0 dest 4096-ptr_max
PARAM_VALUE 1 src 7393416940008321024
PARAM_VALUE 2 ndigits 1-s32max
BUF_SIZE 0 dest 64,72
BUF_SIZE 0 dest 64,72
BUF_SIZE 1 src 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $0
DATA_SOURCE 2 ndigits $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 1 src 8716912115080310784
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 0 dest 8-s32max
BUF_SIZE 1 src 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

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

Type Parameter Key Value
PARAM_VALUE 1 src 8049099437357289472
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c xycz_initial_double() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 72
BUF_SIZE 1 src 72
DATA_SOURCE 0 dest $2
DATA_SOURCE 1 src $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c xycz_initial_double() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 1 src 4096-ptr_max
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
BUF_SIZE 0 dest 72
BUF_SIZE 1 src 72
BUF_SIZE 1 src 72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 0 dest $3
DATA_SOURCE 1 src $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size

crypto/ecc.c xycz_initial_double() -> vli_set()

Type Parameter Key Value
PARAM_VALUE 0 dest 1451602487256293376
PARAM_VALUE 0 *dest 0
PARAM_VALUE 1 src 8730114843104108544
PARAM_VALUE 2 ndigits 0-255
BUF_SIZE 0 dest 72
BUF_SIZE 1 src (-1),72
BUF_SIZE 1 src (-1),72
CAPPED_DATA 2 ndigits 1
DATA_SOURCE 1 src $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 ndigits unit_array_size