Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

lib/crypto/tests/sha1_kunit.c hash_irq_test2_func() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 out 20
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/sha1_kunit.c test_hash_all_lens_up_to_4096() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3787762505698357248
PARAM_VALUE 1 out 6704360190265524224
BUF_SIZE 1 out 20
NOCHECK_CALL

lib/crypto/tests/sha1_kunit.c test_hash_buffer_overruns() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1615175228707938304
BUF_SIZE 1 out 20
NOCHECK_CALL

lib/crypto/tests/sha1_kunit.c test_hash_buffer_overruns() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1615175228707938304
NOCHECK_CALL

lib/crypto/tests/sha1_kunit.c test_hash_buffer_overruns() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 out 20
NOCHECK_CALL
UNITS 0 ctx unit_byte

lib/crypto/tests/sha1_kunit.c test_hash_ctx_zeroization() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6802091284299821056
BUF_SIZE 1 out 20
NOCHECK_CALL

lib/crypto/tests/sha1_kunit.c test_hash_incremental_updates() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6657892919859118080
BUF_SIZE 1 out 20
NOCHECK_CALL

lib/crypto/tests/sha1_kunit.c test_hash_overlaps() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1354255801869844480
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL

lib/crypto/tests/sha1_kunit.c test_hash_overlaps() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1354255801869844480
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL

lib/digsig.c digsig_verify() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3778161075020431360
BUF_SIZE 1 out 20
NOCHECK_CALL
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &inode->i_rwsem

crypto/sha1.c crypto_sha1_final() -> sha1_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

drivers/tee/tee_core.c uuid_v5() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2464566980519280640
BUF_SIZE 1 out 20
NOCHECK_CALL

security/keys/trusted-keys/trusted_tpm1.c TSS_authhmac() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3806100545931898880
BUF_SIZE 1 out 20
NOCHECK_CALL

security/keys/trusted-keys/trusted_tpm1.c TSS_checkhmac1() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6176015404705296384
BUF_SIZE 1 out 20
NOCHECK_CALL

security/keys/trusted-keys/trusted_tpm1.c TSS_checkhmac2() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8197178206705680384
BUF_SIZE 1 out 20
NOCHECK_CALL

drivers/net/ppp/ppp_mppe.c get_new_key_from_sha() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3212715259644874752
BUF_SIZE 1 out 20
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 bh
HALF_LOCKED2 &ppp->rlock
HALF_LOCKED2 &ppp->wlock
HALF_LOCKED2 rcu_read

lib/crypto/sha1.c sha1() -> sha1_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1097225407751192576
BUF_SIZE 1 out (-1)-s32max
BUF_SIZE 1 out (-1)-s32max
DATA_SOURCE 1 out $2
NOSPEC 1 *out
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *out 0-255
UNITS 1 out unit_byte
USER_PTR 1 out
HALF_LOCKED2 &ndev->req_lock
HALF_LOCKED2 &nfc_dev->dev.mutex