Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a member:

Defined in 1 files as a function:

Referenced in 5 files:

Smatch caller information:

lib/crypto/tests/sha224_kunit.c benchmark_hash() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 16,4096-ptr_max
PARAM_VALUE 1 len 16384
BUF_SIZE 0 data 16384
BUF_SIZE 0 data 16384
BUF_SIZE 2 out 28
DATA_SOURCE 0 data r alloc_buf
MEM_ZERO 0 data
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c benchmark_hash() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 16,4096-ptr_max
PARAM_VALUE 1 len 0-16384
BUF_SIZE 0 data 16384
BUF_SIZE 0 data 16384
BUF_SIZE 2 out 28
DATA_SOURCE 0 data r alloc_buf
MEM_ZERO 0 data
PREEMPT_ADD <- disables preempt
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c hash_irq_test1_func() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 256
BUF_SIZE 2 out 28
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_alignment_consistency() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 0-16384
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_alignment_consistency() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 0-16384
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_all_lens_up_to_4096() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 16,4096-ptr_max
PARAM_VALUE 1 len 0-4096
PARAM_VALUE 2 out 5238069535411650560
BUF_SIZE 0 data 4096
BUF_SIZE 0 data 4096
BUF_SIZE 2 out 28
DATA_SOURCE 0 data r alloc_buf
FUZZY_MAX 1 len 4096
HARD_MAX 1 len 4096
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_buffer_overruns() -> sha224()

Type Parameter Key Value
PARAM_VALUE 1 len 0-16280
BUF_SIZE 2 out 28
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_buffer_overruns() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 0-16280
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 0 data r alloc_guarded_buf
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_incremental_updates() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 0-16384
BUF_SIZE 2 out 28
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_interrupt_context_1() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 256
BUF_SIZE 2 out 28
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_interrupt_context_2() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 16384
BUF_SIZE 0 data 16384
BUF_SIZE 0 data 16384
BUF_SIZE 2 out 28
DATA_SOURCE 0 data r alloc_buf
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_overlaps() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 0-16356
PARAM_VALUE 2 out 6211193665640710144
BUF_SIZE 2 out 28
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_overlaps() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 0-16356
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_overlaps() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 0-16356
PARAM_VALUE 2 out 6211193665640710144
BUF_SIZE 2 out 28
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_overlaps() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 4096-ptr_max
PARAM_VALUE 1 len 0-16356
PARAM_VALUE 2 out 6211193665640710144
BUF_SIZE 2 out 28
CAPPED_DATA 1 len 1
CAPPED_DATA 1 len 1
DATA_SOURCE 1 len r rand_length
NOCHECK_CALL

lib/crypto/tests/sha224_kunit.c test_hash_test_vectors() -> sha224()

Type Parameter Key Value
PARAM_VALUE 0 data 16,4096-ptr_max
PARAM_VALUE 1 len 0-3,16,32,48-49,63-65,127-129,256,511,513,1000,3333,4096,4128
BUF_SIZE 0 data 16384
BUF_SIZE 0 data 16384
BUF_SIZE 2 out 28
DATA_SOURCE 0 data r alloc_buf
NOCHECK_CALL

crypto/sha256.c crypto_sha224_digest() -> sha224()

Type Parameter Key Value
BUF_SIZE 0 data (-1)-s32max
BUF_SIZE 0 data (-1)-s32max
BUF_SIZE 2 out (-1)-s32max
BUF_SIZE 2 out (-1)-s32max
DATA_SOURCE 0 data $1
DATA_SOURCE 1 len $2
DATA_SOURCE 2 out $3
PARAM_COMPARE 0 data == $1
NOSPEC 0 *data
NOSPEC 1 len
NOSPEC 1 len
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 data 4096-ptr_max[c]
HOST_DATA 1 len 0-4605,4294962946-u32max[c]
USER_DATA 0 data 4096-ptr_max[c][u]
USER_DATA 0 *data 0-255
USER_DATA 1 len 0-u32max
USER_DATA 2 *out 0-255
NO_OVERFLOW_SIMPLE 0 data->compr_size
NO_OVERFLOW_SIMPLE 0 data->ino
NO_OVERFLOW_SIMPLE 0 data->jhead
UNITS 0 data unit_byte
UNITS 1 len unit_byte
UNITS 2 out unit_byte
BYTE_COUNT 0 ==data1 8050
USER_PTR 0 data
USER_PTR 2 out