Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 7 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4387059962153758720
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 0
PARAM_VALUE 2 len 64
BUF_SIZE 1 data 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

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4387059962153758720
BUF_SIZE 1 data s32min-(-2),1-s32max
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 data unit_byte
UNITS 2 len unit_byte
LOCK2 &server->_srv_mutex
HALF_LOCKED2 &ses->session_mutex
TYPE_LOCK (struct TCP_Server_Info)->_srv_mutex

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

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

lib/crypto/tests/sha512_kunit.c hash_irq_test2_func() -> sha512_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/sha512_kunit.c test_hash_all_lens_up_to_4096() -> sha512_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7882782806293442560
PARAM_VALUE 1 data 4325383252655865856
PARAM_VALUE 2 len 64
BUF_SIZE 1 data 64
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 187835412556021760
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 0
PARAM_VALUE 2 len 0-16176
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 187835412556021760
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 0
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16176
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/sha512_kunit.c test_hash_buffer_overruns() -> sha512_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 0
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16176
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/sha512_kunit.c test_hash_ctx_zeroization() -> sha512_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2004719147330428928
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 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/sha512_kunit.c test_hash_incremental_updates() -> sha512_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3944009913174593536
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/sha512_kunit.c test_hash_incremental_updates() -> sha512_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3944009913174593536
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16384,18446744073709535232-u64max
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 824078383143182336
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 0
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16320
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 824078383143182336
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 0
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16320
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL

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

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

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 425671083275980800
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 0-16777215
BUF_SIZE 1 data 4
BUF_SIZE 1 data 4
DATA_SOURCE 2 len r get_rfc1002_len
NOCHECK_CALL
USER_DATA 2 len 0-16777215[c]
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_update() -> sha512_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

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

Type Parameter Key Value
DATA_SOURCE 1 data $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 len unit_byte

fs/verity/hash_algs.c fsverity_prepare_hash_state() -> sha512_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 0
PARAM_VALUE 1 data 4096-ptr_max
PARAM_VALUE 2 len 64-95,128-159
BUF_SIZE 1 data 64-95,128-159,4294967296-4294967327
BUF_SIZE 1 data 64-95,128-159,4294967296-4294967327
DATA_SOURCE 1 data r _kzalloc_noprof
BIT_INFO 2 len 0x0,0x1ffffffff
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
USER_DATA 1 *data 0-255
USER_DATA 2 len 64-95,128-159[c]
USER_PTR 1 data

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ctx.bytecount_hi 0
PARAM_VALUE 0 ctx->ctx.bytecount_lo 0
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

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 data 4096-ptr_max
DATA_SOURCE 1 data $2
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