Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

lib/crypto/aes.c aes_cbcmac_update() -> aes_cbcmac_blocks()

Type Parameter Key Value
PARAM_VALUE 3 nblocks 1-u64max
PARAM_VALUE 5 enc_after 1
BUF_SIZE 0 h 16
BUF_SIZE 2 data (-1)-s32max
BUF_SIZE 2 data (-1)-s32max
DATA_SOURCE 2 data $1
NOSPEC 2 *data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 4096-ptr_max[c]
HOST_DATA 3 nblocks 1-268435455[c]
USER_DATA 2 data 4096-ptr_max[c][u]
USER_DATA 2 *data 0-255
USER_DATA 3 nblocks 1-268435455[c]
NO_OVERFLOW_SIMPLE 2 data->compr_size
NO_OVERFLOW_SIMPLE 2 data->ino
NO_OVERFLOW_SIMPLE 2 data->jhead
UNITS 2 data unit_byte
USER_PTR 2 data

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

Type Parameter Key Value
PARAM_VALUE 3 nblocks 1-u64max
PARAM_VALUE 5 enc_after 1
BUF_SIZE 0 h 16
BUF_SIZE 2 data (-1),16,256,293
BUF_SIZE 2 data (-1),16,256,293
DATA_SOURCE 2 data $1
NOCHECK_CALL

lib/crypto/aes.c aes_ccm_crypt_update() -> aes_cbcmac_blocks()

Type Parameter Key Value
PARAM_VALUE 3 nblocks 1-1152921504606846975
PARAM_VALUE 4 enc_before 0
PARAM_VALUE 5 enc_after 1
BUF_SIZE 0 h 16
DATA_SOURCE 2 data $2
NOCHECK_CALL

lib/crypto/aes.c aes_ccm_crypt_update() -> aes_cbcmac_blocks()

Type Parameter Key Value
PARAM_VALUE 3 nblocks 1-1152921504606846975
PARAM_VALUE 4 enc_before 0
PARAM_VALUE 5 enc_after 1
BUF_SIZE 0 h 16
DATA_SOURCE 2 data $1
NOCHECK_CALL

lib/crypto/aes.c aes_cmac_update() -> aes_cbcmac_blocks()

Type Parameter Key Value
PARAM_VALUE 3 nblocks 1-u64max
PARAM_VALUE 5 enc_after 1
BUF_SIZE 0 h 16
BUF_SIZE 2 data s32min-s32max
DATA_SOURCE 2 data $1
NOSPEC 2 *data
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 4096-ptr_max[c]
HOST_DATA 3 nblocks 1-268435455[c]
USER_DATA 2 data 4096-ptr_max[c][u]
USER_DATA 2 *data 0-255
USER_DATA 3 nblocks 1-3489660942[c]
NO_OVERFLOW_SIMPLE 2 data->compr_size
NO_OVERFLOW_SIMPLE 2 data->ino
NO_OVERFLOW_SIMPLE 2 data->jhead
UNITS 2 data unit_byte
USER_PTR 2 data
HALF_LOCKED2 &server->_srv_mutex

lib/crypto/aes.c aes_cmac_update() -> aes_cbcmac_blocks()

Type Parameter Key Value
PARAM_VALUE 3 nblocks 1-u64max
PARAM_VALUE 5 enc_after 0
BUF_SIZE 0 h 16
BUF_SIZE 2 data s32min-s32max
DATA_SOURCE 2 data $1
NOSPEC 2 *data
PREEMPT_ADD
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 2 data 4096-ptr_max[c]
HOST_DATA 3 nblocks 1-268435455[c]
USER_DATA 2 data 4096-ptr_max[c][u]
USER_DATA 2 *data 0-255
USER_DATA 3 nblocks 1-3489660942[c]
NO_OVERFLOW_SIMPLE 2 data->compr_size
NO_OVERFLOW_SIMPLE 2 data->ino
NO_OVERFLOW_SIMPLE 2 data->jhead
UNITS 2 data unit_byte
USER_PTR 2 data
HALF_LOCKED2 &server->_srv_mutex