Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/asymmetric_keys/pkcs7_verify.c pkcs7_verify_one() -> pkcs7_verify_sig_chain()

Type Parameter Key Value
PARAM_VALUE 0 pkcs7 4096-ptr_max
PARAM_VALUE 0 pkcs7->data_type 16,27
PARAM_VALUE 1 sinfo 4096-ptr_max
PARAM_VALUE 1 sinfo->sig 4096-ptr_max
PARAM_VALUE 1 sinfo->sig->encoding 1-u64max
PARAM_VALUE 1 sinfo->sig->s 1-u64max
PARAM_VALUE 1 sinfo->signer 4096-ptr_max
PARAM_VALUE 1 sinfo->signer->pub 4096-ptr_max
BUF_SIZE 0 pkcs7 (-1),56
BUF_SIZE 0 pkcs7 (-1),56
DATA_SOURCE 0 pkcs7 $0
DATA_SOURCE 1 sinfo $1
BIT_INFO 0 pkcs7->data_type 0x10,0xffffffffffffffff
RX_PATH
TASK_NOT_RUNNING