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_verify_invalid_key_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,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 0-32
BUF_SIZE 1 ctx 640
DATA_SOURCE 0 test $0
DATA_SOURCE 1 ctx r aead_alloc_basic_validation_test_ctx
FUZZY_MAX 2 key_len 32
HARD_MAX 2 key_len 32
NOCHECK_CALL

lib/crypto/tests/aes_gcm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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,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->key.aes.len 0,16,24,32
PARAM_VALUE 1 ctx->key.aes.nrounds 0,10,12,14
PARAM_VALUE 1 ctx->key.authtag_len 0,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 key_len 33
BUF_SIZE 1 ctx 640
DATA_SOURCE 0 test $0
DATA_SOURCE 1 ctx r aead_alloc_basic_validation_test_ctx
FUZZY_MAX 1 ctx->key.authtag_len 16
NOCHECK_CALL

lib/crypto/tests/aes_gcm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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 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->key.aes.len 0
PARAM_VALUE 1 ctx->key.aes.nrounds 0
PARAM_VALUE 1 ctx->key.authtag_len 0
PARAM_VALUE 1 ctx->key.ghash.h.hi 0
PARAM_VALUE 1 ctx->key.ghash.h.lo 0
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 64
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->key
NOCHECK_CALL

lib/crypto/tests/aes_gcm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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 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->key.aes.len 0
PARAM_VALUE 1 ctx->key.aes.nrounds 0
PARAM_VALUE 1 ctx->key.authtag_len 0
PARAM_VALUE 1 ctx->key.ghash.h.hi 0
PARAM_VALUE 1 ctx->key.ghash.h.lo 0
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 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->key
NOCHECK_CALL

lib/crypto/tests/aes_gcm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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 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->key.aes.len 0
PARAM_VALUE 1 ctx->key.aes.nrounds 0
PARAM_VALUE 1 ctx->key.authtag_len 0
PARAM_VALUE 1 ctx->key.ghash.h.hi 0
PARAM_VALUE 1 ctx->key.ghash.h.lo 0
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 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->key
NOCHECK_CALL

lib/crypto/tests/aes_ccm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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,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 0-32
BUF_SIZE 1 ctx 616
DATA_SOURCE 0 test $0
DATA_SOURCE 1 ctx r aead_alloc_basic_validation_test_ctx
FUZZY_MAX 2 key_len 32
HARD_MAX 2 key_len 32
NOCHECK_CALL

lib/crypto/tests/aes_ccm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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,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->key.aes.len 0,16,24,32
PARAM_VALUE 1 ctx->key.aes.nrounds 0,10,12,14
PARAM_VALUE 1 ctx->key.authtag_len 0,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 key_len 33
BUF_SIZE 1 ctx 616
DATA_SOURCE 0 test $0
DATA_SOURCE 1 ctx r aead_alloc_basic_validation_test_ctx
FUZZY_MAX 1 ctx->key.authtag_len 16
NOCHECK_CALL

lib/crypto/tests/aes_ccm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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 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->key.aes.len 0
PARAM_VALUE 1 ctx->key.aes.nrounds 0
PARAM_VALUE 1 ctx->key.authtag_len 0
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 64
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->key
NOCHECK_CALL

lib/crypto/tests/aes_ccm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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 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->key.aes.len 0
PARAM_VALUE 1 ctx->key.aes.nrounds 0
PARAM_VALUE 1 ctx->key.authtag_len 0
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 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->key
NOCHECK_CALL

lib/crypto/tests/aes_ccm_kunit.c test_aead_all_key_lens() -> aead_verify_invalid_key_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 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->key.aes.len 0
PARAM_VALUE 1 ctx->key.aes.nrounds 0
PARAM_VALUE 1 ctx->key.authtag_len 0
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 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->key
NOCHECK_CALL