Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 2 z 268223441661198336
PARAM_VALUE 3 curve 4096-ptr_max
PARAM_VALUE 3 curve->n 4096-ptr_max
PARAM_VALUE 3 curve->p 4096-ptr_max
BUF_SIZE 0 x1 8-s32max
BUF_SIZE 1 y1 8-4000000
BUF_SIZE 2 z 72
CAPPED_DATA 3 curve->g.ndigits 1
DATA_SOURCE 3 curve $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 x1 2450117657265328128
PARAM_VALUE 1 y1 3576760160948035584
PARAM_VALUE 2 z 4096-ptr_max
PARAM_VALUE 3 curve 4096-ptr_max
PARAM_VALUE 3 curve->n 4096-ptr_max
PARAM_VALUE 3 curve->p 4096-ptr_max
BUF_SIZE 0 x1 72
BUF_SIZE 1 y1 72
BUF_SIZE 2 z 72
CAPPED_DATA 3 curve->g.ndigits 1
DATA_SOURCE 3 curve $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 2 z 4096-ptr_max
PARAM_VALUE 3 curve 4096-ptr_max
PARAM_VALUE 3 curve->n 4096-ptr_max
PARAM_VALUE 3 curve->p 4096-ptr_max
BUF_SIZE 0 x1 8-s32max
BUF_SIZE 0 x1 8-s32max
BUF_SIZE 1 y1 8-4000000
BUF_SIZE 1 y1 8-4000000
BUF_SIZE 2 z 72
CAPPED_DATA 3 curve->g.ndigits 1
DATA_SOURCE 3 curve $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 x1 4096-ptr_max
PARAM_VALUE 1 y1 4096-ptr_max
PARAM_VALUE 2 z 1451602487256293376
PARAM_VALUE 3 curve 325837335109206016,6244681601168982016,7021259536947654656,9167059437627596800
PARAM_VALUE 3 curve->n 4096-ptr_max
PARAM_VALUE 3 curve->nbits 192,255-256,384,512,521
PARAM_VALUE 3 curve->p 4096-ptr_max
BUF_SIZE 0 x1 72
BUF_SIZE 0 x1 72
BUF_SIZE 1 y1 72
BUF_SIZE 1 y1 72
BUF_SIZE 2 z 72
BUF_SIZE 3 curve (-1),72
BUF_SIZE 3 curve (-1),72
DATA_SOURCE 0 x1 $0
DATA_SOURCE 1 y1 $1
DATA_SOURCE 3 curve $5
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

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

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