Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 5 files:
- crypto/blake2b.c, line 44
- fs/btrfs/fs.c, line 100
- include/crypto/blake2b.h, line 152
- lib/crypto/blake2b.c, line 140
- lib/crypto/tests/blake2b_kunit.c
Smatch caller information:
lib/crypto/tests/blake2b_kunit.c blake2b() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 8717063130971074560 |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| PARAM_VALUE | 0 | ctx->outlen | 1-64 |
| PARAM_VALUE | 2 | inlen | 0-16384 |
| BUF_SIZE | 1 | in | (-1),100,4096,16384 |
| BUF_SIZE | 1 | in | (-1),100,4096,16384 |
| CAPPED_DATA | 2 | inlen | 1 |
| CAPPED_DATA | 2 | inlen | 1 |
| DATA_SOURCE | 1 | in | $2 |
| DATA_SOURCE | 2 | inlen | $3 |
| FUZZY_MAX | 2 | inlen | 4096 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| NO_OVERFLOW_SIMPLE | 2 | inlen |
lib/crypto/tests/blake2b_kunit.c hash_irq_test2_func() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 0-u16max |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_blake2b_all_key_and_hash_lens() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 3651586159434649600 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 16,4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 1-64 |
| BUF_SIZE | 1 | in | 64 |
| BUF_SIZE | 1 | in | 64 |
| DATA_SOURCE | 1 | in | r alloc_buf |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_blake2b_with_guarded_key_buf() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 5454813217842249728 |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 100 |
| BUF_SIZE | 1 | in | 100 |
| BUF_SIZE | 1 | in | 100 |
| DATA_SOURCE | 1 | in | r alloc_buf |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_hash_all_lens_up_to_4096() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4980209047111458816 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 5212568119192739840 |
| PARAM_VALUE | 2 | inlen | 64 |
| BUF_SIZE | 1 | in | 64 |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_hash_buffer_overruns() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1029231174547992576 |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 2 | inlen | 0-16152 |
| CAPPED_DATA | 2 | inlen | 1 |
| CAPPED_DATA | 2 | inlen | 1 |
| DATA_SOURCE | 2 | inlen | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_hash_buffer_overruns() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1029231174547992576 |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 0-16152 |
| CAPPED_DATA | 2 | inlen | 1 |
| CAPPED_DATA | 2 | inlen | 1 |
| DATA_SOURCE | 1 | in | r alloc_guarded_buf |
| DATA_SOURCE | 2 | inlen | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_hash_buffer_overruns() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4096-ptr_max |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 0 | *ctx->buf | 0-255 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 0-16152 |
| CAPPED_DATA | 2 | inlen | 1 |
| CAPPED_DATA | 2 | inlen | 1 |
| DATA_SOURCE | 1 | in | r alloc_guarded_buf |
| DATA_SOURCE | 2 | inlen | r rand_length |
| NOCHECK_CALL | |||
| UNITS | 0 | ctx | unit_byte |
lib/crypto/tests/blake2b_kunit.c test_hash_ctx_zeroization() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 513152078060789760 |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 128 |
| BUF_SIZE | 1 | in | 128 |
| BUF_SIZE | 1 | in | 128 |
| DATA_SOURCE | 1 | in | r alloc_buf |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_hash_incremental_updates() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1843667241152552960 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 0-16384 |
| CAPPED_DATA | 2 | inlen | 1 |
| CAPPED_DATA | 2 | inlen | 1 |
| DATA_SOURCE | 2 | inlen | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_hash_incremental_updates() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1843667241152552960 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 0-16384,18446744073709535232-u64max |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_hash_overlaps() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1818569589313015808 |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 0-16320 |
| CAPPED_DATA | 2 | inlen | 1 |
| CAPPED_DATA | 2 | inlen | 1 |
| DATA_SOURCE | 2 | inlen | r rand_length |
| NOCHECK_CALL |
lib/crypto/tests/blake2b_kunit.c test_hash_overlaps() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1818569589313015808 |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| PARAM_VALUE | 0 | ctx->outlen | 64 |
| PARAM_VALUE | 1 | in | 4096-ptr_max |
| PARAM_VALUE | 2 | inlen | 0-16320 |
| CAPPED_DATA | 2 | inlen | 1 |
| CAPPED_DATA | 2 | inlen | 1 |
| DATA_SOURCE | 2 | inlen | r rand_length |
| NOCHECK_CALL |
fs/btrfs/fs.c blake2b() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 2278693916127150080 |
| PARAM_VALUE | 0 | ctx->buflen | 0 |
| PARAM_VALUE | 0 | ctx->outlen | 32 |
| PARAM_VALUE | 2 | inlen | 4064 |
| DATA_SOURCE | 1 | in | $2 |
| DATA_SOURCE | 2 | inlen | $3 |
| PREEMPT_ADD | |||
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HALF_LOCKED2 | &fs_info->fs_devices->device_list_mutex | ||
| HALF_LOCKED2 | &fs_info->tree_log_mutex |
fs/btrfs/fs.c btrfs_csum_update() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 1228545911430721544,1575514942901559304,9140346693608513544 |
| PARAM_VALUE | 0 | ctx->outlen | 32 |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | inlen | $2 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| UNITS | 2 | inlen | unit_byte |
| HALF_LOCKED2 | &pool->lock |
crypto/blake2b.c blake2b() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | ctx | 4013518867577802752 |
| PARAM_VALUE | 0 | ctx->buflen | 0,128 |
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $2 |
| DATA_SOURCE | 2 | inlen | $3 |
| PARAM_COMPARE | 1 | in | == $2 |
| NOSPEC | 1 | *in | |
| NOSPEC | 2 | inlen | |
| NOSPEC | 2 | inlen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | in | 4096-ptr_max[c] |
| HOST_DATA | 2 | inlen | 0-4605,4294962946-u32max[c] |
| USER_DATA | 1 | in | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *in | 0-255 |
| USER_DATA | 2 | inlen | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | in->compr_size | |
| UNITS | 1 | in | unit_byte |
| UNITS | 2 | inlen | unit_byte |
| BYTE_COUNT | 1 | ==in2 | 8050 |
| USER_PTR | 1 | in |
crypto/blake2b.c crypto_blake2b_update() -> blake2b_update()
| Type | Parameter | Key | Value |
|---|---|---|---|
| BUF_SIZE | 1 | in | (-1)-s32max |
| BUF_SIZE | 1 | in | (-1)-s32max |
| DATA_SOURCE | 1 | in | $1 |
| DATA_SOURCE | 2 | inlen | $2 |
| NOSPEC | 1 | *in | |
| NOSPEC | 2 | inlen | |
| NOSPEC | 2 | inlen | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NOCHECK_CALL | |||
| HOST_DATA | 1 | in | 4096-ptr_max[c] |
| HOST_DATA | 2 | inlen | 0-4860,4294962946-u32max[c] |
| USER_DATA | 1 | in | 4096-ptr_max[c][u] |
| USER_DATA | 1 | *in | 0-255 |
| USER_DATA | 2 | inlen | 0-u32max |
| NO_OVERFLOW_SIMPLE | 1 | in->compr_size | |
| BYTE_COUNT | 1 | ==in2 | 8050 |
| USER_PTR | 1 | in |