Open Menu /

Defined in 1 files as a function:

Referenced in 2 files:

Smatch caller information:

lib/crypto/blake2b.c blake2b_final() -> blake2b_compress_generic()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 nblocks 1
BUF_SIZE 1 data 128
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 0 ctx->buflen 0-u32max[c]
HOST_DATA 3 inc 0-u32max[c]
USER_DATA 0 ctx->buflen 0-u32max[u]
USER_DATA 3 inc 0-u32max[u]
UNITS 0 ctx unit_byte

lib/crypto/blake2b.c blake2b_update() -> blake2b_compress_generic()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 *ctx->buf 0-255
PARAM_VALUE 2 nblocks 1
PARAM_VALUE 3 inc 128
BUF_SIZE 1 data 128
DATA_SOURCE 0 ctx $0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 0 ctx unit_byte

lib/crypto/blake2b.c blake2b_update() -> blake2b_compress_generic()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 0 *ctx->buf 0-255
PARAM_VALUE 2 nblocks 1-72057594037927935
PARAM_VALUE 3 inc 128
BUF_SIZE 1 data (-1)-s32max
BUF_SIZE 1 data (-1)-s32max
DATA_SOURCE 0 ctx $0
DATA_SOURCE 1 data $1
NOSPEC 1 *data
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HOST_DATA 1 data 4096-ptr_max[c]
HOST_DATA 2 nblocks 1-33554431[c]
USER_DATA 1 data 4096-ptr_max[c][u]
USER_DATA 1 *data 0-255
USER_DATA 2 nblocks 1-33554431[c]
NO_OVERFLOW_SIMPLE 1 data->compr_size
NO_OVERFLOW_SIMPLE 1 data->ino
NO_OVERFLOW_SIMPLE 1 data->jhead
UNITS 0 ctx unit_byte
UNITS 1 data unit_byte
USER_PTR 1 data