Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
lib/crypto/tests/aes_gcm_kunit.c test_aead_all_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | nonce_len | 0-11 |
| 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_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | 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->key.aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 1 | ctx->key.aes.len | 32 |
| PARAM_VALUE | 1 | ctx->key.aes.nrounds | 10,12,14 |
| PARAM_VALUE | 1 | ctx->key.authtag_len | 16 |
| 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 | nonce_len | 13 |
| 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_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | 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->ctx.ad_len | 0 |
| PARAM_VALUE | 1 | ctx->ctx.data_len | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.acc.hi | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.acc.lo | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.key | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.partial | 0 |
| PARAM_VALUE | 1 | ctx->ctx.key | 0 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->key.aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 1 | ctx->key.aes.len | 32 |
| PARAM_VALUE | 1 | ctx->key.aes.nrounds | 10,12,14 |
| PARAM_VALUE | 1 | ctx->key.authtag_len | 16 |
| 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 | nonce_len | 24 |
| BUF_SIZE | 1 | ctx | 640 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| MEM_ZERO | 1 | &ctx->ctx | |
| NOCHECK_CALL |
lib/crypto/tests/aes_gcm_kunit.c test_aead_all_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | 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->ctx.ad_len | 0 |
| PARAM_VALUE | 1 | ctx->ctx.data_len | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.acc.hi | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.acc.lo | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.key | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.partial | 0 |
| PARAM_VALUE | 1 | ctx->ctx.key | 0 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->key.aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 1 | ctx->key.aes.len | 32 |
| PARAM_VALUE | 1 | ctx->key.aes.nrounds | 10,12,14 |
| PARAM_VALUE | 1 | ctx->key.authtag_len | 16 |
| 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 | nonce_len | u32max |
| BUF_SIZE | 1 | ctx | 640 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| MEM_ZERO | 1 | &ctx->ctx | |
| NOCHECK_CALL |
lib/crypto/tests/aes_gcm_kunit.c test_aead_all_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | 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->ctx.ad_len | 0 |
| PARAM_VALUE | 1 | ctx->ctx.data_len | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.acc.hi | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.acc.lo | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.key | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ghash.partial | 0 |
| PARAM_VALUE | 1 | ctx->ctx.key | 0 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->key.aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 1 | ctx->key.aes.len | 32 |
| PARAM_VALUE | 1 | ctx->key.aes.nrounds | 10,12,14 |
| PARAM_VALUE | 1 | ctx->key.authtag_len | 16 |
| 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 | nonce_len | u64max |
| BUF_SIZE | 1 | ctx | 640 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| MEM_ZERO | 1 | &ctx->ctx | |
| NOCHECK_CALL |
lib/crypto/tests/aes_ccm_kunit.c test_aead_all_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | nonce_len | 0-13 |
| BUF_SIZE | 1 | ctx | 616 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| FUZZY_MAX | 2 | nonce_len | 13 |
| HARD_MAX | 2 | nonce_len | 13 |
| NOCHECK_CALL |
lib/crypto/tests/aes_ccm_kunit.c test_aead_all_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | 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->key.aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 1 | ctx->key.aes.len | 32 |
| PARAM_VALUE | 1 | ctx->key.aes.nrounds | 10,12,14 |
| PARAM_VALUE | 1 | ctx->key.authtag_len | 16 |
| 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 | 1 | *ctx->pt | 0-255 |
| PARAM_VALUE | 2 | nonce_len | 14 |
| BUF_SIZE | 1 | ctx | 616 |
| 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_verify_invalid_nonce_len()
| 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 | 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->ctx.ad_padded | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ad_remaining | 0 |
| PARAM_VALUE | 1 | ctx->ctx.data_remaining | 0 |
| PARAM_VALUE | 1 | ctx->ctx.key | 0 |
| PARAM_VALUE | 1 | ctx->ctx.partial_len | 0 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->key.aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 1 | ctx->key.aes.len | 32 |
| PARAM_VALUE | 1 | ctx->key.aes.nrounds | 10,12,14 |
| PARAM_VALUE | 1 | ctx->key.authtag_len | 16 |
| 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 | 1 | *ctx->pt | 0-255 |
| PARAM_VALUE | 2 | nonce_len | 26 |
| BUF_SIZE | 1 | ctx | 616 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| MEM_ZERO | 1 | &ctx->ctx | |
| NOCHECK_CALL |
lib/crypto/tests/aes_ccm_kunit.c test_aead_all_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | 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->ctx.ad_padded | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ad_remaining | 0 |
| PARAM_VALUE | 1 | ctx->ctx.data_remaining | 0 |
| PARAM_VALUE | 1 | ctx->ctx.key | 0 |
| PARAM_VALUE | 1 | ctx->ctx.partial_len | 0 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->key.aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 1 | ctx->key.aes.len | 32 |
| PARAM_VALUE | 1 | ctx->key.aes.nrounds | 10,12,14 |
| PARAM_VALUE | 1 | ctx->key.authtag_len | 16 |
| 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 | 1 | *ctx->pt | 0-255 |
| PARAM_VALUE | 2 | nonce_len | u32max |
| BUF_SIZE | 1 | ctx | 616 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| MEM_ZERO | 1 | &ctx->ctx | |
| NOCHECK_CALL |
lib/crypto/tests/aes_ccm_kunit.c test_aead_all_nonce_lens() -> aead_verify_invalid_nonce_len()
| 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 | 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->ctx.ad_padded | 0 |
| PARAM_VALUE | 1 | ctx->ctx.ad_remaining | 0 |
| PARAM_VALUE | 1 | ctx->ctx.data_remaining | 0 |
| PARAM_VALUE | 1 | ctx->ctx.key | 0 |
| PARAM_VALUE | 1 | ctx->ctx.partial_len | 0 |
| PARAM_VALUE | 1 | ctx->data_len | 64 |
| PARAM_VALUE | 1 | ctx->key.aes.k->rndkeys | 0-255 |
| PARAM_VALUE | 1 | ctx->key.aes.len | 32 |
| PARAM_VALUE | 1 | ctx->key.aes.nrounds | 10,12,14 |
| PARAM_VALUE | 1 | ctx->key.authtag_len | 16 |
| 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 | 1 | *ctx->pt | 0-255 |
| PARAM_VALUE | 2 | nonce_len | u64max |
| BUF_SIZE | 1 | ctx | 616 |
| DATA_SOURCE | 0 | test | $0 |
| DATA_SOURCE | 1 | ctx | r aead_alloc_basic_validation_test_ctx |
| MEM_ZERO | 1 | &ctx->ctx | |
| NOCHECK_CALL |