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_crypt_incrementally()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
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 dst 16,4096-ptr_max
PARAM_VALUE 2 src 16,4096-ptr_max
PARAM_VALUE 3 data_len 0-1024
PARAM_VALUE 4 enc 0
BUF_SIZE 0 ctx 104
BUF_SIZE 1 dst 1024
BUF_SIZE 1 dst 1024
BUF_SIZE 2 src 1024
BUF_SIZE 2 src 1024
CAPPED_DATA 3 data_len 1
CAPPED_DATA 3 data_len 1
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 dst $2
DATA_SOURCE 2 src $3
DATA_SOURCE 3 data_len $4
MEM_ZERO 0 ctx->keystream

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 16,4096-ptr_max
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 dst 16,4096-ptr_max
PARAM_VALUE 2 src 16,4096-ptr_max
PARAM_VALUE 3 data_len 0-1024
PARAM_VALUE 4 enc 1
BUF_SIZE 0 ctx 104
BUF_SIZE 1 dst 1024
BUF_SIZE 1 dst 1024
CAPPED_DATA 3 data_len 1
CAPPED_DATA 3 data_len 1
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 dst $2
DATA_SOURCE 2 src $3
DATA_SOURCE 3 data_len $4
MEM_ZERO 0 ctx->keystream

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 ctx->ad_padded 0
PARAM_VALUE 0 ctx->data_remaining 0-1024
PARAM_VALUE 0 ctx->key 4096-ptr_max
PARAM_VALUE 0 ctx->partial_len 0-15
PARAM_VALUE 0 *ctx->mac 0-255
PARAM_VALUE 1 dst 16,4096-ptr_max
PARAM_VALUE 2 src 16,4096-ptr_max
PARAM_VALUE 3 data_len 0-1024
PARAM_VALUE 4 enc 0
BUF_SIZE 0 ctx 96
BUF_SIZE 1 dst 1024
BUF_SIZE 1 dst 1024
BUF_SIZE 2 src 1024
BUF_SIZE 2 src 1024
CAPPED_DATA 3 data_len 1
CAPPED_DATA 3 data_len 1
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 dst $2
DATA_SOURCE 2 src $3
DATA_SOURCE 3 data_len $4

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 16,4096-ptr_max
PARAM_VALUE 0 ctx->ad_padded 0
PARAM_VALUE 0 ctx->data_remaining 0-1024
PARAM_VALUE 0 ctx->key 16,4096-ptr_max
PARAM_VALUE 0 ctx->partial_len 0-15
PARAM_VALUE 0 *ctx->mac 0-255
PARAM_VALUE 1 dst 16,4096-ptr_max
PARAM_VALUE 2 src 16,4096-ptr_max
PARAM_VALUE 3 data_len 0-1024
PARAM_VALUE 4 enc 1
BUF_SIZE 0 ctx 96
BUF_SIZE 1 dst 1024
BUF_SIZE 1 dst 1024
CAPPED_DATA 3 data_len 1
CAPPED_DATA 3 data_len 1
DATA_SOURCE 0 ctx $1
DATA_SOURCE 1 dst $2
DATA_SOURCE 2 src $3
DATA_SOURCE 3 data_len $4