Defined in 1 files as a prototype:
Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
crypto/asymmetric_keys/x509_cert_parser.c x509_cert_parse() -> x509_check_for_self_signed()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | cert | 4096-ptr_max |
| PARAM_VALUE | 0 | cert->blacklisted | 1 |
| PARAM_VALUE | 0 | cert->id | 4096-ptr_max |
| PARAM_VALUE | 0 | cert->pub | 4096-ptr_max |
| PARAM_VALUE | 0 | cert->pub->key | 1-u64max |
| PARAM_VALUE | 0 | cert->pub->params | 1-u64max |
| PARAM_VALUE | 0 | cert->sig | 4096-ptr_max |
| PARAM_VALUE | 0 | cert->sig->s | 1-u64max |
| PARAM_VALUE | 0 | *cert->sha256 | 0-255 |
| BUF_SIZE | 0 | cert | 200 |
| BUF_SIZE | 0 | cert->id | s32min-s32max |
| BUF_SIZE | 0 | cert->pub | 56 |
| BUF_SIZE | 0 | cert->pub->key | s32min-s32max |
| BUF_SIZE | 0 | cert->pub->params | s32min-s32max |
| BUF_SIZE | 0 | cert->sig | 80 |
| CAPPED_DATA | 0 | cert->pub->keylen | 1 |
| CAPPED_DATA | 0 | cert->pub->paramlen | 1 |
| CAPPED_DATA | 0 | cert->raw_sig_size | 1 |
| DATA_SOURCE | 0 | cert | r _kzalloc_noprof |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| NO_OVERFLOW_SIMPLE | 0 | cert->id->len | |
| NO_OVERFLOW_SIMPLE | 0 | cert->raw_issuer_size | |
| NO_OVERFLOW_SIMPLE | 0 | cert->raw_serial_size | |
| HALF_LOCKED2 | global &asymmetric_key_parsers_sem |