Open Menu /

Documented in 1 files:

Defined in 1 files as a prototype:

Defined in 1 files as a function:

Referenced in 4 files:

Smatch caller information:

crypto/asymmetric_keys/selftest.c fips_signature_selftest() -> pkcs7_free_message()

Type Parameter Key Value
PARAM_VALUE 0 pkcs7 4096-ptr_max
PARAM_VALUE 0 pkcs7->certs->blacklisted 0-1
PARAM_VALUE 0 pkcs7->certs->index 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_issuer_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_serial_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_sig_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_skid_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_subject_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->seen 0-1
PARAM_VALUE 0 pkcs7->certs->self_signed 0-1
PARAM_VALUE 0 pkcs7->certs->tbs_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->unsupported_sig 0-1
PARAM_VALUE 0 pkcs7->certs->verified 0-1
PARAM_VALUE 0 pkcs7->data_type 16,27
PARAM_VALUE 0 pkcs7->signed_infos->authattrs_len 0-4294967295
PARAM_VALUE 0 pkcs7->signed_infos->blacklisted 0-1
PARAM_VALUE 0 pkcs7->signed_infos->index 0-4294967295
PARAM_VALUE 0 pkcs7->signed_infos->msgdigest_len 0-4294967295
PARAM_VALUE 0 pkcs7->signed_infos->unsupported_crypto 0-1
PARAM_VALUE 0 *pkcs7->signed_infos->sig->m 0-255
BUF_SIZE 0 pkcs7 56
BUF_SIZE 0 pkcs7 56
DATA_SOURCE 0 pkcs7 r pkcs7_parse_message
NOCHECK_CALL

certs/system_keyring.c verify_pkcs7_signature() -> pkcs7_free_message()

Type Parameter Key Value
PARAM_VALUE 0 pkcs7 4096-ptr_max
PARAM_VALUE 0 pkcs7->certs->blacklisted 0-1
PARAM_VALUE 0 pkcs7->certs->index 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_issuer_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_serial_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_sig_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_skid_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->raw_subject_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->seen 0-1
PARAM_VALUE 0 pkcs7->certs->self_signed 0-1
PARAM_VALUE 0 pkcs7->certs->tbs_size 0-4294967295
PARAM_VALUE 0 pkcs7->certs->unsupported_sig 0-1
PARAM_VALUE 0 pkcs7->certs->verified 0-1
PARAM_VALUE 0 pkcs7->data s64min-(-1),1-s64max
PARAM_VALUE 0 pkcs7->signed_infos->authattrs_len 0-4294967295
PARAM_VALUE 0 pkcs7->signed_infos->blacklisted 0-1
PARAM_VALUE 0 pkcs7->signed_infos->index 0-4294967295
PARAM_VALUE 0 pkcs7->signed_infos->msgdigest_len 0-4294967295
PARAM_VALUE 0 pkcs7->signed_infos->unsupported_crypto 0-1
PARAM_VALUE 0 *pkcs7->signed_infos->sig->hash_algo 0-255
PARAM_VALUE 0 *pkcs7->signed_infos->sig->s 0-255
PARAM_VALUE 0 *pkcs7->signed_infos->signer->sig->hash_algo 0-255
PARAM_VALUE 0 *pkcs7->signed_infos->signer->sig->m 0-255
BUF_SIZE 0 pkcs7 56
BUF_SIZE 0 pkcs7 56
DATA_SOURCE 0 pkcs7 r pkcs7_parse_message
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &c->umount_mutex
HALF_LOCKED2 global &key_construction_mutex

security/integrity/ima/ima_modsig.c ima_free_modsig() -> pkcs7_free_message()

Type Parameter Key Value
PARAM_VALUE 0 pkcs7->signed_infos->sig->m_free 0-1
PARAM_VALUE 0 pkcs7->signed_infos->sig->m_size 0-4294967295
NOCHECK_CALL

crypto/asymmetric_keys/pkcs7_parser.c pkcs7_parse_message() -> pkcs7_free_message()

Type Parameter Key Value
PARAM_VALUE 0 pkcs7 0,4096-ptr_max
BUF_SIZE 0 pkcs7 0,56
BUF_SIZE 0 pkcs7 0,56
RX_PATH
TASK_NOT_RUNNING
NOCHECK_CALL
HALF_LOCKED2 &iint->mutex