Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/rsa.c _rsa_dec_crt() -> rsa_check_payload()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->alloced 0-256
PARAM_VALUE 0 x->d 0,4096-ptr_max
PARAM_VALUE 0 x->flags 0
PARAM_VALUE 0 x->nlimbs 0-256
PARAM_VALUE 0 x->sign 0
PARAM_VALUE 1 n 1-u64max
BUF_SIZE 0 x 32
DATA_SOURCE 0 x $2
RX_PATH
TASK_NOT_RUNNING

crypto/rsa.c _rsa_enc() -> rsa_check_payload()

Type Parameter Key Value
PARAM_VALUE 0 x 4096-ptr_max
PARAM_VALUE 0 x->alloced 0-256
PARAM_VALUE 0 x->d 0,4096-ptr_max
PARAM_VALUE 0 x->flags 0
PARAM_VALUE 0 x->nlimbs 0-256
PARAM_VALUE 0 x->sign 0
PARAM_VALUE 1 n 1-u64max
BUF_SIZE 0 x 32
DATA_SOURCE 0 x $2
RX_PATH
TASK_NOT_RUNNING