Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 9 files:
- crypto/sha1.c, line 82
- drivers/net/ppp/ppp_mppe.c
- drivers/tee/tee_core.c
- include/crypto/sha1.h, line 162
- lib/crypto/sha1.c
- lib/crypto/tests/sha1_kunit.c, line 12
- lib/digsig.c
- net/ipv6/addrconf.c, line 3402
- security/keys/trusted-keys/trusted_tpm1.c
Smatch caller information:
lib/crypto/tests/sha1_kunit.c hash_irq_test2_func() -> sha1_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/sha1_kunit.c hmac_sha1_update() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3045266790378012672 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-4096 |
| BUF_SIZE | 1 | data | (-1),20 |
| BUF_SIZE | 1 | data | (-1),20 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| FUZZY_MAX | 2 | len | 4096 |
| HARD_MAX | 2 | len | 4096 |
| NOCHECK_CALL |
lib/crypto/tests/sha1_kunit.c test_hash_all_lens_up_to_4096() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3787762505698357248 |
| PARAM_VALUE | 1 | data | 6704360190265524224 |
| PARAM_VALUE | 2 | len | 20 |
| BUF_SIZE | 1 | data | 20 |
| NOCHECK_CALL |
lib/crypto/tests/sha1_kunit.c test_hash_buffer_overruns() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1615175228707938304 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 2 | len | 0-16288 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/sha1_kunit.c test_hash_buffer_overruns() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1615175228707938304 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16288 |
| 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 |
lib/crypto/tests/sha1_kunit.c test_hash_buffer_overruns() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 0 | *ctx->buf | 0-255 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16288 |
| 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 | |||
| UNITS | 0 | ctx | unit_byte |
lib/crypto/tests/sha1_kunit.c test_hash_ctx_zeroization() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6802091284299821056 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| 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/sha1_kunit.c test_hash_incremental_updates() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6657892919859118080 |
| 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 |
lib/crypto/tests/sha1_kunit.c test_hash_incremental_updates() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6657892919859118080 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16384,18446744073709535232-u64max |
| NOCHECK_CALL |
lib/crypto/tests/sha1_kunit.c test_hash_overlaps() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1354255801869844480 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16364 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/sha1_kunit.c test_hash_overlaps() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1354255801869844480 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 0-16364 |
| CAPPED_DATA | 2 | len | 1 |
| CAPPED_DATA | 2 | len | 1 |
| DATA_SOURCE | 2 | len | r rand_length |
| NOCHECK_CALL |
lib/digsig.c digsig_verify() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3778161075020431360 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 2 | len | 0-s32max,18446744071562067968-u64max |
| BUF_SIZE | 1 | data | (-1),64 |
| BUF_SIZE | 1 | data | (-1),64 |
| DATA_SOURCE | 1 | data | $3 |
| DATA_SOURCE | 2 | len | $4 |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &inode->i_rwsem |
lib/digsig.c digsig_verify() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3778161075020431360 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 1 | data->algo | 0 |
| PARAM_VALUE | 1 | data->keyid | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 16 |
| DATA_SOURCE | 1 | data | $1 |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| HALF_LOCKED2 | &iint->mutex | ||
| HALF_LOCKED2 | &inode->i_rwsem |
crypto/sha1.c crypto_sha1_update() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| NOSPEC | 2 | len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | data | 4096-ptr_max[c] |
| HOST_DATA | 2 | len | 0-4860,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 | |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data |
crypto/sha1.c hmac_sha1_update() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| 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 | |||
| NOCHECK_CALL | |||
| 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 |
net/ipv6/addrconf.c ipv6_generate_stable_address() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3151300663677210624 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 2 | len | 64 |
| BUF_SIZE | 1 | data | 64 |
| PREEMPT_ADD | <- disables preempt | ||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | &lock | ||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ifp->lock |
drivers/tee/tee_core.c uuid_v5() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2464566980519280640 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 1896940807735869440 |
| PARAM_VALUE | 2 | len | 16 |
| DATA_SOURCE | 1 | data | $1 |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
drivers/tee/tee_core.c uuid_v5() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2464566980519280640 |
| PARAM_VALUE | 1 | data | 4096-ptr_max |
| PARAM_VALUE | 2 | len | 5-12 |
| BUF_SIZE | 1 | data | 128 |
| BUF_SIZE | 1 | data | 128 |
| DATA_SOURCE | 1 | data | $2 |
| DATA_SOURCE | 2 | len | $3 |
| NOCHECK_CALL |
security/keys/trusted-keys/trusted_tpm1.c TSS_authhmac() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3806100545931898880 |
| DATA_SOURCE | 1 | data | $5 |
| DATA_SOURCE | 2 | len | $5 |
| PARAM_COMPARE | 1 | data | == $2 |
| PARAM_COMPARE | 1 | data | == $2 |
| PARAM_COMPARE | 2 | len | == $1 |
| BIT_INFO | 2 | len | 0x0,0x0 |
| NOCHECK_CALL |
security/keys/trusted-keys/trusted_tpm1.c TSS_checkhmac1() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6176015404705296384 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 8938811493395378176 |
| PARAM_VALUE | 2 | len | 4 |
| BUF_SIZE | 1 | data | 4 |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
security/keys/trusted-keys/trusted_tpm1.c TSS_checkhmac1() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6176015404705296384 |
| PARAM_VALUE | 1 | data | 7381068723811741696 |
| PARAM_VALUE | 2 | len | 4 |
| BUF_SIZE | 1 | data | 4 |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
security/keys/trusted-keys/trusted_tpm1.c TSS_checkhmac1() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6176015404705296384 |
| PARAM_VALUE | 1 | data | 18379471554275704852,18446612682070032404 |
| PARAM_VALUE | 2 | len | 20 |
| DATA_SOURCE | 2 | len | $4 |
| NOCHECK_CALL |
security/keys/trusted-keys/trusted_tpm1.c TSS_checkhmac2() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 8197178206705680384 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| PARAM_VALUE | 1 | data | 7351415969826295808 |
| PARAM_VALUE | 2 | len | 4 |
| BUF_SIZE | 1 | data | 4 |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
security/keys/trusted-keys/trusted_tpm1.c TSS_checkhmac2() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 8197178206705680384 |
| PARAM_VALUE | 1 | data | 1770623993666031616 |
| PARAM_VALUE | 2 | len | 4 |
| BUF_SIZE | 1 | data | 4 |
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
security/keys/trusted-keys/trusted_tpm1.c TSS_checkhmac2() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 8197178206705680384 |
| PARAM_VALUE | 1 | data | 18379471554275704852,18446612682070032404 |
| PARAM_VALUE | 2 | len | 20 |
| DATA_SOURCE | 2 | len | $6 |
| NOCHECK_CALL |
security/keys/trusted-keys/trusted_tpm1.c hmac_sha1_update() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5305483756315099136 |
| PARAM_VALUE | 1 | data | 20 |
| PARAM_VALUE | 2 | len | 20 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| NOCHECK_CALL |
net/ipv4/tcp_ao.c hmac_sha1_update() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| BUF_SIZE | 1 | data | (-1),4,12,40,60 |
| BUF_SIZE | 1 | data | (-1),4,12,40,60 |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 0 | ctx->bytecount | |
| UNITS | 2 | len | unit_byte |
drivers/net/ppp/ppp_mppe.c get_new_key_from_sha() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3212715259644874752 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| BUF_SIZE | 1 | data | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ppp->rlock | ||
| HALF_LOCKED2 | &ppp->wlock | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ppp/ppp_mppe.c get_new_key_from_sha() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3212715259644874752 |
| PARAM_VALUE | 1 | data | 9105079076445446144 |
| PARAM_VALUE | 2 | len | 40 |
| BUF_SIZE | 1 | data | 40 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ppp->rlock | ||
| HALF_LOCKED2 | &ppp->wlock | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ppp/ppp_mppe.c get_new_key_from_sha() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3212715259644874752 |
| BUF_SIZE | 1 | data | 16 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ppp->rlock | ||
| HALF_LOCKED2 | &ppp->wlock | ||
| HALF_LOCKED2 | rcu_read |
drivers/net/ppp/ppp_mppe.c get_new_key_from_sha() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3212715259644874752 |
| PARAM_VALUE | 1 | data | 2806069641343901696 |
| PARAM_VALUE | 2 | len | 40 |
| BUF_SIZE | 1 | data | 40 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | len | unit_byte |
| LOCK2 | bh | ||
| HALF_LOCKED2 | &ppp->rlock | ||
| HALF_LOCKED2 | &ppp->wlock | ||
| HALF_LOCKED2 | rcu_read |
lib/crypto/sha1.c hmac_sha1_update() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 6480994671314178048,8340162975674204160 |
| PARAM_VALUE | 0 | ctx->bytecount | 64 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 1 | data | $1 |
| DATA_SOURCE | 2 | len | $2 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 | |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data |
lib/crypto/sha1.c sha1() -> sha1_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1097225407751192576 |
| PARAM_VALUE | 0 | ctx->bytecount | 0 |
| BUF_SIZE | 1 | data | (-1)-s32max |
| BUF_SIZE | 1 | data | (-1)-s32max |
| DATA_SOURCE | 1 | data | $0 |
| DATA_SOURCE | 2 | len | $1 |
| NOSPEC | 1 | *data | |
| NOSPEC | 2 | len | |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| 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 | |
| UNITS | 1 | data | unit_byte |
| UNITS | 2 | len | unit_byte |
| BYTE_COUNT | 1 | ==data2 | 8050 |
| USER_PTR | 1 | data | |
| HALF_LOCKED2 | &ndev->req_lock | ||
| HALF_LOCKED2 | &nfc_dev->dev.mutex |