Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 14 files:
- crypto/ahash.c, line 195
- crypto/essiv.c, line 115
- crypto/hmac.c
- crypto/krb5/rfc3961_simplified.c, line 168
- crypto/krb5/rfc6803_camellia.c
- crypto/krb5/rfc8009_aes2.c, line 96
- crypto/shash.c
- crypto/testmgr.c, line 1378
- drivers/crypto/bcm/cipher.c, line 2216
- drivers/crypto/omap-sham.c, line 1109
- drivers/crypto/xilinx/zynqmp-sha.c, line 120
- drivers/md/dm-verity-target.c, line 148
- drivers/target/iscsi/iscsi_target_auth.c
- include/crypto/hash.h
Smatch caller information:
drivers/crypto/xilinx/zynqmp-sha.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 409077792152166400 |
| PARAM_VALUE | 0 | *desc->__ctx | 0-255 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| PARAM_COMPARE | 1 | data | == $2 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| NO_OVERFLOW_SIMPLE | 1 | data->ino | |
| NO_OVERFLOW_SIMPLE | 1 | data->jhead | |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data |
drivers/crypto/xilinx/zynqmp-sha.c zynqmp_sha_finup() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4008075829719171072 |
| PARAM_VALUE | 0 | *desc->__ctx | 0-255 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| DATA_SOURCE | 3 | out | $3 |
| PARAM_COMPARE | 1 | data | == $2 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| USER_DATA | 3 | *out | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| NO_OVERFLOW_SIMPLE | 1 | data->ino | |
| NO_OVERFLOW_SIMPLE | 1 | data->jhead | |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | out | unit_byte |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data | |
| USER_PTR | 3 | out |
fs/ubifs/gc.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | out | 0 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| LOCK2 | &wbuf->io_mutex | ||
| HALF_LOCKED2 | &c->commit_sem | ||
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | &c->write_reserve_mutex | ||
| TYPE_LOCK | (struct ubifs_wbuf)->io_mutex |
crypto/asymmetric_keys/verify_pefile.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 0 | *desc->__ctx->block | 0-4294967295 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 8-s32max |
| BUF_SIZE | 0 | desc | 8-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| UNITS | 3 | out | unit_byte |
crypto/asymmetric_keys/verify_pefile.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 8-s32max |
| BUF_SIZE | 0 | desc | 8-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
crypto/krb5/rfc3961_simplified.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->block | 0-4294967295 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 0-s32max |
| BUF_SIZE | 0 | desc | 0-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
crypto/krb5/rfc3961_simplified.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 1 | data | 0,4096-ptr_max |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 0-s32max |
| BUF_SIZE | 0 | desc | 0-s32max |
| BUF_SIZE | 1 | data | (-1),24 |
| BUF_SIZE | 1 | data | (-1),24 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | len | 1-131069[c] |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
crypto/krb5/rfc3961_simplified.c rfc3961_calc_H() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| PARAM_VALUE | 1 | data | 16,4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-1010100 |
| PARAM_VALUE | 3 | out | 16,4096-ptr_max |
| BUF_SIZE | 0 | desc | 8-4294967303 |
| BUF_SIZE | 0 | desc | 8-4294967303 |
| BUF_SIZE | 0 | desc->tfm | s32min-s32max |
| BUF_SIZE | 1 | data | 1-s32max |
| BUF_SIZE | 3 | out | 0-u32max |
| DATA_SOURCE | 0 | desc | r _kzalloc_noprof |
| DATA_SOURCE | 3 | out | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | out | unit_byte |
crypto/essiv.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 5144466881921507328 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-2147483639 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &con->mutex | ||
| HALF_LOCKED2 | &sdata->sec_mtx | ||
| HALF_LOCKED2 | sk |
crypto/essiv.c essiv_aead_setkey() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 5144466881921507328 |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 0 | *desc->__ctx->block | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-2147483639 |
| PARAM_VALUE | 3 | out | 18096760443080704 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 3 | out | 64 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 2 | len | 1-2147483639[c] |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &con->mutex | ||
| HALF_LOCKED2 | &sdata->sec_mtx | ||
| HALF_LOCKED2 | sk |
drivers/crypto/sa2ul.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3896890187704467456 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 1 | data | 64 |
| BUF_SIZE | 1 | data | 64 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
security/integrity/evm/evm_crypto.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | desc->tfm | 1-u64max |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 0 | *desc->__ctx->block | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 8-s32max |
| BUF_SIZE | 0 | desc | 8-s32max |
| BUF_SIZE | 3 | out | 20,64 |
| BUF_SIZE | 3 | out | 20,64 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &inode->i_rwsem |
security/integrity/evm/evm_crypto.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->tfm | 1-u64max |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 8-s32max |
| BUF_SIZE | 0 | desc | 8-s32max |
| BUF_SIZE | 1 | data | (-1),1-1010101 |
| BUF_SIZE | 1 | data | (-1),1-1010101 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &inode->i_rwsem |
crypto/shash.c shash_default_digest() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-255 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| BUF_SIZE | 0 | desc | (-1)-s32max |
| BUF_SIZE | 0 | desc | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| DATA_SOURCE | 3 | out | $3 |
| STR_LEN | 0 | desc | (-1) |
| STR_LEN | 0 | desc | (-1) |
| STR_LEN | 0 | desc->tfm | (-1),5 |
| PARAM_COMPARE | 1 | data | == $2 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| USER_DATA | 3 | *out | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| NO_OVERFLOW_SIMPLE | 1 | data->ino | |
| NO_OVERFLOW_SIMPLE | 1 | data->jhead | |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | out | unit_byte |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data | |
| USER_PTR | 3 | out |
fs/ubifs/replay.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 5575984826817376256 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| PARAM_VALUE | 3 | out | 6416935630492573696 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 3 | out | 64 |
| BUF_SIZE | 3 | out | 64 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
fs/ubifs/replay.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 1 | data | (-1),15360-s32max |
| BUF_SIZE | 1 | data | (-1),15360-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
fs/ubifs/auth.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3357301452763799552,3698662527889424384 |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 3 | out | (-1),64 |
| BUF_SIZE | 3 | out | (-1),64 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
fs/ubifs/auth.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3698662527889424384 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
crypto/testmgr.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| PARAM_VALUE | 3 | out | 353400528661729280 |
| BUF_SIZE | 3 | out | 80 |
| BUF_SIZE | 3 | out | 80 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| MEM_ZERO | 0 | desc->__ctx | |
| HALF_LOCKED2 | global &once_lock |
crypto/testmgr.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 3 | out | 0 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| FUZZY_MAX | 0 | desc->__ctx->crc | 0 |
| MEM_ZERO | 0 | desc->__ctx | |
| HALF_LOCKED2 | global &once_lock |
crypto/testmgr.c test_shash_vec_cfg() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| PARAM_VALUE | 3 | out | 353400528661729280 |
| BUF_SIZE | 3 | out | 80 |
| DATA_SOURCE | 0 | desc | $3 |
| FUZZY_MAX | 0 | desc->__ctx->crc | 0 |
| MEM_ZERO | 0 | desc->__ctx | |
| HALF_LOCKED2 | global &once_lock |
fs/ubifs/lpt.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 3 | out | 64 |
| BUF_SIZE | 3 | out | 64 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HALF_LOCKED2 | &c->commit_sem | ||
| HALF_LOCKED2 | &c->lp_mutex | ||
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | &c->write_reserve_mutex |
fs/ubifs/lpt.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 0,4096-ptr_max |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 3 | out | 0 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | len | unit_byte |
drivers/target/iscsi/iscsi_target_auth.c chap_server_compute_hash() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 0 | *desc->__ctx->block | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| PARAM_VALUE | 3 | out | 16,4096-ptr_max |
| BUF_SIZE | 0 | desc | 8-4294967303 |
| BUF_SIZE | 0 | desc | 8-4294967303 |
| BUF_SIZE | 0 | desc->tfm | s32min-s32max |
| BUF_SIZE | 1 | data | 32 |
| BUF_SIZE | 3 | out | 0-1999999 |
| BUF_SIZE | 3 | out | 0-1999999 |
| DATA_SOURCE | 0 | desc | r _kmalloc_noprof |
| DATA_SOURCE | 3 | out | r _kzalloc_noprof |
| HALF_LOCKED2 | &pool->lock |
drivers/target/iscsi/iscsi_target_auth.c chap_server_compute_hash() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 0 | *desc->__ctx->block | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 1-1024,2147483648-u32max |
| PARAM_VALUE | 3 | out | 16,4096-ptr_max |
| BUF_SIZE | 0 | desc | 8-4294967303 |
| BUF_SIZE | 0 | desc | 8-4294967303 |
| BUF_SIZE | 0 | desc->tfm | s32min-s32max |
| BUF_SIZE | 1 | data | 4096 |
| BUF_SIZE | 1 | data | 4096 |
| BUF_SIZE | 3 | out | 0-u32max |
| BUF_SIZE | 3 | out | 0-u32max |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | desc | r _kmalloc_noprof |
| DATA_SOURCE | 1 | data | r _kzalloc_noprof |
| DATA_SOURCE | 3 | out | r _kzalloc_noprof |
| USER_DATA | 0 | *desc->__ctx->block | 0-255 |
| HALF_LOCKED2 | &pool->lock |
drivers/target/iscsi/iscsi_target_auth.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 2 | len | 0-255 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 8-s32max |
| BUF_SIZE | 0 | desc | 8-s32max |
| BUF_SIZE | 1 | data | (-1),256 |
| BUF_SIZE | 1 | data | (-1),256 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| STR_LEN | 0 | desc | (-1)-255 |
| STR_LEN | 0 | desc | (-1)-255 |
| USER_DATA | 1 | *data | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | *data | |
| USER_PTR | 1 | data | |
| HALF_LOCKED2 | &pool->lock |
crypto/krb5/rfc8009_aes2.c rfc8009_calc_KDF_HMAC_SHA2() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 12-1010114 |
| BUF_SIZE | 0 | desc | 0-u32max |
| BUF_SIZE | 0 | desc | 0-u32max |
| BUF_SIZE | 0 | desc->tfm | s32min-s32max |
| BUF_SIZE | 1 | data | 1-s32max |
| BUF_SIZE | 3 | out | 1-s32max |
| CAPPED_DATA | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | out | unit_byte |
drivers/block/drbd/drbd_worker.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 661181711961612288,3345502110672748544 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 3 | out | (-1),1-s32max |
| BUF_SIZE | 3 | out | (-1),1-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| PREEMPT_ADD | |||
| HALF_LOCKED2 | &sock->mutex |
drivers/block/drbd/drbd_worker.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 661181711961612288,3345502110672748544 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| PREEMPT_ADD | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &sock->mutex |
drivers/md/dm-integrity.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 2369885996885516288,3608397688430272512 |
| PARAM_VALUE | 0 | desc->tfm | 1-u64max |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 3 | out | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-integrity.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 2369885996885516288,3608397688430272512 |
| PARAM_VALUE | 0 | desc->tfm | 1-u64max |
| PARAM_VALUE | 2 | len | 8,16,512-130560 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 1 | data | (-1),8,16 |
| BUF_SIZE | 1 | data | (-1),8,16 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| BIT_INFO | 2 | len | 0x0,0x1f |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_page |
| UNITS | 2 | len | unit_byte |
fs/ubifs/log.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 32,64 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| HARD_MAX | 2 | len | 64 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &c->commit_sem | ||
| HALF_LOCKED2 | &c->log_mutex | ||
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | &c->write_reserve_mutex | ||
| HALF_LOCKED2 | &wbuf->io_mutex |
drivers/crypto/marvell/octeontx2/otx2_cptvf_algs.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| UNITS | 2 | len | unit_byte |
crypto/ahash.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | (-1),1-s32max |
| BUF_SIZE | 0 | desc | (-1),1-s32max |
| BUF_SIZE | 3 | out | 1-s32max |
| BUF_SIZE | 3 | out | 1-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 3 | *out | 0-255 |
| UNITS | 3 | out | unit_byte |
| USER_PTR | 3 | out |
crypto/ahash.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | len | 1-u32max |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | (-1),1-s32max |
| BUF_SIZE | 0 | desc | (-1),1-s32max |
| BUF_SIZE | 1 | data | 1-s32max |
| BUF_SIZE | 1 | data | 1-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | len | 1-4350[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 2 | len | 1-u32max |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
crypto/ahash.c shash_ahash_finup() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | len | 1-u32max |
| BUF_SIZE | 0 | desc | 1-s32max |
| BUF_SIZE | 0 | desc | 1-s32max |
| BUF_SIZE | 1 | data | 1-s32max |
| BUF_SIZE | 3 | out | 1-s32max |
| DATA_SOURCE | 0 | desc | $1 |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 2 | len | 1-4350[c] |
| USER_DATA | 0 | desc->__ctx->xxhstate->mem64 | 0-255 |
| USER_DATA | 0 | *desc->__ctx | 0-255 |
| USER_DATA | 0 | *desc->__ctx->__ctx | 0-255 |
| USER_DATA | 0 | *desc->__ctx->block | 0-255 |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 2 | len | 1-u32max |
| USER_DATA | 3 | *out | 0-255 |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | out | unit_byte |
| USER_PTR | 3 | out |
crypto/krb5/rfc6803_camellia.c rfc6803_calc_KDF_FEEDBACK_CMAC() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 3 | out | 4096-ptr_max |
| BUF_SIZE | 0 | desc | 0-u32max |
| BUF_SIZE | 0 | desc | 0-u32max |
| BUF_SIZE | 0 | desc->tfm | s32min-s32max |
| BUF_SIZE | 1 | data | 1-s32max |
| BUF_SIZE | 3 | out | 1-s32max |
| CAPPED_DATA | 2 | len | 1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | out | unit_byte |
crypto/krb5/rfc6803_camellia.c rfc6803_calc_PRF() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->byte_count | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.memsize | 0 |
| PARAM_VALUE | 0 | desc->__ctx->xxhstate.total_len | 0 |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx->h.qword | 72340172838076673 |
| PARAM_VALUE | 0 | *desc->__ctx->hash | 0 |
| PARAM_VALUE | 1 | data | 16,4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-1010100 |
| BUF_SIZE | 0 | desc | 0-u32max |
| BUF_SIZE | 0 | desc | 0-u32max |
| BUF_SIZE | 0 | desc->tfm | s32min-s32max |
| BUF_SIZE | 1 | data | 1-s32max |
| BUF_SIZE | 3 | out | 1-s32max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | out | unit_byte |
drivers/crypto/marvell/octeontx/otx_cptvf_algs.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &con->mutex | ||
| HALF_LOCKED2 | &sdata->sec_mtx | ||
| HALF_LOCKED2 | sk |
fs/ubifs/journal.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 3 | out | 0 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &c->write_reserve_mutex | ||
| HALF_LOCKED2 | &host_ui->ui_mutex | ||
| HALF_LOCKED2 | &ui->ui_mutex |
security/integrity/ima/ima_crypto.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3195240584365932544,4302126220131422208,5591254839607943168,9050428183044681728 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 3 | out | (-1),64 |
| BUF_SIZE | 3 | out | (-1),64 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
security/integrity/ima/ima_crypto.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 3195240584365932544,4302126220131422208,5591254839607943168,9050428183044681728 |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 1 | data | (-1),1-s32max |
| BUF_SIZE | 1 | data | (-1),1-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| STR_LEN | 0 | desc | (-1),7,9-11,13 |
| STR_LEN | 0 | desc | (-1),7,9-11,13 |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 1-4095 |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| USER_PTR | 1 | data |
crypto/kdf_sp800108.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 5241335243521048576 |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| PARAM_VALUE | 3 | out | 16,4096-u64max |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 3 | out | (-1),16,64 |
| BUF_SIZE | 3 | out | (-1),16,64 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
crypto/kdf_sp800108.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 5241335243521048576 |
| PARAM_VALUE | 0 | desc->tfm | 1-ptr_max |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 0 | desc | 377 |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| BUF_SIZE | 1 | data | s32min-(-2),1-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
drivers/md/dm-verity-target.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | desc->__ctx->crc | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| PARAM_VALUE | 0 | *desc->__ctx->bitLength | 0-255 |
| PARAM_VALUE | 0 | *desc->__ctx->block | 0-4294967295 |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 8 |
| BUF_SIZE | 3 | out | 64 |
| BUF_SIZE | 3 | out | 64 |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING |
drivers/md/dm-verity-target.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | 8,377 |
| BUF_SIZE | 0 | desc | 8,377 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | len | |
| UNITS | 2 | len | unit_byte |
| BYTE_COUNT | 1 | ==data2 | 8050 |
drivers/md/dm-verity-target.c verity_hash() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx | 0-255 |
| BUF_SIZE | 0 | desc | 8 |
| BUF_SIZE | 3 | out | 64 |
| BUF_SIZE | 3 | out | 64 |
| DATA_SOURCE | 1 | data | $2 |
| DATA_SOURCE | 2 | len | $3 |
| DATA_SOURCE | 3 | out | $4 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 2 | len | |
| BYTE_COUNT | 1 | ==data2 | 8050 |
crypto/hmac.c crypto_shash_update() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 3 | out | 0 |
| BUF_SIZE | 0 | desc | (-1),377 |
| BUF_SIZE | 0 | desc | (-1),377 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| NO_OVERFLOW_SIMPLE | 1 | data->ino | |
| NO_OVERFLOW_SIMPLE | 1 | data->jhead | |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data |
crypto/hmac.c hmac_finup() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| DATA_SOURCE | 3 | out | $3 |
| PARAM_COMPARE | 1 | data | == $2 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | data | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 2 | len | 0-u32max |
| USER_DATA | 3 | *out | 0-255 |
| NO_OVERFLOW_SIMPLE | 1 | data->compr_size | |
| NO_OVERFLOW_SIMPLE | 1 | data->ino | |
| NO_OVERFLOW_SIMPLE | 1 | data->jhead | |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| UNITS | 3 | out | unit_byte |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data | |
| USER_PTR | 3 | out |
crypto/hmac.c hmac_finup() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 0 | *desc->__ctx->__ctx | 0-4294967295 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| BUF_SIZE | 3 | out | (-1)-s32max |
| DATA_SOURCE | 1 | data | $3 |
| DATA_SOURCE | 2 | len | r crypto_shash_digestsize |
| DATA_SOURCE | 3 | out | $3 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 0 | desc->__ctx->xxhstate->mem64 | 0-255 |
| USER_DATA | 0 | *desc->__ctx | 0-255 |
| USER_DATA | 0 | *desc->__ctx->__ctx | 0-255 |
| USER_DATA | 0 | *desc->__ctx->block | 0-255 |
| USER_DATA | 1 | *data | 0-255 |
| USER_DATA | 3 | *out | 0-255 |
| UNITS | 1 | data | unit_byte |
| UNITS | 3 | out | unit_byte |
| USER_PTR | 1 | data | |
| USER_PTR | 3 | out |
crypto/cryptd.c crypto_shash_final() -> crypto_shash_finup()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | desc | 4096-ptr_max |
| PARAM_VALUE | 1 | data | 0 |
| PARAM_VALUE | 2 | len | 0 |
| BUF_SIZE | 0 | desc | 8 |
| BUF_SIZE | 3 | out | 1-s32max |
| BUF_SIZE | 3 | out | 1-s32max |
| DATA_SOURCE | 0 | desc | $0 |
| DATA_SOURCE | 3 | out | $1 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| UNITS | 3 | out | unit_byte |
| HALF_LOCKED2 | &pool->lock | ||
| HALF_LOCKED2 | _T->lock | ||
| HALF_LOCKED2 | bh |