Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/crypto/tests/aes_gcm_kunit.c test_aead_incremental_updates() -> aead_decrypt_incrementally()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 509692987220037632 |
| PARAM_VALUE | 0 | test->last_seen.line | 554 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ghash->acc.bytes | 0-255 |
| PARAM_VALUE | 1 | *ctx->ctr32 | 0-4294967295 |
| PARAM_VALUE | 1 | *ctx->keystream | 0-255 |
| PARAM_VALUE | 2 | dst | 16,4096-ptr_max |
| PARAM_VALUE | 3 | src | 16,4096-ptr_max |
| PARAM_VALUE | 4 | data_len | 0-1024 |
| PARAM_VALUE | 5 | tag | 16,4096-ptr_max |
| PARAM_VALUE | 6 | ad | 16,4096-ptr_max |
| PARAM_VALUE | 7 | ad_len | 0-512 |
| PARAM_VALUE | 8 | nonce | 16,4096-ptr_max |
| PARAM_VALUE | 9 | nonce_len | 12 |
| PARAM_VALUE | 10 | key | 16,4096-ptr_max |
| PARAM_VALUE | 10 | key->aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 10 | key->aes.len | 16,24,32 |
| PARAM_VALUE | 10 | key->aes.nrounds | 10,12,14 |
| PARAM_VALUE | 10 | key->authtag_len | 4,8,12-16 |
| BUF_SIZE | 0 | test->last_seen.file | 38 |
| BUF_SIZE | 1 | ctx | 104 |
| BUF_SIZE | 2 | dst | 1024 |
| BUF_SIZE | 2 | dst | 1024 |
| BUF_SIZE | 3 | src | 1024 |
| BUF_SIZE | 3 | src | 1024 |
| BUF_SIZE | 5 | tag | 4,8,12-16 |
| BUF_SIZE | 5 | tag | 4,8,12-16 |
| BUF_SIZE | 6 | ad | s32min-s32max |
| BUF_SIZE | 8 | nonce | s32min-s32max |
| BUF_SIZE | 10 | key | s32min-s32max |
| CAPPED_DATA | 4 | data_len | 1 |
| CAPPED_DATA | 4 | data_len | 1 |
| CAPPED_DATA | 7 | ad_len | 1 |
| CAPPED_DATA | 7 | ad_len | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r alloc_buf |
| DATA_SOURCE | 2 | dst | r alloc_buf |
| DATA_SOURCE | 3 | src | r alloc_buf |
| DATA_SOURCE | 4 | data_len | r rand_length |
| DATA_SOURCE | 5 | tag | r alloc_buf |
| DATA_SOURCE | 6 | ad | r aead_alloc_random_data |
| DATA_SOURCE | 7 | ad_len | r rand_length |
| DATA_SOURCE | 8 | nonce | r aead_alloc_random_data |
| DATA_SOURCE | 10 | key | r aead_alloc_random_key |
| STR_LEN | 0 | test->last_seen.file | 37 |
lib/crypto/tests/aes_ccm_kunit.c test_aead_incremental_updates() -> aead_decrypt_incrementally()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 509692987220037632 |
| PARAM_VALUE | 0 | test->last_seen.line | 554 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | *ctx->mac | 0-255 |
| PARAM_VALUE | 2 | dst | 16,4096-ptr_max |
| PARAM_VALUE | 3 | src | 16,4096-ptr_max |
| PARAM_VALUE | 4 | data_len | 0-1024 |
| PARAM_VALUE | 5 | tag | 16,4096-ptr_max |
| PARAM_VALUE | 6 | ad | 16,4096-ptr_max |
| PARAM_VALUE | 7 | ad_len | 0-512 |
| PARAM_VALUE | 8 | nonce | 16,4096-ptr_max |
| PARAM_VALUE | 9 | nonce_len | 13 |
| PARAM_VALUE | 10 | key | 4096-ptr_max |
| PARAM_VALUE | 10 | key->aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 10 | key->aes.len | 16,24,32 |
| PARAM_VALUE | 10 | key->aes.nrounds | 10,12,14 |
| PARAM_VALUE | 10 | key->authtag_len | 4,6,8,10,12,14,16 |
| BUF_SIZE | 0 | test->last_seen.file | 38 |
| BUF_SIZE | 1 | ctx | 96 |
| BUF_SIZE | 2 | dst | 1024 |
| BUF_SIZE | 2 | dst | 1024 |
| BUF_SIZE | 3 | src | 1024 |
| BUF_SIZE | 3 | src | 1024 |
| BUF_SIZE | 5 | tag | 4,6,8,10,12,14,16 |
| BUF_SIZE | 5 | tag | 4,6,8,10,12,14,16 |
| BUF_SIZE | 6 | ad | s32min-s32max |
| BUF_SIZE | 8 | nonce | s32min-s32max |
| BUF_SIZE | 10 | key | s32min-s32max |
| CAPPED_DATA | 4 | data_len | 1 |
| CAPPED_DATA | 4 | data_len | 1 |
| CAPPED_DATA | 7 | ad_len | 1 |
| CAPPED_DATA | 7 | ad_len | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r alloc_buf |
| DATA_SOURCE | 2 | dst | r alloc_buf |
| DATA_SOURCE | 3 | src | r alloc_buf |
| DATA_SOURCE | 4 | data_len | r rand_length |
| DATA_SOURCE | 5 | tag | r alloc_buf |
| DATA_SOURCE | 6 | ad | r aead_alloc_random_data |
| DATA_SOURCE | 7 | ad_len | r rand_length |
| DATA_SOURCE | 8 | nonce | r aead_alloc_random_data |
| DATA_SOURCE | 10 | key | r aead_alloc_random_key |
| STR_LEN | 0 | test->last_seen.file | 37 |