Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
- crypto/hctr2.c
- include/crypto/gf128hash.h, line 272
- lib/crypto/gf128hash.c, line 408
- lib/crypto/tests/polyval_kunit.c
Smatch caller information:
lib/crypto/tests/polyval_kunit.c hash_irq_test2_func() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-u16max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/polyval_kunit.c polyval() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5787513993285054464 |
| PARAM_VALUE | 2 | len | 0-16384 |
| BUF_SIZE | 1 | data | (-1),48,1024,4096,16384 |
| BUF_SIZE | 1 | data | (-1),48,1024,4096,16384 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| FUZZY_MAX | 2 | len | 4096 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 2 | len | unit_byte |
lib/crypto/tests/polyval_kunit.c test_hash_all_lens_up_to_4096() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7149923260238221312 |
| PARAM_VALUE | 1 | data | 4108837548965961728 |
| PARAM_VALUE | 2 | len | 16 |
| BUF_SIZE | 1 | data | 16 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial |
lib/crypto/tests/polyval_kunit.c test_hash_buffer_overruns() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 9163165509049499648 |
| PARAM_VALUE | 2 | len | 0-16352 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/polyval_kunit.c test_hash_buffer_overruns() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 9163165509049499648 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16352 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | data | r alloc_guarded_buf |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial |
lib/crypto/tests/polyval_kunit.c test_hash_buffer_overruns() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16352 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 1 | data | r alloc_guarded_buf |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial | |
| UNITS | 0 | ctx | unit_byte |
lib/crypto/tests/polyval_kunit.c test_hash_ctx_zeroization() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3312988314060922880 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 128 |
| BUF_SIZE | 1 | data | 128 |
| BUF_SIZE | 1 | data | 128 |
| DATA_SOURCE | 1 | data | r alloc_buf |
| NOCHECK_CALL |
lib/crypto/tests/polyval_kunit.c test_hash_incremental_updates() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1014031860735492096 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16384 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial |
lib/crypto/tests/polyval_kunit.c test_hash_incremental_updates() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1014031860735492096 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16384,18446744073709535232-u64max |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial |
lib/crypto/tests/polyval_kunit.c test_hash_overlaps() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6377355840351879168 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16368 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial |
lib/crypto/tests/polyval_kunit.c test_hash_overlaps() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6377355840351879168 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16368 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial |
lib/crypto/tests/polyval_kunit.c test_polyval_allones_key_and_message() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6669858392512684032 |
| PARAM_VALUE | 1 | data | 6795434937498390528 |
| PARAM_VALUE | 2 | len | 16 |
| BUF_SIZE | 1 | data | 16 |
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial | |
| UNITS | 2 | len | unit_byte |
crypto/hctr2.c hctr2_hash_message() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | data | 0,4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 0 | ctx | 32 |
| CAPPED_DATA | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ctx->partial | 0-15[c] |
| HOST_DATA | 2 | len | 0-s32max[c] |
| USER_DATA | 0 | ctx->acc.hi | 0-u64max[c] |
| USER_DATA | 0 | ctx->acc.lo | 0-u64max[c] |
| USER_DATA | 0 | ctx->partial | 0-15[c] |
| USER_DATA | 2 | len | 0-s32max[c] |
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial | |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
crypto/hctr2.c hctr2_hash_message() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | *ctx->acc.bytes | 0-255 |
| PARAM_VALUE | 1 | data | 6971458479508451328 |
| PARAM_VALUE | 1 | *data | 1 |
| PARAM_VALUE | 2 | len | 1 |
| BUF_SIZE | 0 | ctx | 32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | ctx->partial | 0-15[c] |
| USER_DATA | 0 | ctx->acc.hi | 0-u64max[c] |
| USER_DATA | 0 | ctx->acc.lo | 0-u64max[c] |
| USER_DATA | 0 | ctx->partial | 0-15[c] |
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial |
crypto/hctr2.c hctr2_hash_tweak() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 32 |
| BUF_SIZE | 0 | ctx | 32 |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | *data | 0-255 |
| UNITS | 1 | data | unit_byte |
| USER_PTR | 1 | data | |
| HALF_LOCKED2 | &mkey->sem | ||
| HALF_LOCKED2 | s->tfm_mutex | ||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | tfm_mutex |
crypto/hctr2.c hctr2_hash_tweaklens() -> polyval_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6157303736095526912 |
| PARAM_VALUE | 1 | data | 1791005116182093824 |
| PARAM_VALUE | 2 | len | 16 |
| BUF_SIZE | 1 | data | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->partial | |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &ac->mutex | ||
| HALF_LOCKED2 | &crypt_stat->cs_mutex | ||
| HALF_LOCKED2 | &crypt_stat->cs_tfm_mutex | ||
| HALF_LOCKED2 | &crypt_stat->keysig_list_mutex | ||
| HALF_LOCKED2 | &mkey->sem | ||
| HALF_LOCKED2 | &sdata->sec_mtx | ||
| HALF_LOCKED2 | &walker->global_auth_tok_key->sem | ||
| HALF_LOCKED2 | global &key_tfm_list_mutex | ||
| HALF_LOCKED2 | s->tfm_mutex | ||
| HALF_LOCKED2 | sk | ||
| HALF_LOCKED2 | tfm_mutex |