Open Menu /

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:

fs/smb/client/smb2misc.c smb311_update_preauth_hash() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4387059962153758720
BUF_SIZE 1 out 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &server->_srv_mutex
HALF_LOCKED2 &ses->session_mutex
TYPE_LOCK (struct TCP_Server_Info)->_srv_mutex

lib/crypto/sha512.c sha512() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 243564693139333120
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 &ctx->rwsem
HALF_LOCKED2 &of->mutex

lib/crypto/tests/sha512_kunit.c hash_irq_test2_func() -> sha512_final()

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

lib/crypto/tests/sha512_kunit.c test_hash_all_lens_up_to_4096() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7882782806293442560
PARAM_VALUE 1 out 4325383252655865856
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/sha512_kunit.c test_hash_buffer_overruns() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 187835412556021760
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/sha512_kunit.c test_hash_buffer_overruns() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 187835412556021760
NOCHECK_CALL

lib/crypto/tests/sha512_kunit.c test_hash_buffer_overruns() -> sha512_final()

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

lib/crypto/tests/sha512_kunit.c test_hash_ctx_zeroization() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2004719147330428928
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/sha512_kunit.c test_hash_incremental_updates() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3944009913174593536
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/sha512_kunit.c test_hash_overlaps() -> sha512_final()

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

lib/crypto/tests/sha512_kunit.c test_hash_overlaps() -> sha512_final()

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

fs/smb/server/auth.c ksmbd_gen_preauth_integrity_hash() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 425671083275980800
BUF_SIZE 1 out 64
BUF_SIZE 1 out 64
DATA_SOURCE 1 out $2
NOCHECK_CALL
HALF_LOCKED2 &conn->srv_mutex
HALF_LOCKED2 &conn->srv_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct ksmbd_conn)->srv_mutex

crypto/sha512.c crypto_sha512_final() -> sha512_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

fs/verity/hash_algs.c fsverity_hash_block() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 out 64
BUF_SIZE 1 out 64
DATA_SOURCE 1 out $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

samples/tsm-mr/tsm_mr_sample.c sample_report_extend_mr() -> sha512_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &ctx->rwsem
LOCK2 &of->mutex
HALF_LOCKED2 &of->prealloc_mutex
HALF_LOCKED2 &pool->lock
TYPE_LOCK (struct kernfs_open_file)->mutex
TYPE_LOCK (struct tm_context)->rwsem