Documented in 1 files:
Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 2 files:
Smatch caller information:
certs/system_keyring.c verify_pkcs7_signature() -> verify_pkcs7_message_sig()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 2 | pkcs7 | 4096-ptr_max |
| PARAM_VALUE | 4 | usage | 0-6 |
| PARAM_VALUE | 5 | view_content | 0,2081027956567183360,4531668592989741056,7200234732190728192 |
| PARAM_VALUE | 6 | ctx | 0,4096-ptr_max |
| BUF_SIZE | 0 | data | (-1)-s32max |
| BUF_SIZE | 0 | data | (-1)-s32max |
| BUF_SIZE | 2 | pkcs7 | 56 |
| BUF_SIZE | 2 | pkcs7 | 56 |
| BUF_SIZE | 6 | ctx | (-1),48,64 |
| BUF_SIZE | 6 | ctx | (-1),48,64 |
| DATA_SOURCE | 0 | data | $0 |
| DATA_SOURCE | 1 | len | $1 |
| DATA_SOURCE | 2 | pkcs7 | r pkcs7_parse_message |
| DATA_SOURCE | 3 | trusted_keys | $4 |
| DATA_SOURCE | 4 | usage | $5 |
| DATA_SOURCE | 5 | view_content | $6 |
| DATA_SOURCE | 6 | ctx | $7 |
| STR_LEN | 0 | data | (-1)-1010101 |
| STR_LEN | 0 | data | (-1)-1010101 |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 1 | len | |
| UNITS | 0 | data | unit_byte |
| UNITS | 1 | len | unit_byte |
| BYTE_COUNT | 0 | ==data1 | 8050 |
| HALF_LOCKED2 | &c->umount_mutex | ||
| HALF_LOCKED2 | global &key_construction_mutex |
security/integrity/ima/ima_modsig.c ima_modsig_verify() -> verify_pkcs7_message_sig()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | data | 0 |
| PARAM_VALUE | 1 | len | 0 |
| PARAM_VALUE | 2 | pkcs7->signed_infos->sig->m_free | 0-1 |
| PARAM_VALUE | 2 | pkcs7->signed_infos->sig->m_size | 0-4294967295 |
| PARAM_VALUE | 2 | *pkcs7->signed_infos->sig->m | 0-255 |
| PARAM_VALUE | 3 | trusted_keys | 1-ptr_max |
| PARAM_VALUE | 4 | usage | 0 |
| PARAM_VALUE | 5 | view_content | 0 |
| PARAM_VALUE | 6 | ctx | 0 |
| DATA_SOURCE | 3 | trusted_keys | $0 |
| NO_OVERFLOW_SIMPLE | 2 | pkcs7->data_len | |
| LOCK2 | &iint->mutex | ||
| LOCK2 | &inode->i_rwsem | ||
| TYPE_LOCK | (struct ima_iint_cache)->mutex | ||
| TYPE_LOCK | (struct inode)->i_rwsem |