Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/crypto/tests/aes_gcm_kunit.c test_aead_all_key_lens() -> aead_do_basic_checks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 509692987220037632,2970259352006627328 |
| PARAM_VALUE | 0 | test->last_seen.line | 45,340,365 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ad_len | 16 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->nonce_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->raw_key_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->tag_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->unused_buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | key_len | 16,24,32 |
| PARAM_VALUE | 3 | nonce_len | 12 |
| PARAM_VALUE | 4 | tag_len | 16 |
| BUF_SIZE | 1 | ctx | 640 |
| CAPPED_DATA | 2 | key_len | 1 |
| CAPPED_DATA | 2 | key_len | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| NOCHECK_CALL |
lib/crypto/tests/aes_gcm_kunit.c test_aead_all_nonce_lens() -> aead_do_basic_checks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 509692987220037632,2970259352006627328 |
| PARAM_VALUE | 0 | test->last_seen.line | 45,340,431 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ad_len | 16 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->nonce_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->raw_key_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->tag_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->unused_buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | key_len | 32 |
| PARAM_VALUE | 3 | nonce_len | 12 |
| PARAM_VALUE | 4 | tag_len | 16 |
| BUF_SIZE | 1 | ctx | 640 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| NOCHECK_CALL |
lib/crypto/tests/aes_gcm_kunit.c test_aead_all_tag_lens() -> aead_do_basic_checks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 509692987220037632,2970259352006627328 |
| PARAM_VALUE | 0 | test->last_seen.line | 45,340,478 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ad_len | 16 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->nonce_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->raw_key_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->tag_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->unused_buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | key_len | 32 |
| PARAM_VALUE | 3 | nonce_len | 12 |
| PARAM_VALUE | 4 | tag_len | 4,8,12-16 |
| BUF_SIZE | 1 | ctx | 640 |
| CAPPED_DATA | 4 | tag_len | 1 |
| CAPPED_DATA | 4 | tag_len | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| NOCHECK_CALL |
lib/crypto/tests/aes_ccm_kunit.c test_aead_all_key_lens() -> aead_do_basic_checks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 509692987220037632,2970259352006627328 |
| PARAM_VALUE | 0 | test->last_seen.line | 45,340,365 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ad_len | 16 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->nonce_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->raw_key_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->tag_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->unused_buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | key_len | 16,24,32 |
| PARAM_VALUE | 3 | nonce_len | 13 |
| PARAM_VALUE | 4 | tag_len | 16 |
| BUF_SIZE | 1 | ctx | 616 |
| CAPPED_DATA | 2 | key_len | 1 |
| CAPPED_DATA | 2 | key_len | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| NOCHECK_CALL |
lib/crypto/tests/aes_ccm_kunit.c test_aead_all_nonce_lens() -> aead_do_basic_checks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 509692987220037632,2970259352006627328 |
| PARAM_VALUE | 0 | test->last_seen.line | 45,340,431 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ad_len | 16 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->nonce_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->raw_key_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->tag_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->unused_buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | key_len | 32 |
| PARAM_VALUE | 3 | nonce_len | 7-13 |
| PARAM_VALUE | 4 | tag_len | 16 |
| BUF_SIZE | 1 | ctx | 616 |
| CAPPED_DATA | 3 | nonce_len | 1 |
| CAPPED_DATA | 3 | nonce_len | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| NOCHECK_CALL |
lib/crypto/tests/aes_ccm_kunit.c test_aead_all_tag_lens() -> aead_do_basic_checks()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | test | 4096-ptr_max |
| PARAM_VALUE | 0 | test->last_seen.file | 509692987220037632,2970259352006627328 |
| PARAM_VALUE | 0 | test->last_seen.line | 45,340,478 |
| PARAM_VALUE | 0 | test->lock.rlock.dep_map->name | 0-255 |
| PARAM_VALUE | 1 | ctx | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->ad_len | 16 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->nonce_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->raw_key_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->tag_buf_end | 4096-ptr_max |
| PARAM_VALUE | 1 | ctx->unused_buf | 16,4096-ptr_max |
| PARAM_VALUE | 2 | key_len | 32 |
| PARAM_VALUE | 3 | nonce_len | 13 |
| PARAM_VALUE | 4 | tag_len | 4,6,8,10,12,14,16 |
| BUF_SIZE | 1 | ctx | 616 |
| CAPPED_DATA | 4 | tag_len | 1 |
| CAPPED_DATA | 4 | tag_len | 1 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| NOCHECK_CALL |