Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/ccm.c crypto_ccm_auth() -> format_input()

Type Parameter Key Value
PARAM_VALUE 1 req 4096-ptr_max
BUF_SIZE 0 info 16
BUF_SIZE 0 info 16
BUF_SIZE 1 req (-1)-s32max
BUF_SIZE 1 req (-1)-s32max
DATA_SOURCE 1 req $0
DATA_SOURCE 2 cryptlen $2
NOSPEC 1 req->cryptlen
NOSPEC 2 cryptlen
NOSPEC 2 cryptlen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 req->cryptlen 0-u32max
USER_DATA 1 *req->iv 0-255
USER_DATA 2 cryptlen 0-u32max
NO_OVERFLOW_SIMPLE 1 req->dst->length
NO_OVERFLOW_SIMPLE 1 req->src->length
UNITS 1 req unit_byte
UNITS 2 cryptlen unit_byte
USER_PTR 1 req->iv