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:

certs/blacklist.c is_key_on_revocation_list() -> pkcs7_validate_trust()

Type Parameter Key Value
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->data (-4611686018427387904)-4611686018427387903
BUF_SIZE 0 pkcs7 (-1),56
BUF_SIZE 0 pkcs7 (-1),56
DATA_SOURCE 0 pkcs7 $0
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &inode->i_rwsem

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

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
PARAM_VALUE 1 trust_keyring 4096-ptr_max
PARAM_VALUE 1 trust_keyring->domain_tag 4096-ptr_max
PARAM_VALUE 1 trust_keyring->index_key->desc 0-255
PARAM_VALUE 1 trust_keyring->index_key.description 1-u64max
PARAM_VALUE 1 trust_keyring->index_key.domain_tag->rcu.func 0
PARAM_VALUE 1 trust_keyring->index_key.domain_tag->rcu.next 0
PARAM_VALUE 1 trust_keyring->index_key.domain_tag->removed 0
PARAM_VALUE 1 trust_keyring->index_key.domain_tag->usage.refs.counter 1
PARAM_VALUE 1 trust_keyring->index_key.type 4096-ptr_max
PARAM_VALUE 1 trust_keyring->restrict_link 0,4096-ptr_max
PARAM_VALUE 1 trust_keyring->restrict_link->check 2597709569863184384,5988328617028292608,6748553998896947200,6954271548785111040,7527111731098238976
PARAM_VALUE 1 trust_keyring->security 0,4096-ptr_max
PARAM_VALUE 1 trust_keyring->sem.count.counter 0
PARAM_VALUE 1 trust_keyring->sem.dep_map->name 0-255
PARAM_VALUE 1 trust_keyring->sem.first_waiter 0
PARAM_VALUE 1 trust_keyring->sem.magic 4096-ptr_max
PARAM_VALUE 1 trust_keyring->sem.osq.tail.counter 0
PARAM_VALUE 1 trust_keyring->sem.owner.counter 0
PARAM_VALUE 1 trust_keyring->serial 3-s32max
PARAM_VALUE 1 trust_keyring->serial_node.__rb_parent_color 1
PARAM_VALUE 1 trust_keyring->serial_node.rb_left 4096-ptr_max
PARAM_VALUE 1 trust_keyring->serial_node.rb_right 4096-ptr_max
PARAM_VALUE 1 trust_keyring->type 4096-ptr_max
PARAM_VALUE 1 trust_keyring->user 1-u64max
PARAM_VALUE 1 trust_keyring->user->lock.rlock.dep_map->name 0-255
BUF_SIZE 0 pkcs7 56
BUF_SIZE 0 pkcs7 56
DATA_SOURCE 0 pkcs7 r pkcs7_parse_message
DATA_SOURCE 1 trust_keyring r keyring_alloc
NO_OVERFLOW_SIMPLE 1 trust_keyring->quotalen
NO_OVERFLOW_SIMPLE 1 trust_keyring->user->qnbytes

certs/system_keyring.c verify_pkcs7_message_sig() -> pkcs7_validate_trust()

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 1 trust_keyring 0,3-u64max
BUF_SIZE 0 pkcs7 (-1),56
BUF_SIZE 0 pkcs7 (-1),56
DATA_SOURCE 0 pkcs7 $2
DATA_SOURCE 1 trust_keyring $3 [m]
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &iint->mutex
HALF_LOCKED2 &inode->i_rwsem