Open Menu /

Documented in 1 files:

Defined in 1 files as a function:

Referenced in 3 files:

Smatch caller information:

lib/crypto/mldsa.c mldsa_verify() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 in_len 64
BUF_SIZE 1 in 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 in_len unit_byte

lib/crypto/mldsa.c mldsa_verify() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 in 4096-ptr_max
PARAM_VALUE 2 in_len 2
BUF_SIZE 1 in 2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 in_len unit_byte

lib/crypto/mldsa.c mldsa_verify() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 in (-1)-s32max
BUF_SIZE 1 in (-1)-s32max
DATA_SOURCE 1 in $3
DATA_SOURCE 2 in_len $4
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 in_len
UNITS 2 in_len unit_byte

lib/crypto/mldsa.c mldsa_verify() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 in_len 64
BUF_SIZE 1 in 64
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 in_len unit_byte

lib/crypto/mldsa.c mldsa_verify() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 in 192
DATA_SOURCE 2 in_len r encode_w1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/mldsa.c rej_ntt_poly() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 1 in 4096-ptr_max
PARAM_VALUE 2 in_len 32
BUF_SIZE 1 in (-1),1952,2592
DATA_SOURCE 0 ctx $3
DATA_SOURCE 1 in $1
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/mldsa.c rej_ntt_poly() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
PARAM_VALUE 2 in_len 2
BUF_SIZE 1 in 2
CAPPED_DATA 0 ctx->ctx.block_size 1
DATA_SOURCE 0 ctx $3
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
UNITS 2 in_len unit_byte

lib/crypto/mldsa.c sample_in_ball() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 4096-ptr_max
BUF_SIZE 1 in (-1)-u16max
BUF_SIZE 1 in (-1)-u16max
DATA_SOURCE 0 ctx $4
DATA_SOURCE 1 in $1
DATA_SOURCE 2 in_len $2
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL

lib/crypto/tests/sha3_kunit.c test_shake_multiple_squeezes() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 246660505223446528
PARAM_VALUE 1 in 4096-ptr_max
PARAM_VALUE 2 in_len 0-512
CAPPED_DATA 2 in_len 1
CAPPED_DATA 2 in_len 1
DATA_SOURCE 2 in_len r rand_length
NOCHECK_CALL

lib/crypto/sha3.c shake128() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 3728630636281753600
PARAM_VALUE 1 in 16,4096-ptr_max
PARAM_VALUE 2 in_len 0-4096
BUF_SIZE 1 in (-1),200-201,512,4096
BUF_SIZE 1 in (-1),200-201,512,4096
CAPPED_DATA 2 in_len 1
CAPPED_DATA 2 in_len 1
DATA_SOURCE 1 in $0
DATA_SOURCE 2 in_len $1
FUZZY_MAX 2 in_len 4096
STR_LEN 0 ctx (-1)-0
STR_LEN 1 in (-1)-0
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 in_len
UNITS 2 in_len unit_byte

lib/crypto/sha3.c shake256() -> shake_update()

Type Parameter Key Value
PARAM_VALUE 0 ctx 2888795646405328896
PARAM_VALUE 1 in 16,4096-ptr_max
PARAM_VALUE 2 in_len 0-4096
BUF_SIZE 1 in (-1),200-201,512,1952,2592,4096
BUF_SIZE 1 in (-1),200-201,512,1952,2592,4096
CAPPED_DATA 2 in_len 1
CAPPED_DATA 2 in_len 1
DATA_SOURCE 1 in $0
DATA_SOURCE 2 in_len $1
FUZZY_MAX 2 in_len 4096
STR_LEN 0 ctx (-1)-0
STR_LEN 1 in (-1)-0
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
NO_OVERFLOW_SIMPLE 2 in_len
UNITS 2 in_len unit_byte