Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

crypto/aes.c crypto_aes_ccm_init() -> aes_ccm_auth_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 633072880490749952,9037030287502376960
PARAM_VALUE 0 ctx->ad_padded 0
PARAM_VALUE 0 ctx->data_remaining 0-u32max
PARAM_VALUE 0 ctx->partial_len 0-15
PARAM_VALUE 2 len 0-4096
CAPPED_DATA 2 len 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 2 len r scatterwalk_next
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/aes.c aes_ccm_decrypt() -> aes_ccm_auth_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 253126797138399232
PARAM_VALUE 0 ctx->ad_padded 0
PARAM_VALUE 0 ctx->key 16,4096-ptr_max
PARAM_VALUE 0 ctx->partial_len 0,2,6,10
BUF_SIZE 1 ad (-1),16,256,293
BUF_SIZE 1 ad (-1),16,256,293
DATA_SOURCE 1 ad $4
DATA_SOURCE 2 len $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->ad_remaining
NO_OVERFLOW_SIMPLE 0 ctx->data_remaining
NO_OVERFLOW_SIMPLE 2 len
UNITS 2 len unit_byte

lib/crypto/aes.c aes_ccm_encrypt() -> aes_ccm_auth_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 8665162067663159296
PARAM_VALUE 0 ctx->ad_padded 0
PARAM_VALUE 0 ctx->key 16,4096-ptr_max
PARAM_VALUE 0 ctx->partial_len 0,2,6,10
BUF_SIZE 1 ad (-1),16,256,293
BUF_SIZE 1 ad (-1),16,256,293
DATA_SOURCE 1 ad $4
DATA_SOURCE 2 len $5
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 0 ctx->ad_remaining
NO_OVERFLOW_SIMPLE 0 ctx->data_remaining
NO_OVERFLOW_SIMPLE 2 len
UNITS 2 len unit_byte

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 1-u64max
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 1 ad 4096-ptr_max
BUF_SIZE 0 ctx 96
CAPPED_DATA 2 len 1
CAPPED_DATA 2 len 1
DATA_SOURCE 0 ctx $0
DATA_SOURCE 2 len r rand_length
NOCHECK_CALL

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

Type Parameter Key Value
PARAM_VALUE 0 ctx 1-u64max
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 1 ad 4096-ptr_max
BUF_SIZE 0 ctx 96
DATA_SOURCE 0 ctx $0
NOCHECK_CALL