Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- crypto/ecc.c, line 91
- crypto/ecdh.c, line 43
- crypto/ecdsa-p1363.c
- crypto/ecdsa-x962.c, line 53
- crypto/ecdsa.c
Smatch caller information:
crypto/ecdsa.c ecdsa_set_pub_key() -> ecc_digits_from_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in | 4097-18446744073709547521 |
| PARAM_VALUE | 1 | nbytes | 0-s32max |
| PARAM_VALUE | 3 | ndigits | 0-255 |
| BUF_SIZE | 2 | out | 8-s32max |
| CAPPED_DATA | 3 | ndigits | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | nbytes | unit_byte |
| UNITS | 3 | ndigits | unit_array_size |
crypto/ecdsa.c ecdsa_set_pub_key() -> ecc_digits_from_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in | 4096-ptr_max |
| PARAM_VALUE | 1 | nbytes | 0-s32max |
| PARAM_VALUE | 3 | ndigits | 0-255 |
| BUF_SIZE | 2 | out | 8-4000000 |
| CAPPED_DATA | 3 | ndigits | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | nbytes | unit_byte |
| UNITS | 3 | ndigits | unit_array_size |
crypto/ecdsa.c ecdsa_verify() -> ecc_digits_from_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | nbytes | 0-2040 |
| PARAM_VALUE | 2 | out | 5416935484317892608 |
| BUF_SIZE | 0 | in | (-1)-s32max |
| BUF_SIZE | 2 | out | 72 |
| CAPPED_DATA | 1 | nbytes | 1 |
| DATA_SOURCE | 0 | in | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 3 | ndigits | unit_array_size |
crypto/ecdh.c ecdh_set_secret() -> ecc_digits_from_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in | 1-u64max |
| PARAM_VALUE | 1 | nbytes | 1-u16max |
| BUF_SIZE | 0 | in | 32,66 |
| BUF_SIZE | 2 | out | 72 |
| CAPPED_DATA | 1 | nbytes | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 1 | nbytes | unit_byte |
| HALF_LOCKED2 | &chip->ops_sem | ||
| HALF_LOCKED2 | &chip->tpm_mutex |
crypto/ecdsa-x962.c ecdsa_get_signature_rs() -> ecc_digits_from_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in | 1-u64max |
| BUF_SIZE | 2 | out | 72 |
| BUF_SIZE | 2 | out | 72 |
| DATA_SOURCE | 1 | nbytes | $4 [m] |
| DATA_SOURCE | 2 | out | $0 |
| DATA_SOURCE | 3 | ndigits | $5 |
| NOCHECK_CALL |
crypto/ecdsa-p1363.c ecdsa_p1363_verify() -> ecc_digits_from_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | ndigits | 0-536870912 |
| BUF_SIZE | 0 | in | (-1)-u16max |
| BUF_SIZE | 2 | out | 72 |
| DATA_SOURCE | 0 | in | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
crypto/ecdsa-p1363.c ecdsa_p1363_verify() -> ecc_digits_from_bytes()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | in | 4096-ptr_max |
| PARAM_VALUE | 3 | ndigits | 0-536870912 |
| BUF_SIZE | 2 | out | 72 |
| CAPPED_DATA | 3 | ndigits | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |