Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 4 files:
Smatch caller information:
crypto/jitterentropy-kcapi.c jent_hash_time() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 3219069333332971520 |
| PARAM_VALUE | 1 | out | 3562933732305006592 |
| BUF_SIZE | 1 | out | 32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &rng->jent_lock |
crypto/jitterentropy-kcapi.c jent_read_random_block() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | out | 112051531664224256 |
| BUF_SIZE | 1 | out | 32 |
| CAPPED_DATA | 0 | sha3_ctx->ctx.block_size | 1 |
| DATA_SOURCE | 0 | sha3_ctx | $0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | &rng->jent_lock | ||
| TYPE_LOCK | (struct jitterentropy)->jent_lock |
lib/crypto/tests/sha3_kunit.c hash_irq_test2_func() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | out | 5979532704622419968 |
| BUF_SIZE | 1 | out | 32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_all_lens_up_to_4096() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 7407118472918970368 |
| PARAM_VALUE | 1 | out | 9136167964550807552 |
| BUF_SIZE | 1 | out | 32 |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_buffer_overruns() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 7533592686590218240 |
| PARAM_VALUE | 1 | out | 3291393831910555648 |
| BUF_SIZE | 1 | out | 32 |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_buffer_overruns() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 7533592686590218240 |
| PARAM_VALUE | 1 | out | 4096-ptr_max |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_buffer_overruns() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | out | 3291393831910555648 |
| BUF_SIZE | 1 | out | 32 |
| CAPPED_DATA | 0 | sha3_ctx->ctx.block_size | 1 |
| NOCHECK_CALL | |||
| UNITS | 0 | sha3_ctx | unit_byte |
lib/crypto/tests/sha3_kunit.c test_hash_ctx_zeroization() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 3745050558063398912 |
| PARAM_VALUE | 1 | out | 127159014427213824 |
| BUF_SIZE | 1 | out | 32 |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_incremental_updates() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 6495225805347131392 |
| PARAM_VALUE | 1 | out | 3069623650479325184 |
| BUF_SIZE | 1 | out | 32 |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_overlaps() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 9086302978114519040 |
| PARAM_VALUE | 1 | out | 1-u64max |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_hash_overlaps() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 9086302978114519040 |
| PARAM_VALUE | 1 | out | 1-u64max |
| NOCHECK_CALL |
lib/crypto/tests/sha3_kunit.c test_shake_all_lens_up_to_4096() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 2178245530131722240 |
| PARAM_VALUE | 1 | out | 457971818386243584 |
| BUF_SIZE | 1 | out | 32 |
| NOCHECK_CALL |
crypto/sha3.c crypto_sha3_final() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | out | (-1)-s32max |
| BUF_SIZE | 1 | out | (-1)-s32max |
| DATA_SOURCE | 1 | out | $1 |
| NOSPEC | 1 | *out | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| USER_DATA | 1 | *out | 0-255 |
| USER_PTR | 1 | out |
lib/crypto/sha3.c sha3_224() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 5010653479937359872 |
| BUF_SIZE | 1 | out | (-1)-s32max |
| DATA_SOURCE | 1 | out | $2 |
| NOSPEC | 1 | *out | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sha3_ctx->ctx.absorb_offset | 0-255[c] |
| USER_DATA | 0 | sha3_ctx->ctx.absorb_offset | 0-255[u] |
| USER_DATA | 1 | *out | 0-255 |
| UNITS | 1 | out | unit_byte |
| USER_PTR | 1 | out |
lib/crypto/sha3.c sha3_256() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 6718499078391083008 |
| BUF_SIZE | 1 | out | (-1)-s32max |
| DATA_SOURCE | 1 | out | $2 |
| NOSPEC | 1 | *out | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sha3_ctx->ctx.absorb_offset | 0-255[c] |
| USER_DATA | 0 | sha3_ctx->ctx.absorb_offset | 0-255[u] |
| USER_DATA | 1 | *out | 0-255 |
| UNITS | 1 | out | unit_byte |
| USER_PTR | 1 | out |
lib/crypto/sha3.c sha3_384() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 4876828314668904448 |
| BUF_SIZE | 1 | out | (-1)-s32max |
| DATA_SOURCE | 1 | out | $2 |
| NOSPEC | 1 | *out | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sha3_ctx->ctx.absorb_offset | 0-255[c] |
| USER_DATA | 0 | sha3_ctx->ctx.absorb_offset | 0-255[u] |
| USER_DATA | 1 | *out | 0-255 |
| UNITS | 1 | out | unit_byte |
| USER_PTR | 1 | out |
lib/crypto/sha3.c sha3_512() -> sha3_final()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | sha3_ctx | 3135014693322219520 |
| BUF_SIZE | 1 | out | (-1)-s32max |
| DATA_SOURCE | 1 | out | $2 |
| NOSPEC | 1 | *out | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 0 | sha3_ctx->ctx.absorb_offset | 0-255[c] |
| USER_DATA | 0 | sha3_ctx->ctx.absorb_offset | 0-255[u] |
| USER_DATA | 1 | *out | 0-255 |
| UNITS | 1 | out | unit_byte |
| USER_PTR | 1 | out |