Defined in 1 files as a function:
Referenced in 1 files:
Smatch caller information:
crypto/krb5/krb5_api.c crypto_krb5_encrypt() -> (struct krb5_crypto_profile)->encrypt()
| Type | Parameter | Key | Value |
|---|---|---|---|
| PARAM_VALUE | 0 | krb5 | 4096-ptr_max |
| PARAM_VALUE | 0 | krb5->profile | 4096-ptr_max |
| PARAM_VALUE | 0 | krb5->profile->derive_encrypt_keys | 4096-ptr_max |
| PARAM_VALUE | 2 | sg | 11244472960000000,1895645142076108800,2564027771357270016,4703020413151715328,5805476440592236544,7558071477613424640,8934857238906052608,9188881253106405376 |
| PARAM_VALUE | 3 | nr_sg | 0-s32max |
| BUF_SIZE | 0 | krb5 | (-1),1-s32max |
| BUF_SIZE | 0 | krb5 | (-1),1-s32max |
| BUF_SIZE | 2 | sg | (-1),256,512 |
| BUF_SIZE | 2 | sg | (-1),256,512 |
| CAPPED_DATA | 5 | data_offset | 1 |
| CAPPED_DATA | 5 | data_offset | 1 |
| CAPPED_DATA | 6 | data_len | 1 |
| CAPPED_DATA | 6 | data_len | 1 |
| DATA_SOURCE | 0 | krb5 | $0 |
| DATA_SOURCE | 1 | aead | $1 |
| DATA_SOURCE | 2 | sg | $2 |
| DATA_SOURCE | 3 | nr_sg | $3 |
| DATA_SOURCE | 4 | sg_len | $4 |
| DATA_SOURCE | 5 | data_offset | $5 |
| DATA_SOURCE | 6 | data_len | $6 |
| DATA_SOURCE | 7 | preconfounded | $7 |
| CONTAINER | 0 | -64-72+0 | $(-1) |
| PARAM_COMPARE | 4 | sg_len | >= $5 |
| PARAM_COMPARE | 4 | sg_len | >= $6 |
| PARAM_COMPARE | 5 | data_offset | <= $4 |
| PARAM_COMPARE | 5 | data_offset | <= $4 |
| PARAM_COMPARE | 6 | data_len | <= $4 |
| PARAM_COMPARE | 6 | data_len | <= $4 |
| NOSPEC | 4 | sg_len | |
| NOSPEC | 4 | sg_len | |
| RX_PATH | |||
| TASK_NOT_RUNNING | |||
| USER_DATA | 4 | sg_len | 0-1418[c] |
| USER_DATA | 6 | data_len | 0-131070[c] |
| HALF_LOCKED2 | &server->cm_token_lock |