Open Menu /

Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/ecb.c crypto_ecb_decrypt2() -> crypto_ecb_crypt()

Type Parameter Key Value
BUF_SIZE 1 src (-1),4,24,64,168-s32max
BUF_SIZE 1 src (-1),4,24,64,168-s32max
BUF_SIZE 2 dst (-1),4,24,64,168-s32max
BUF_SIZE 2 dst (-1),4,24,64,168-s32max
CAPPED_DATA 3 nbytes 1
CAPPED_DATA 4 final 1
DATA_SOURCE 1 src $1
DATA_SOURCE 2 dst $2
DATA_SOURCE 3 nbytes $3
BIT_INFO 4 final 0x0,0x2
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src 4096-ptr_max[c][u]
USER_DATA 1 *src 0-255
USER_DATA 2 dst 4096-ptr_max[c][u]
USER_DATA 2 *dst 0-255
USER_DATA 3 nbytes 1-s32max[c]
USER_DATA 4 final 0-1[c]
UNITS 3 nbytes unit_byte
USER_PTR 1 src
USER_PTR 2 dst

crypto/ecb.c crypto_ecb_encrypt2() -> crypto_ecb_crypt()

Type Parameter Key Value
BUF_SIZE 1 src (-1),4,24,64,168-s32max
BUF_SIZE 1 src (-1),4,24,64,168-s32max
BUF_SIZE 2 dst (-1),4,24,64,168-s32max
BUF_SIZE 2 dst (-1),4,24,64,168-s32max
CAPPED_DATA 3 nbytes 1
CAPPED_DATA 4 final 1
DATA_SOURCE 1 src $1
DATA_SOURCE 2 dst $2
DATA_SOURCE 3 nbytes $3
BIT_INFO 4 final 0x0,0x2
NOSPEC 3 nbytes
NOSPEC 3 nbytes
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 src 4096-ptr_max[c][u]
USER_DATA 1 *src 0-255
USER_DATA 2 dst 4096-ptr_max[c][u]
USER_DATA 2 *dst 0-255
USER_DATA 3 nbytes 1-s32max[c]
USER_DATA 4 final 0-1[c]
UNITS 3 nbytes unit_byte
USER_PTR 1 src
USER_PTR 2 dst