Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/crypto/mldsa.c invntt_and_mul_2_32() -> Zq_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | (-2147483647)-3595838,3628969,3632928,3677745,3693493,3694233,3724270,3724342,3759364,3767016,3776993,3821735,3833893,3859737,3861115,3881060,3930395,4083598,4186625 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/crypto/mldsa.c invntt_and_mul_2_32() -> Zq_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | b | 41978 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/crypto/mldsa.c mldsa_verify() -> Zq_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/crypto/mldsa.c mldsa_verify() -> Zq_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| RX_PATH | |||
| TASK_NOT_RUNNING |
lib/crypto/mldsa.c ntt() -> Zq_mult()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | a | (-4186625),(-4083598),(-3930395),(-3881060),(-3861115),(-3859737),(-3833893),(-3821735),(-3776993),(-3767016),(-3759364),(-3724342),(-3724270),(-3694233),(-3693493),(-3677745),(-3632928),(-3628969),(-3595838)-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING |