Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

lib/crypto/sha512.c sha384() -> sha384_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8316312058928779264
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

lib/crypto/tests/sha384_kunit.c hash_irq_test2_func() -> sha384_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/sha384_kunit.c test_hash_all_lens_up_to_4096() -> sha384_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8134430220985114624
PARAM_VALUE 1 data 4146621847972225024
PARAM_VALUE 2 len 48
BUF_SIZE 1 data 48
NOCHECK_CALL

lib/crypto/tests/sha384_kunit.c test_hash_buffer_overruns() -> sha384_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5918527274749493248
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/sha384_kunit.c test_hash_buffer_overruns() -> sha384_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5918527274749493248
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/sha384_kunit.c test_hash_buffer_overruns() -> sha384_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/sha384_kunit.c test_hash_ctx_zeroization() -> sha384_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5926896183456534528
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/sha384_kunit.c test_hash_incremental_updates() -> sha384_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7178626860050059264
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/sha384_kunit.c test_hash_incremental_updates() -> sha384_update()

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

lib/crypto/tests/sha384_kunit.c test_hash_overlaps() -> sha384_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2257573792425635840
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-16336
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha384_kunit.c test_hash_overlaps() -> sha384_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2257573792425635840
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-16336
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL

crypto/sha512.c crypto_sha384_update() -> sha384_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

samples/tsm-mr/tsm_mr_sample.c sample_report_extend_mr() -> sha384_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() -> sha384_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