Documented in 1 files:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
crypto/jitterentropy-kcapi.c jent_hash_time() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3219069333332971520 |
| PARAM_VALUE | 1 | in | 3562933732305006592 |
| PARAM_VALUE | 2 | in_len | 32 |
| BUF_SIZE | 1 | in | 32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | in_len | unit_byte |
| HALF_LOCKED2 | &rng->jent_lock |
crypto/jitterentropy-kcapi.c jent_hash_time() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3219069333332971520 |
| PARAM_VALUE | 1 | in | 3660509557308108800 |
| PARAM_VALUE | 2 | in_len | 16 |
| BUF_SIZE | 1 | in | 16 |
| BUF_SIZE | 1 | in | 16 |
| DATA_SOURCE | 1 | in | $2 |
| DATA_SOURCE | 2 | in_len | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | in_len | unit_byte |
| HALF_LOCKED2 | &rng->jent_lock |
crypto/jitterentropy-kcapi.c jent_hash_time() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | in | 3562933732305006592 |
| PARAM_VALUE | 2 | in_len | 32 |
| BUF_SIZE | 1 | in | 32 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | in_len | unit_byte |
| HALF_LOCKED2 | &rng->jent_lock |
crypto/jitterentropy-kcapi.c jent_hash_time() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 8 |
| BUF_SIZE | 1 | in | 8 |
| CAPPED_DATA | 0 | ctx->ctx.block_size | 1 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | in_len | unit_byte |
| HALF_LOCKED2 | &rng->jent_lock |
crypto/jitterentropy-kcapi.c jent_read_random_block() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | in | 112051531664224256 |
| PARAM_VALUE | 2 | in_len | 32 |
| BUF_SIZE | 1 | in | 32 |
| DATA_SOURCE | 0 | ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | in_len | unit_byte |
| LOCK2 | &rng->jent_lock | ||
| TYPE_LOCK | (struct jitterentropy)->jent_lock |
lib/crypto/tests/sha3_kunit.c hash_irq_test2_func() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-u16max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_all_lens_up_to_4096() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7407118472918970368 |
| PARAM_VALUE | 1 | in | 9136167964550807552 |
| PARAM_VALUE | 2 | in_len | 32 |
| BUF_SIZE | 1 | in | 32 |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_buffer_overruns() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7533592686590218240 |
| PARAM_VALUE | 2 | in_len | 0-16176 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 2 | in_len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_buffer_overruns() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 7533592686590218240 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-16176 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 1 | in | r alloc_guarded_buf |
| DATA_SOURCE | 2 | in_len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_buffer_overruns() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-16176 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 1 | in | r alloc_guarded_buf |
| DATA_SOURCE | 2 | in_len | r rand_length |
| NOCHECK_CALL | |||
| UNITS | 0 | ctx | unit_byte |
lib/crypto/tests/sha3_kunit.c test_hash_ctx_zeroization() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3745050558063398912 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 128 |
| BUF_SIZE | 1 | in | 128 |
| BUF_SIZE | 1 | in | 128 |
| DATA_SOURCE | 1 | in | r alloc_buf |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_incremental_updates() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6495225805347131392 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-16384 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 2 | in_len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_incremental_updates() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6495225805347131392 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-16384,18446744073709535232-u64max |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_overlaps() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 9086302978114519040 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-16352 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 2 | in_len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_overlaps() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 9086302978114519040 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-16352 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 2 | in_len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_shake_all_lens_up_to_4096() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2178245530131722240 |
| PARAM_VALUE | 1 | in | 16,4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-4096 |
| BUF_SIZE | 1 | in | 4096 |
| BUF_SIZE | 1 | in | 4096 |
| DATA_SOURCE | 1 | in | r alloc_buf |
| FUZZY_MAX | 2 | in_len | 4096 |
| HARD_MAX | 2 | in_len | 4096 |
| NOCHECK_CALL |
crypto/sha3.c crypto_sha3_update() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | in_len | $2 |
| NOSPEC | 1 | *in | |
| NOSPEC | 2 | in_len | |
| NOSPEC | 2 | in_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | in | 4096-ptr_max[c] |
| HOST_DATA | 2 | in_len | 0-4860,4294962946-u32max[c] |
| USER_DATA | 1 | in | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *in | 0-255 |
| USER_DATA | 2 | in_len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | in->compr_size | |
| BYTE_COUNT | 1 | ==in2 | 8050 |
| USER_PTR | 1 | in |
lib/crypto/sha3.c sha3_224() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5010653479937359872 |
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $0 |
| DATA_SOURCE | 2 | in_len | $1 |
| PARAM_COMPARE | 1 | in | >= $2 |
| NOSPEC | 1 | *in | |
| NOSPEC | 2 | in_len | |
| NOSPEC | 2 | in_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | in | 4096-ptr_max[c] |
| HOST_DATA | 2 | in_len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | in | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *in | 0-255 |
| USER_DATA | 2 | in_len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | in->compr_size | |
| UNITS | 1 | in | unit_byte |
| UNITS | 2 | in_len | unit_byte |
| BYTE_COUNT | 1 | ==in2 | 8050 |
| USER_PTR | 1 | in |
lib/crypto/sha3.c sha3_256() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6718499078391083008 |
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $0 |
| DATA_SOURCE | 2 | in_len | $1 |
| NOSPEC | 1 | *in | |
| NOSPEC | 2 | in_len | |
| NOSPEC | 2 | in_len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | in | 4096-ptr_max[c] |
| HOST_DATA | 2 | in_len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | in | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *in | 0-255 |
| USER_DATA | 2 | in_len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | in->compr_size | |
| UNITS | 1 | in | unit_byte |
| UNITS | 2 | in_len | unit_byte |
| BYTE_COUNT | 1 | ==in2 | 8050 |
| USER_PTR | 1 | in |
lib/crypto/sha3.c sha3_384() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4876828314668904448 |
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $0 |
| DATA_SOURCE | 2 | in_len | $1 |
| PARAM_COMPARE | 1 | in | >= $2 |
| NOSPEC | 1 | *in | |
| NOSPEC | 2 | in_len | |
| NOSPEC | 2 | in_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | in | 4096-ptr_max[c] |
| HOST_DATA | 2 | in_len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | in | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *in | 0-255 |
| USER_DATA | 2 | in_len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | in->compr_size | |
| UNITS | 1 | in | unit_byte |
| UNITS | 2 | in_len | unit_byte |
| BYTE_COUNT | 1 | ==in2 | 8050 |
| USER_PTR | 1 | in |
lib/crypto/sha3.c sha3_512() -> sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3135014693322219520 |
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $0 |
| DATA_SOURCE | 2 | in_len | $1 |
| PARAM_COMPARE | 1 | in | >= $2 |
| NOSPEC | 1 | *in | |
| NOSPEC | 2 | in_len | |
| NOSPEC | 2 | in_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | in | 4096-ptr_max[c] |
| HOST_DATA | 2 | in_len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | in | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *in | 0-255 |
| USER_DATA | 2 | in_len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | in->compr_size | |
| UNITS | 1 | in | unit_byte |
| UNITS | 2 | in_len | unit_byte |
| BYTE_COUNT | 1 | ==in2 | 8050 |
| USER_PTR | 1 | in |