Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

lib/crypto/tests/blake2b_kunit.c blake2b() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8717063130971074560
PARAM_VALUE 0 ctx->outlen 1-64
BUF_SIZE 1 out (-1),64
BUF_SIZE 1 out (-1),64
DATA_SOURCE 1 out $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c hash_irq_test2_func() -> blake2b_final()

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

lib/crypto/tests/blake2b_kunit.c test_blake2b_all_key_and_hash_lens() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3651586159434649600
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 6052377863073390592
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c test_blake2b_with_guarded_key_buf() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 5454813217842249728
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 6081342425863266304
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c test_hash_all_lens_up_to_4096() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4980209047111458816
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 5212568119192739840
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c test_hash_buffer_overruns() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1029231174547992576
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 4491013198699876352
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c test_hash_buffer_overruns() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1029231174547992576
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 4096-ptr_max
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c test_hash_buffer_overruns() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 0 *ctx->buf 0-255
PARAM_VALUE 1 out 4491013198699876352
BUF_SIZE 1 out 64
NOCHECK_CALL
UNITS 0 ctx unit_byte

lib/crypto/tests/blake2b_kunit.c test_hash_ctx_zeroization() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 513152078060789760
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 3739281006526984192
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c test_hash_incremental_updates() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1843667241152552960
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 4065061564134572032
BUF_SIZE 1 out 64
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c test_hash_overlaps() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1818569589313015808
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL

lib/crypto/tests/blake2b_kunit.c test_hash_overlaps() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1818569589313015808
PARAM_VALUE 0 ctx->outlen 64
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL

fs/btrfs/fs.c blake2b() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2278693916127150080
PARAM_VALUE 0 ctx->outlen 32
BUF_SIZE 1 out 32
BUF_SIZE 1 out 32
DATA_SOURCE 1 out $4
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &fs_info->fs_devices->device_list_mutex
HALF_LOCKED2 &fs_info->tree_log_mutex

fs/btrfs/fs.c btrfs_csum_final() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1228545911430721544,1575514942901559304,9140346693608513544
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 4096-ptr_max
BUF_SIZE 1 out (-1),32
BUF_SIZE 1 out (-1),32
DATA_SOURCE 1 out $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &pool->lock

crypto/blake2b.c blake2b() -> blake2b_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4013518867577802752
BUF_SIZE 1 out (-1)-s32max
BUF_SIZE 1 out (-1)-s32max
DATA_SOURCE 1 out $4
NOSPEC 1 *out
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctx->buflen 0-u32max[c]
USER_DATA 0 ctx->buflen 0-u32max[u]
USER_DATA 1 *out 0-255
UNITS 1 out unit_byte
USER_PTR 1 out

crypto/blake2b.c crypto_blake2b_final() -> blake2b_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