Documented in 1 files:

Defined in 2 files as a prototype:

Defined in 2 files as a function:

Referenced in 9 files:

Smatch caller information:

lib/crypto/tests/blake2s_kunit.c blake2s() -> blake2s_final()

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

lib/crypto/tests/blake2s_kunit.c hash_irq_test2_func() -> blake2s_final()

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

lib/crypto/tests/blake2s_kunit.c test_blake2s_all_key_and_hash_lens() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2318703332430364672
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 2608866936657711104
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_blake2s_with_guarded_key_buf() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 528195479015100416
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 3830338859398463488
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_all_lens_up_to_4096() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4406478424217096192
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 1483532082269216768
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_buffer_overruns() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7147758697685716992
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 4525802434620317696
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_buffer_overruns() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7147758697685716992
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 4096-ptr_max
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_buffer_overruns() -> blake2s_final()

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

lib/crypto/tests/blake2s_kunit.c test_hash_ctx_zeroization() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3863127608820940800
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 124754168735109120
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_incremental_updates() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 495763178176278528
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 4432599024239173632
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_overlaps() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 840139767123963904
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL

lib/crypto/tests/blake2s_kunit.c test_hash_overlaps() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 840139767123963904
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 1-u64max
NOCHECK_CALL

drivers/net/wireguard/cookie.c blake2s() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1872332742985482240
PARAM_VALUE 0 ctx->outlen 16
BUF_SIZE 1 out 16
BUF_SIZE 1 out 16
DATA_SOURCE 1 out $4
NOCHECK_CALL
HALF_LOCKED2 &peer->latest_cookie.lock

drivers/net/wireguard/cookie.c make_cookie() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8797744137469308928
PARAM_VALUE 0 ctx->outlen 16
BUF_SIZE 1 out 16
DATA_SOURCE 1 out $0
NOCHECK_CALL
LOCK2 &checker->secret_lock
TYPE_LOCK (struct cookie_checker)->secret_lock

drivers/net/wireguard/cookie.c precompute_key() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 1020313182744854528
PARAM_VALUE 0 ctx->outlen 32
BUF_SIZE 1 out 32
DATA_SOURCE 1 out $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 &wg->device_update_lock
LOCK2 global &rtnl_mutex
HALF_LOCKED2 &dev->lock
HALF_LOCKED2 &devlink->lock
HALF_LOCKED2 &net->xfrm.xfrm_cfg_mutex
HALF_LOCKED2 &wg->static_identity.lock
HALF_LOCKED2 global &audit_cmd_mutex.lock
HALF_LOCKED2 global &cb_lock
HALF_LOCKED2 global &crypto_cfg_mutex
HALF_LOCKED2 global &dpll_lock
HALF_LOCKED2 global &hwsim_phys_lock
HALF_LOCKED2 global &net_dm_mutex
HALF_LOCKED2 global &rx_queue_mutex
TYPE_LOCK (struct wg_device)->device_update_lock

drivers/net/wireguard/noise.c blake2s() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3631306810769510400
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 5556882239283691520
BUF_SIZE 1 out 32
BUF_SIZE 1 out 32
DATA_SOURCE 1 out $4
NOCHECK_CALL

drivers/net/wireguard/noise.c hmac() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 884125291854774272
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 4096-ptr_max
BUF_SIZE 1 out 64
NOCHECK_CALL
HALF_LOCKED2 &handshake->lock

drivers/net/wireguard/noise.c hmac() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 884125291854774272
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 8622612917374005248
BUF_SIZE 1 out 32
NOCHECK_CALL
HALF_LOCKED2 &handshake->lock

drivers/net/wireguard/noise.c hmac() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 884125291854774272
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 8622612917374005248
BUF_SIZE 1 out 32
NOCHECK_CALL
HALF_LOCKED2 &handshake->lock

drivers/net/wireguard/noise.c mix_hash() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8330415686614687744
PARAM_VALUE 0 ctx->outlen 32
BUF_SIZE 1 out 32
DATA_SOURCE 1 out $0
NOCHECK_CALL
USER_DATA 0 ctx->buflen 0-u32max[c][u]
HALF_LOCKED2 &handshake->lock
HALF_LOCKED2 &handshake->static_identity->lock
HALF_LOCKED2 &wg->static_identity.lock
TYPE_LOCK (struct noise_static_identity)->lock

drivers/net/wireguard/noise.c wg_noise_init() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 7778070378595889152
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 7323784383823556608
BUF_SIZE 1 out 32
NOCHECK_CALL

drivers/char/random.c blake2s() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8187922871300554752
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 flags
HALF_LOCKED2 global &base_crng.lock
HALF_LOCKED2 global &input_pool.lock

drivers/char/random.c extract_entropy() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2541834793616519168
PARAM_VALUE 1 out 4968262462958612480
BUF_SIZE 1 out 32
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
LOCK2 flags
LOCK2 global &input_pool.lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &base_crng.lock

lib/crypto/tests/aes_gcm_kunit.c test_aead_monte_carlo() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 9035449822987276288
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 79160092434259968
BUF_SIZE 1 out 32
NOCHECK_CALL

lib/crypto/tests/aes_ccm_kunit.c test_aead_monte_carlo() -> blake2s_final()

Type Parameter Key Value
PARAM_VALUE 0 ctx 960130356504125440
PARAM_VALUE 0 ctx->outlen 32
PARAM_VALUE 1 out 2887922708474339328
BUF_SIZE 1 out 32
NOCHECK_CALL