Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
lib/crypto/mldsa.c shake_update() -> __sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | in_len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | in_len | unit_byte |
crypto/jitterentropy-kcapi.c sha3_update() -> __sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | in_len | 8,16,32 |
| BUF_SIZE | 1 | in | 8,16,32 |
| BUF_SIZE | 1 | in | 8,16,32 |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | in_len | $2 |
| HARD_MAX | 2 | in_len | 32 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | in_len | unit_byte |
| HALF_LOCKED2 | &rng->jent_lock |
lib/crypto/tests/sha3_kunit.c sha3_update() -> __sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-u16max,18446744073709535232-u64max |
| BUF_SIZE | 1 | in | (-1),32,128,4096 |
| BUF_SIZE | 1 | in | (-1),32,128,4096 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | in_len | $2 |
| FUZZY_MAX | 2 | in_len | 4096 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | in_len |
lib/crypto/tests/sha3_kunit.c shake_update() -> __sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 246660505223446528 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-512 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | in_len | $2 |
| NOCHECK_CALL |
crypto/sha3.c 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 |
| 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 | |
| NO_OVERFLOW_SIMPLE | 1 | in->ino | |
| NO_OVERFLOW_SIMPLE | 1 | in->jhead | |
| BYTE_COUNT | 1 | ==in2 | 8050 |
| USER_PTR | 1 | in |
lib/crypto/sha3.c sha3_update() -> __sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3135014693322219520,4876828314668904448,5010653479937359872,6718499078391083008 |
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | in_len | $2 |
| PARAM_COMPARE | 1 | in | == $2 |
| 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 shake_update() -> __sha3_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2888795646405328896,3728630636281753600 |
| PARAM_VALUE | 1 | in | 16,4096-ptr_max |
| PARAM_VALUE | 2 | in_len | 0-4096 |
| BUF_SIZE | 1 | in | (-1),200-201,512,1952,2592 |
| BUF_SIZE | 1 | in | (-1),200-201,512,1952,2592 |
| CAPPED_DATA | 2 | in_len | 1 |
| CAPPED_DATA | 2 | in_len | 1 |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | in_len | $2 |
| FUZZY_MAX | 2 | in_len | 4096 |
| STR_LEN | 0 | ctx | (-1)-0 |
| STR_LEN | 1 | in | (-1)-0 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | in_len | |
| UNITS | 2 | in_len | unit_byte |