Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/testmgr.c generate_aead_message() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 1 buf 8176
DATA_SOURCE 0 rng $0
NOCHECK_CALL
UNITS 2 count unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_aead_message() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 1 buf 8176
DATA_SOURCE 0 rng $0
NOCHECK_CALL
UNITS 2 count unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_aead_message() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
PARAM_VALUE 1 buf 4096-ptr_max
PARAM_VALUE 2 count 1-u32max
BUF_SIZE 1 buf 8176
DATA_SOURCE 0 rng $0
NOCHECK_CALL
UNITS 2 count unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_aead_testvec() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
PARAM_VALUE 1 buf 16,4096-ptr_max
BUF_SIZE 1 buf 1-255
DATA_SOURCE 0 rng $0
NOCHECK_CALL
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_aead_testvec() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 4096-ptr_max
PARAM_VALUE 1 buf 16,4096-ptr_max
BUF_SIZE 1 buf 1-s32max
DATA_SOURCE 0 rng $0
DATA_SOURCE 2 count r crypto_aead_ivsize
NOCHECK_CALL
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_cipher_testvec() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 4068083080766955520
PARAM_VALUE 1 buf 16,4096-ptr_max
BUF_SIZE 1 buf 1-s32max
DATA_SOURCE 0 rng $0
NOCHECK_CALL
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_cipher_testvec() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 4068083080766955520
PARAM_VALUE 1 buf 16,4096-ptr_max
BUF_SIZE 1 buf 1-s32max
DATA_SOURCE 0 rng $0
DATA_SOURCE 2 count r crypto_skcipher_ivsize
NOCHECK_CALL
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_cipher_testvec() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 4068083080766955520
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 1 buf 8176
DATA_SOURCE 0 rng $0
DATA_SOURCE 2 count r generate_random_length
NOCHECK_CALL
UNITS 2 count unit_byte
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_hash_testvec() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 7334138514930450432
PARAM_VALUE 1 buf 4096-ptr_max
BUF_SIZE 1 buf 8176
DATA_SOURCE 0 rng $0
DATA_SOURCE 2 count r generate_random_length
NOCHECK_CALL
HALF_LOCKED2 global &once_lock

crypto/testmgr.c generate_random_hash_testvec() -> generate_random_bytes()

Type Parameter Key Value
PARAM_VALUE 0 rng 7334138514930450432
PARAM_VALUE 1 buf 16,4096-ptr_max
BUF_SIZE 1 buf 1-u16max
CAPPED_DATA 2 count 1
DATA_SOURCE 0 rng $0
NOCHECK_CALL
HALF_LOCKED2 global &once_lock