Defined in 1 files as a function:

Referenced in 1 files:

Smatch caller information:

crypto/krb5/krb5_kdf.c crypto_krb5_calc_PRFplus() -> (struct krb5_crypto_profile)->calc_PRF()

Type Parameter Key Value
PARAM_VALUE 0 krb5 4096-ptr_max
PARAM_VALUE 0 krb5->profile 4096-ptr_max
PARAM_VALUE 1 input_key 4096-ptr_max
PARAM_VALUE 2 octet_string 3745196638703300608
PARAM_VALUE 2 octet_string->data 4096-ptr_max
PARAM_VALUE 2 octet_string->len 24
PARAM_VALUE 3 result 8712269830428229632
PARAM_VALUE 3 result->len 0-u16max
PARAM_VALUE 4 gfp 3136
CAPPED_DATA 0 krb5->etype 1
DATA_SOURCE 0 krb5 $0
DATA_SOURCE 1 input_key $1
DATA_SOURCE 4 gfp $5
CONTAINER 0 -0-72+0 $(-1)
RX_PATH
TASK_NOT_RUNNING
HALF_LOCKED2 &conn->security_lock

crypto/krb5/selftest.c krb5_test_one_prf() -> (struct krb5_crypto_profile)->calc_PRF()

Type Parameter Key Value
PARAM_VALUE 0 krb5 4096-ptr_max
PARAM_VALUE 0 krb5->profile 4096-ptr_max
PARAM_VALUE 1 input_key 8500086344796766208
PARAM_VALUE 1 input_key->data 16,4096-ptr_max
PARAM_VALUE 1 input_key->len 0-1010100
PARAM_VALUE 2 octet_string 4298794251782238208
PARAM_VALUE 2 octet_string->data 16,4096-ptr_max
PARAM_VALUE 2 octet_string->len 0-1010100
PARAM_VALUE 3 result 4096-ptr_max
PARAM_VALUE 3 result->data 16
PARAM_VALUE 3 result->len 0
PARAM_VALUE 4 gfp 3264
CAPPED_DATA 0 krb5->etype 1
DATA_SOURCE 0 krb5 r crypto_krb5_find_enctype
CONTAINER 0 -0-72+0 $(-1)