Open Menu /

Defined in 2 files as a function:

Referenced in 2 files:

Smatch caller information:

drivers/crypto/ccree/cc_aead.c cc_aead_setkey() -> validate_keys_sizes()

Type Parameter Key Value
PARAM_VALUE 0 ctx_p 4096-ptr_max
PARAM_VALUE 0 ctx_p->auth_keylen 0-2147483639
PARAM_VALUE 0 ctx_p->drvdata 4096-ptr_max
FUZZY_MAX 0 ctx_p->auth_keylen 0
NOSPEC 0 ctx_p->enc_keylen
RX_PATH
TASK_NOT_RUNNING
USER_DATA 0 ctx_p->auth_keylen 1-2147483639[c]
USER_DATA 0 ctx_p->enc_keylen 0-s32max[c]
HALF_LOCKED2 &con->mutex
HALF_LOCKED2 &sdata->sec_mtx
HALF_LOCKED2 sk

drivers/crypto/ccree/cc_cipher.c cc_cipher_sethkey() -> validate_keys_sizes()

Type Parameter Key Value
PARAM_VALUE 0 ctx_p 4096-ptr_max
PARAM_VALUE 1 size 0-u16max
BUF_SIZE 0 ctx_p 0
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
UNITS 1 size unit_byte
HALF_LOCKED2 &ac->mutex
HALF_LOCKED2 &crypt_stat->cs_mutex
HALF_LOCKED2 &crypt_stat->cs_tfm_mutex
HALF_LOCKED2 &crypt_stat->keysig_list_mutex
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 &sdata->sec_mtx
HALF_LOCKED2 &walker->global_auth_tok_key->sem
HALF_LOCKED2 global &key_tfm_list_mutex
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex

drivers/crypto/ccree/cc_cipher.c cc_cipher_setkey() -> validate_keys_sizes()

Type Parameter Key Value
PARAM_VALUE 0 ctx_p 4096-ptr_max
BUF_SIZE 0 ctx_p 0
CAPPED_DATA 1 size 1
DATA_SOURCE 1 size $2
NOSPEC 1 size
NOSPEC 1 size
RX_PATH
TASK_NOT_RUNNING
USER_DATA 1 size 0-s32max[c]
HALF_LOCKED2 &ac->mutex
HALF_LOCKED2 &crypt_stat->cs_mutex
HALF_LOCKED2 &crypt_stat->cs_tfm_mutex
HALF_LOCKED2 &crypt_stat->keysig_list_mutex
HALF_LOCKED2 &mkey->sem
HALF_LOCKED2 &sdata->sec_mtx
HALF_LOCKED2 &walker->global_auth_tok_key->sem
HALF_LOCKED2 global &key_tfm_list_mutex
HALF_LOCKED2 s->tfm_mutex
HALF_LOCKED2 sk
HALF_LOCKED2 tfm_mutex