Open Menu /

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/crypto/tests/sha3_kunit.c test_shake_all_lens_up_to_4096() -> shake()

Type Parameter Key Value
PARAM_VALUE 0 alg 0-1
PARAM_VALUE 1 in 16,4096-ptr_max
PARAM_VALUE 2 in_len 0-4096
PARAM_VALUE 3 out 16,4096-ptr_max
PARAM_VALUE 4 out_len 0-4096
BUF_SIZE 1 in 4096
BUF_SIZE 1 in 4096
BUF_SIZE 3 out 4096
BUF_SIZE 3 out 4096
DATA_SOURCE 1 in r alloc_buf
DATA_SOURCE 3 out r alloc_buf
FUZZY_MAX 0 alg 1
FUZZY_MAX 2 in_len 4096
FUZZY_MAX 4 out_len 4096
HARD_MAX 0 alg 1
HARD_MAX 2 in_len 4096
HARD_MAX 4 out_len 4096
NOCHECK_CALL

lib/crypto/tests/sha3_kunit.c test_shake_multiple_squeezes() -> shake()

Type Parameter Key Value
PARAM_VALUE 1 in 4096-ptr_max
PARAM_VALUE 2 in_len 0-512
PARAM_VALUE 3 out 16,4096-ptr_max
PARAM_VALUE 4 out_len 0-512
BUF_SIZE 3 out 512
BUF_SIZE 3 out 512
CAPPED_DATA 2 in_len 1
CAPPED_DATA 2 in_len 1
CAPPED_DATA 4 out_len 1
CAPPED_DATA 4 out_len 1
DATA_SOURCE 2 in_len r rand_length
DATA_SOURCE 3 out r alloc_buf
DATA_SOURCE 4 out_len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha3_kunit.c test_shake_with_guarded_bufs() -> shake()

Type Parameter Key Value
PARAM_VALUE 0 alg 0-1
PARAM_VALUE 1 in 16,4096-ptr_max
PARAM_VALUE 2 in_len 0-512
PARAM_VALUE 3 out 16,4096-ptr_max
PARAM_VALUE 4 out_len 0-512
BUF_SIZE 1 in 512
BUF_SIZE 1 in 512
BUF_SIZE 3 out 512
BUF_SIZE 3 out 512
CAPPED_DATA 2 in_len 1
CAPPED_DATA 2 in_len 1
CAPPED_DATA 4 out_len 1
CAPPED_DATA 4 out_len 1
DATA_SOURCE 1 in r alloc_buf
DATA_SOURCE 3 out r alloc_buf
FUZZY_MAX 0 alg 1
FUZZY_MAX 2 in_len 512
FUZZY_MAX 4 out_len 512
HARD_MAX 0 alg 1
NOCHECK_CALL

lib/crypto/tests/sha3_kunit.c test_shake_with_guarded_bufs() -> shake()

Type Parameter Key Value
PARAM_VALUE 0 alg 0-1
PARAM_VALUE 1 in 4096-ptr_max
PARAM_VALUE 2 in_len 0-512
PARAM_VALUE 3 out 4096-ptr_max
PARAM_VALUE 4 out_len 0-512
CAPPED_DATA 2 in_len 1
CAPPED_DATA 2 in_len 1
CAPPED_DATA 4 out_len 1
CAPPED_DATA 4 out_len 1
FUZZY_MAX 0 alg 1
FUZZY_MAX 2 in_len 512
FUZZY_MAX 4 out_len 512
HARD_MAX 0 alg 1
NOCHECK_CALL