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