Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/crypto/tests/aes_gcm_kunit.c aead_decrypt_incrementally() -> aead_auth_incrementally()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ad_len 0
PARAM_VALUE 0 ctx->data_len 0
PARAM_VALUE 0 ctx->ghash->acc.bytes 0-255
PARAM_VALUE 0 ctx->key 16,4096-ptr_max
PARAM_VALUE 0 *ctx->ctr32 0-4294967295
PARAM_VALUE 0 *ctx->keystream 0-255
PARAM_VALUE 1 ad 16,4096-ptr_max
PARAM_VALUE 2 ad_len 0-512
BUF_SIZE 0 ctx 104
CAPPED_DATA 2 ad_len 1
CAPPED_DATA 2 ad_len 1
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 ad $6
DATA_SOURCE 2 ad_len $7
MEM_ZERO 0 ctx->keystream

lib/crypto/tests/aes_gcm_kunit.c aead_encrypt_incrementally() -> aead_auth_incrementally()

Type Parameter Key Value
PARAM_VALUE 0 ctx 16,4096-ptr_max
PARAM_VALUE 0 ctx->ad_len 0
PARAM_VALUE 0 ctx->data_len 0
PARAM_VALUE 0 ctx->key 16,4096-ptr_max
PARAM_VALUE 0 *ctx->ctr32 0-4294967295
PARAM_VALUE 0 *ctx->keystream 0-255
PARAM_VALUE 1 ad 16,4096-ptr_max
PARAM_VALUE 2 ad_len 0-512
BUF_SIZE 0 ctx 104
CAPPED_DATA 2 ad_len 1
CAPPED_DATA 2 ad_len 1
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 ad $6
DATA_SOURCE 2 ad_len $7
MEM_ZERO 0 ctx->keystream

lib/crypto/tests/aes_ccm_kunit.c aead_decrypt_incrementally() -> aead_auth_incrementally()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ad_padded 0
PARAM_VALUE 0 ctx->ad_remaining 0-512
PARAM_VALUE 0 ctx->data_remaining 0-1024
PARAM_VALUE 0 ctx->key 4096-ptr_max
PARAM_VALUE 0 ctx->partial_len 0,2,6,10
PARAM_VALUE 1 ad 16,4096-ptr_max
PARAM_VALUE 2 ad_len 0-512
BUF_SIZE 0 ctx 96
CAPPED_DATA 2 ad_len 1
CAPPED_DATA 2 ad_len 1
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 ad $6
DATA_SOURCE 2 ad_len $7

lib/crypto/tests/aes_ccm_kunit.c aead_encrypt_incrementally() -> aead_auth_incrementally()

Type Parameter Key Value
PARAM_VALUE 0 ctx 16,4096-ptr_max
PARAM_VALUE 0 ctx->ad_padded 0
PARAM_VALUE 0 ctx->ad_remaining 0-512
PARAM_VALUE 0 ctx->data_remaining 0-1024
PARAM_VALUE 0 ctx->key 16,4096-ptr_max
PARAM_VALUE 0 ctx->partial_len 0,2,6,10
PARAM_VALUE 1 ad 16,4096-ptr_max
PARAM_VALUE 2 ad_len 0-512
BUF_SIZE 0 ctx 96
CAPPED_DATA 2 ad_len 1
CAPPED_DATA 2 ad_len 1
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 ad $6
DATA_SOURCE 2 ad_len $7