Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/crypto/sm3.c sm3() -> sm3_final()

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

lib/crypto/tests/sm3_kunit.c hash_irq_test2_func() -> sm3_final()

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

lib/crypto/tests/sm3_kunit.c test_hash_all_lens_up_to_4096() -> sm3_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 6762988634222710784
PARAM_VALUE 1 out 627204630014812160
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/sm3_kunit.c test_hash_buffer_overruns() -> sm3_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3494437840786780160
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/sm3_kunit.c test_hash_buffer_overruns() -> sm3_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3494437840786780160
NOCHECK_CALL

lib/crypto/tests/sm3_kunit.c test_hash_buffer_overruns() -> sm3_final()

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

lib/crypto/tests/sm3_kunit.c test_hash_ctx_zeroization() -> sm3_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 261930770271539200
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/sm3_kunit.c test_hash_incremental_updates() -> sm3_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2463014314009108480
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/sm3_kunit.c test_hash_overlaps() -> sm3_final()

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

lib/crypto/tests/sm3_kunit.c test_hash_overlaps() -> sm3_final()

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

crypto/sm3.c crypto_sm3_final() -> sm3_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