Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

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

Type Parameter Key Value
PARAM_VALUE 0 key 0
PARAM_VALUE 1 keylen 0
PARAM_VALUE 3 inlen 0-16384
PARAM_VALUE 5 outlen 32
BUF_SIZE 2 in (-1),4096,16384
BUF_SIZE 2 in (-1),4096,16384
BUF_SIZE 4 out (-1),32
CAPPED_DATA 3 inlen 1
CAPPED_DATA 3 inlen 1
DATA_SOURCE 2 in $0
DATA_SOURCE 3 inlen $1
DATA_SOURCE 4 out $2
FUZZY_MAX 3 inlen 4096
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 3 inlen

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

Type Parameter Key Value
PARAM_VALUE 0 key 16,4096-ptr_max
PARAM_VALUE 1 keylen 0-32
PARAM_VALUE 2 in 16,4096-ptr_max
PARAM_VALUE 3 inlen 100
PARAM_VALUE 4 out 16,4096-ptr_max
PARAM_VALUE 5 outlen 1-32
BUF_SIZE 0 key 32
BUF_SIZE 0 key 32
BUF_SIZE 2 in 100
BUF_SIZE 2 in 100
BUF_SIZE 4 out 32
BUF_SIZE 4 out 32
DATA_SOURCE 0 key r alloc_buf
DATA_SOURCE 2 in r alloc_buf
DATA_SOURCE 4 out r alloc_buf
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 key 5668767591951998976
PARAM_VALUE 1 keylen 0-32
PARAM_VALUE 2 in 4096-ptr_max
PARAM_VALUE 3 inlen 100
PARAM_VALUE 4 out 6606110433666297856
PARAM_VALUE 5 outlen 32
BUF_SIZE 0 key 32
BUF_SIZE 2 in 100
BUF_SIZE 2 in 100
BUF_SIZE 4 out 32
CAPPED_DATA 1 keylen 1
DATA_SOURCE 2 in r alloc_buf
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 key 4096-ptr_max
PARAM_VALUE 1 keylen 0-32
PARAM_VALUE 2 in 4096-ptr_max
PARAM_VALUE 3 inlen 100
PARAM_VALUE 4 out 3830338859398463488
PARAM_VALUE 5 outlen 32
BUF_SIZE 2 in 100
BUF_SIZE 2 in 100
BUF_SIZE 4 out 32
CAPPED_DATA 1 keylen 1
DATA_SOURCE 2 in r alloc_buf
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 key 0
PARAM_VALUE 1 keylen 0
PARAM_VALUE 2 in 4096-ptr_max
PARAM_VALUE 3 inlen 100
PARAM_VALUE 4 out 1221138136867229696
PARAM_VALUE 5 outlen 1-32
BUF_SIZE 2 in 100
BUF_SIZE 2 in 100
BUF_SIZE 4 out 32
DATA_SOURCE 2 in r alloc_buf
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 key 0
PARAM_VALUE 1 keylen 0
PARAM_VALUE 2 in 4096-ptr_max
PARAM_VALUE 3 inlen 100
PARAM_VALUE 4 out 4096-ptr_max
PARAM_VALUE 5 outlen 1-32
BUF_SIZE 2 in 100
BUF_SIZE 2 in 100
DATA_SOURCE 2 in r alloc_buf
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 1 keylen 32
PARAM_VALUE 2 in 4096-ptr_max
PARAM_VALUE 5 outlen 16
BUF_SIZE 0 key 32
BUF_SIZE 2 in 1-s32max
BUF_SIZE 4 out 16
DATA_SOURCE 0 key $3
DATA_SOURCE 2 in $1
DATA_SOURCE 4 out $0
NOCHECK_CALL
UNITS 2 in unit_byte
UNITS 3 inlen unit_byte
HALF_LOCKED2 &peer->latest_cookie.lock

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

Type Parameter Key Value
PARAM_VALUE 1 keylen 16
PARAM_VALUE 2 in 4096-ptr_max
PARAM_VALUE 5 outlen 16
BUF_SIZE 0 key 16
BUF_SIZE 2 in 1-s32max
BUF_SIZE 4 out 16
DATA_SOURCE 0 key $3
DATA_SOURCE 2 in $1
DATA_SOURCE 4 out $0
NOCHECK_CALL
UNITS 2 in unit_byte
UNITS 3 inlen unit_byte
HALF_LOCKED2 &peer->latest_cookie.lock

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

Type Parameter Key Value
PARAM_VALUE 0 key 0
PARAM_VALUE 1 keylen 0
PARAM_VALUE 2 in 8410622790340366336
PARAM_VALUE 3 inlen 37
PARAM_VALUE 4 out 5556882239283691520
PARAM_VALUE 5 outlen 32
BUF_SIZE 2 in 37
BUF_SIZE 4 out 32
NOCHECK_CALL
UNITS 3 inlen unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 key 4968262462958612480
PARAM_VALUE 1 keylen 32
PARAM_VALUE 2 in 4691140647677112320
PARAM_VALUE 3 inlen 40
PARAM_VALUE 4 out 7544015690690097152
PARAM_VALUE 5 outlen 32
BUF_SIZE 0 key 32
BUF_SIZE 2 in 40
BUF_SIZE 4 out 32
PREEMPT_ADD <- disables preempt
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 keylen unit_byte
UNITS 3 inlen unit_byte
UNITS 5 outlen unit_byte
LOCK2 flags
LOCK2 global &input_pool.lock
HALF_LOCKED2 flags
HALF_LOCKED2 global &base_crng.lock

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

Type Parameter Key Value
PARAM_VALUE 0 key 4968262462958612480
PARAM_VALUE 1 keylen 32
PARAM_VALUE 2 in 4691140647677112320
PARAM_VALUE 3 inlen 40
PARAM_VALUE 5 outlen 32
BUF_SIZE 0 key 32
BUF_SIZE 2 in 40
BUF_SIZE 4 out 32
DATA_SOURCE 4 out $0
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 1 keylen unit_byte
UNITS 3 inlen unit_byte
UNITS 5 outlen unit_byte
HALF_LOCKED2 flags
HALF_LOCKED2 global &base_crng.lock