Coverage Report

Created: 2026-09-12 06:55

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl35/providers/implementations/rands/drbg_hmac.c
Line
Count
Source
1
/*
2
 * Copyright 2011-2026 The OpenSSL Project Authors. All Rights Reserved.
3
 *
4
 * Licensed under the Apache License 2.0 (the "License").  You may not use
5
 * this file except in compliance with the License.  You can obtain a copy
6
 * in the file LICENSE in the source distribution or at
7
 * https://www.openssl.org/source/license.html
8
 */
9
10
#include <stdlib.h>
11
#include <string.h>
12
#include <openssl/crypto.h>
13
#include <openssl/err.h>
14
#include <openssl/rand.h>
15
#include <openssl/proverr.h>
16
#include "internal/thread_once.h"
17
#include "prov/providercommon.h"
18
#include "prov/implementations.h"
19
#include "prov/provider_ctx.h"
20
#include "prov/hmac_drbg.h"
21
#include "drbg_local.h"
22
#include "crypto/evp.h"
23
#include "crypto/evp/evp_local.h"
24
#include "internal/provider.h"
25
26
static OSSL_FUNC_rand_newctx_fn drbg_hmac_new_wrapper;
27
static OSSL_FUNC_rand_freectx_fn drbg_hmac_free;
28
static OSSL_FUNC_rand_instantiate_fn drbg_hmac_instantiate_wrapper;
29
static OSSL_FUNC_rand_uninstantiate_fn drbg_hmac_uninstantiate_wrapper;
30
static OSSL_FUNC_rand_generate_fn drbg_hmac_generate_wrapper;
31
static OSSL_FUNC_rand_reseed_fn drbg_hmac_reseed_wrapper;
32
static OSSL_FUNC_rand_settable_ctx_params_fn drbg_hmac_settable_ctx_params;
33
static OSSL_FUNC_rand_set_ctx_params_fn drbg_hmac_set_ctx_params;
34
static OSSL_FUNC_rand_gettable_ctx_params_fn drbg_hmac_gettable_ctx_params;
35
static OSSL_FUNC_rand_get_ctx_params_fn drbg_hmac_get_ctx_params;
36
static OSSL_FUNC_rand_verify_zeroization_fn drbg_hmac_verify_zeroization;
37
38
static int drbg_hmac_set_ctx_params_locked(void *vctx, const OSSL_PARAM params[]);
39
40
/*
41
 * Called twice by SP800-90Ar1 10.1.2.2 HMAC_DRBG_Update_Process.
42
 *
43
 * hmac is an object that holds the input/output Key and Value (K and V).
44
 * inbyte is 0x00 on the first call and 0x01 on the second call.
45
 * in1, in2, in3 are optional inputs that can be NULL.
46
 * in1len, in2len, in3len are the lengths of the input buffers.
47
 *
48
 * The returned K,V is:
49
 *   hmac->K = HMAC(hmac->K, hmac->V || inbyte || [in1] || [in2] || [in3])
50
 *   hmac->V = HMAC(hmac->K, hmac->V)
51
 *
52
 * Returns zero if an error occurs otherwise it returns 1.
53
 */
54
static int do_hmac(PROV_DRBG_HMAC *hmac, unsigned char inbyte,
55
    const unsigned char *in1, size_t in1len,
56
    const unsigned char *in2, size_t in2len,
57
    const unsigned char *in3, size_t in3len)
58
2.89k
{
59
2.89k
    EVP_MAC_CTX *ctx = hmac->ctx;
60
61
2.89k
    if (!EVP_MAC_init(ctx, hmac->K, hmac->blocklen, NULL)
62
        /* K = HMAC(K, V || inbyte || [in1] || [in2] || [in3]) */
63
2.87k
        || !EVP_MAC_update(ctx, hmac->V, hmac->blocklen)
64
2.87k
        || !EVP_MAC_update(ctx, &inbyte, 1)
65
2.87k
        || !(in1 == NULL || in1len == 0 || EVP_MAC_update(ctx, in1, in1len))
66
2.87k
        || !(in2 == NULL || in2len == 0 || EVP_MAC_update(ctx, in2, in2len))
67
2.87k
        || !(in3 == NULL || in3len == 0 || EVP_MAC_update(ctx, in3, in3len))
68
2.87k
        || !EVP_MAC_final(ctx, hmac->K, NULL, sizeof(hmac->K)))
69
23
        return 0;
70
71
    /* V = HMAC(K, V) */
72
2.87k
    return EVP_MAC_init(ctx, hmac->K, hmac->blocklen, NULL)
73
2.87k
        && EVP_MAC_update(ctx, hmac->V, hmac->blocklen)
74
2.87k
        && EVP_MAC_final(ctx, hmac->V, NULL, sizeof(hmac->V));
75
2.89k
}
76
77
/*
78
 * SP800-90Ar1 10.1.2.2 HMAC_DRBG_Update_Process
79
 *
80
 *
81
 * Updates the drbg objects Key(K) and Value(V) using the following algorithm:
82
 *   K,V = do_hmac(hmac, 0, in1, in2, in3)
83
 *   if (any input is not NULL)
84
 *     K,V = do_hmac(hmac, 1, in1, in2, in3)
85
 *
86
 * where in1, in2, in3 are optional input buffers that can be NULL.
87
 *       in1len, in2len, in3len are the lengths of the input buffers.
88
 *
89
 * Returns zero if an error occurs otherwise it returns 1.
90
 */
91
static int drbg_hmac_update(PROV_DRBG_HMAC *hmac,
92
    const unsigned char *in1, size_t in1len,
93
    const unsigned char *in2, size_t in2len,
94
    const unsigned char *in3, size_t in3len)
95
1.79k
{
96
    /* (Steps 1-2) K = HMAC(K, V||0x00||provided_data). V = HMAC(K,V) */
97
1.79k
    if (!do_hmac(hmac, 0x00, in1, in1len, in2, in2len, in3, in3len))
98
23
        return 0;
99
    /* (Step 3) If provided_data == NULL then return (K,V) */
100
1.77k
    if (in1len == 0 && in2len == 0 && in3len == 0)
101
676
        return 1;
102
    /* (Steps 4-5) K = HMAC(K, V||0x01||provided_data). V = HMAC(K,V) */
103
1.09k
    return do_hmac(hmac, 0x01, in1, in1len, in2, in2len, in3, in3len);
104
1.77k
}
105
106
/*
107
 * SP800-90Ar1 10.1.2.3 HMAC_DRBG_Instantiate_Process:
108
 *
109
 * This sets the drbg Key (K) to all zeros, and Value (V) to all 1's.
110
 * and then calls (K,V) = drbg_hmac_update() with input parameters:
111
 *   ent = entropy data (Can be NULL) of length ent_len.
112
 *   nonce = nonce data (Can be NULL) of length nonce_len.
113
 *   pstr = personalization data (Can be NULL) of length pstr_len.
114
 *
115
 * Returns zero if an error occurs otherwise it returns 1.
116
 */
117
int ossl_drbg_hmac_init(PROV_DRBG_HMAC *hmac,
118
    const unsigned char *ent, size_t ent_len,
119
    const unsigned char *nonce, size_t nonce_len,
120
    const unsigned char *pstr, size_t pstr_len)
121
725
{
122
725
    if (hmac->ctx == NULL) {
123
0
        ERR_raise(ERR_LIB_PROV, PROV_R_MISSING_MAC);
124
0
        return 0;
125
0
    }
126
127
    /* (Step 2) Key = 0x00 00...00 */
128
725
    memset(hmac->K, 0x00, hmac->blocklen);
129
    /* (Step 3) V = 0x01 01...01 */
130
725
    memset(hmac->V, 0x01, hmac->blocklen);
131
    /* (Step 4) (K,V) = HMAC_DRBG_Update(entropy||nonce||pers string, K, V) */
132
725
    return drbg_hmac_update(hmac, ent, ent_len, nonce, nonce_len, pstr,
133
725
        pstr_len);
134
725
}
135
static int drbg_hmac_instantiate(PROV_DRBG *drbg,
136
    const unsigned char *ent, size_t ent_len,
137
    const unsigned char *nonce, size_t nonce_len,
138
    const unsigned char *pstr, size_t pstr_len)
139
388
{
140
388
    return ossl_drbg_hmac_init((PROV_DRBG_HMAC *)drbg->data, ent, ent_len,
141
388
        nonce, nonce_len, pstr, pstr_len);
142
388
}
143
144
static int drbg_hmac_instantiate_wrapper(void *vdrbg, unsigned int strength,
145
    int prediction_resistance,
146
    const unsigned char *pstr,
147
    size_t pstr_len,
148
    const OSSL_PARAM params[])
149
0
{
150
0
    PROV_DRBG *drbg = (PROV_DRBG *)vdrbg;
151
0
    int ret = 0;
152
153
0
    if (drbg->lock != NULL && !CRYPTO_THREAD_write_lock(drbg->lock))
154
0
        return 0;
155
156
0
    if (!ossl_prov_is_running()
157
0
        || !drbg_hmac_set_ctx_params_locked(drbg, params))
158
0
        goto err;
159
0
    ret = ossl_prov_drbg_instantiate(drbg, strength, prediction_resistance,
160
0
        pstr, pstr_len);
161
0
err:
162
0
    if (drbg->lock != NULL)
163
0
        CRYPTO_THREAD_unlock(drbg->lock);
164
0
    return ret;
165
0
}
166
167
/*
168
 * SP800-90Ar1 10.1.2.4 HMAC_DRBG_Reseed_Process:
169
 *
170
 * Reseeds the drbg's Key (K) and Value (V) by calling
171
 * (K,V) = drbg_hmac_update() with the following input parameters:
172
 *   ent = entropy input data (Can be NULL) of length ent_len.
173
 *   adin = additional input data (Can be NULL) of length adin_len.
174
 *
175
 * Returns zero if an error occurs otherwise it returns 1.
176
 */
177
static int drbg_hmac_reseed(PROV_DRBG *drbg,
178
    const unsigned char *ent, size_t ent_len,
179
    const unsigned char *adin, size_t adin_len)
180
396
{
181
396
    PROV_DRBG_HMAC *hmac = (PROV_DRBG_HMAC *)drbg->data;
182
183
    /* (Step 2) (K,V) = HMAC_DRBG_Update(entropy||additional_input, K, V) */
184
396
    return drbg_hmac_update(hmac, ent, ent_len, adin, adin_len, NULL, 0);
185
396
}
186
187
static int drbg_hmac_reseed_wrapper(void *vdrbg, int prediction_resistance,
188
    const unsigned char *ent, size_t ent_len,
189
    const unsigned char *adin, size_t adin_len)
190
339
{
191
339
    PROV_DRBG *drbg = (PROV_DRBG *)vdrbg;
192
193
339
    return ossl_prov_drbg_reseed(drbg, prediction_resistance, ent, ent_len,
194
339
        adin, adin_len);
195
339
}
196
197
/*
198
 * SP800-90Ar1 10.1.2.5 HMAC_DRBG_Generate_Process:
199
 *
200
 * Generates pseudo random bytes and updates the internal K,V for the drbg.
201
 * out is a buffer to fill with outlen bytes of pseudo random data.
202
 * adin is an additional_input string of size adin_len that may be NULL.
203
 *
204
 * Returns zero if an error occurs otherwise it returns 1.
205
 */
206
int ossl_drbg_hmac_generate(PROV_DRBG_HMAC *hmac,
207
    unsigned char *out, size_t outlen,
208
    const unsigned char *adin, size_t adin_len)
209
702
{
210
702
    EVP_MAC_CTX *ctx = hmac->ctx;
211
702
    const unsigned char *temp = hmac->V;
212
213
    /* (Step 2) if adin != NULL then (K,V) = HMAC_DRBG_Update(adin, K, V) */
214
702
    if (adin != NULL
215
0
        && adin_len > 0
216
0
        && !drbg_hmac_update(hmac, adin, adin_len, NULL, 0, NULL, 0))
217
0
        return 0;
218
219
    /*
220
     * (Steps 3-5) temp = NULL
221
     *             while (len(temp) < outlen) {
222
     *                 V = HMAC(K, V)
223
     *                 temp = temp || V
224
     *             }
225
     */
226
54.0k
    for (;;) {
227
54.0k
        if (!EVP_MAC_init(ctx, hmac->K, hmac->blocklen, NULL)
228
54.0k
            || !EVP_MAC_update(ctx, temp, hmac->blocklen))
229
0
            return 0;
230
231
54.0k
        if (outlen > hmac->blocklen) {
232
53.4k
            if (!EVP_MAC_final(ctx, out, NULL, outlen))
233
26
                return 0;
234
53.3k
            temp = out;
235
53.3k
        } else {
236
676
            if (!EVP_MAC_final(ctx, hmac->V, NULL, sizeof(hmac->V)))
237
0
                return 0;
238
676
            memcpy(out, hmac->V, outlen);
239
676
            break;
240
676
        }
241
53.3k
        out += hmac->blocklen;
242
53.3k
        outlen -= hmac->blocklen;
243
53.3k
    }
244
    /* (Step 6) (K,V) = HMAC_DRBG_Update(adin, K, V) */
245
676
    if (!drbg_hmac_update(hmac, adin, adin_len, NULL, 0, NULL, 0))
246
0
        return 0;
247
248
676
    return 1;
249
676
}
250
251
static int drbg_hmac_generate(PROV_DRBG *drbg,
252
    unsigned char *out, size_t outlen,
253
    const unsigned char *adin, size_t adin_len)
254
365
{
255
365
    return ossl_drbg_hmac_generate((PROV_DRBG_HMAC *)drbg->data, out, outlen,
256
365
        adin, adin_len);
257
365
}
258
259
static int drbg_hmac_generate_wrapper(void *vdrbg,
260
    unsigned char *out, size_t outlen, unsigned int strength,
261
    int prediction_resistance, const unsigned char *adin, size_t adin_len)
262
388
{
263
388
    PROV_DRBG *drbg = (PROV_DRBG *)vdrbg;
264
265
388
    return ossl_prov_drbg_generate(drbg, out, outlen, strength,
266
388
        prediction_resistance, adin, adin_len);
267
388
}
268
269
static int drbg_hmac_uninstantiate(PROV_DRBG *drbg)
270
0
{
271
0
    PROV_DRBG_HMAC *hmac = (PROV_DRBG_HMAC *)drbg->data;
272
273
0
    OPENSSL_cleanse(hmac->K, sizeof(hmac->K));
274
0
    OPENSSL_cleanse(hmac->V, sizeof(hmac->V));
275
0
    return ossl_prov_drbg_uninstantiate(drbg);
276
0
}
277
278
static int drbg_hmac_uninstantiate_wrapper(void *vdrbg)
279
0
{
280
0
    PROV_DRBG *drbg = (PROV_DRBG *)vdrbg;
281
0
    int ret;
282
283
0
    if (drbg->lock != NULL && !CRYPTO_THREAD_write_lock(drbg->lock))
284
0
        return 0;
285
286
0
    ret = drbg_hmac_uninstantiate(drbg);
287
288
0
    if (drbg->lock != NULL)
289
0
        CRYPTO_THREAD_unlock(drbg->lock);
290
291
0
    return ret;
292
0
}
293
294
static int drbg_hmac_verify_zeroization(void *vdrbg)
295
0
{
296
0
    PROV_DRBG *drbg = (PROV_DRBG *)vdrbg;
297
0
    PROV_DRBG_HMAC *hmac = (PROV_DRBG_HMAC *)drbg->data;
298
0
    int ret = 0;
299
300
0
    if (drbg->lock != NULL && !CRYPTO_THREAD_read_lock(drbg->lock))
301
0
        return 0;
302
303
0
    PROV_DRBG_VERIFY_ZEROIZATION(hmac->K);
304
0
    PROV_DRBG_VERIFY_ZEROIZATION(hmac->V);
305
306
0
    ret = 1;
307
0
err:
308
0
    if (drbg->lock != NULL)
309
0
        CRYPTO_THREAD_unlock(drbg->lock);
310
0
    return ret;
311
0
}
312
313
static int drbg_hmac_new(PROV_DRBG *drbg)
314
567
{
315
567
    PROV_DRBG_HMAC *hmac;
316
317
567
    hmac = OPENSSL_secure_zalloc(sizeof(*hmac));
318
567
    if (hmac == NULL)
319
0
        return 0;
320
321
567
    OSSL_FIPS_IND_INIT(drbg)
322
323
567
    drbg->data = hmac;
324
    /* See SP800-57 Part1 Rev4 5.6.1 Table 3 */
325
567
    drbg->max_entropylen = DRBG_MAX_LENGTH;
326
567
    drbg->max_noncelen = DRBG_MAX_LENGTH;
327
567
    drbg->max_perslen = DRBG_MAX_LENGTH;
328
567
    drbg->max_adinlen = DRBG_MAX_LENGTH;
329
330
    /* Maximum number of bits per request = 2^19  = 2^16 bytes */
331
567
    drbg->max_request = 1 << 16;
332
567
    return 1;
333
567
}
334
335
static void *drbg_hmac_new_wrapper(void *provctx, void *parent,
336
    const OSSL_DISPATCH *parent_dispatch)
337
567
{
338
567
    return ossl_rand_drbg_new(provctx, parent, parent_dispatch,
339
567
        &drbg_hmac_new, &drbg_hmac_free,
340
567
        &drbg_hmac_instantiate, &drbg_hmac_uninstantiate,
341
567
        &drbg_hmac_reseed, &drbg_hmac_generate);
342
567
}
343
344
static void drbg_hmac_free(void *vdrbg)
345
567
{
346
567
    PROV_DRBG *drbg = (PROV_DRBG *)vdrbg;
347
567
    PROV_DRBG_HMAC *hmac;
348
349
567
    if (drbg != NULL && (hmac = (PROV_DRBG_HMAC *)drbg->data) != NULL) {
350
567
        EVP_MAC_CTX_free(hmac->ctx);
351
567
        ossl_prov_digest_reset(&hmac->digest);
352
567
        OPENSSL_secure_clear_free(hmac, sizeof(*hmac));
353
567
    }
354
567
    ossl_rand_drbg_free(drbg);
355
567
}
356
357
static int drbg_hmac_get_ctx_params(void *vdrbg, OSSL_PARAM params[])
358
121
{
359
121
    PROV_DRBG *drbg = (PROV_DRBG *)vdrbg;
360
121
    PROV_DRBG_HMAC *hmac = (PROV_DRBG_HMAC *)drbg->data;
361
121
    const char *name;
362
121
    const EVP_MD *md;
363
121
    OSSL_PARAM *p;
364
121
    int ret = 0, complete = 0;
365
366
121
    if (!ossl_drbg_get_ctx_params_no_lock(drbg, params, &complete))
367
0
        return 0;
368
369
121
    if (complete)
370
121
        return 1;
371
372
0
    if (drbg->lock != NULL && !CRYPTO_THREAD_read_lock(drbg->lock))
373
0
        return 0;
374
375
0
    p = OSSL_PARAM_locate(params, OSSL_DRBG_PARAM_MAC);
376
0
    if (p != NULL) {
377
0
        if (hmac->ctx == NULL)
378
0
            goto err;
379
0
        name = EVP_MAC_get0_name(EVP_MAC_CTX_get0_mac(hmac->ctx));
380
0
        if (!OSSL_PARAM_set_utf8_string(p, name))
381
0
            goto err;
382
0
    }
383
384
0
    p = OSSL_PARAM_locate(params, OSSL_DRBG_PARAM_DIGEST);
385
0
    if (p != NULL) {
386
0
        md = ossl_prov_digest_md(&hmac->digest);
387
0
        if (md == NULL || !OSSL_PARAM_set_utf8_string(p, EVP_MD_get0_name(md)))
388
0
            goto err;
389
0
    }
390
391
0
    ret = ossl_drbg_get_ctx_params(drbg, params);
392
0
err:
393
0
    if (drbg->lock != NULL)
394
0
        CRYPTO_THREAD_unlock(drbg->lock);
395
396
0
    return ret;
397
0
}
398
399
static const OSSL_PARAM *drbg_hmac_gettable_ctx_params(ossl_unused void *vctx,
400
    ossl_unused void *p_ctx)
401
0
{
402
0
    static const OSSL_PARAM known_gettable_ctx_params[] = {
403
0
        OSSL_PARAM_utf8_string(OSSL_DRBG_PARAM_MAC, NULL, 0),
404
0
        OSSL_PARAM_utf8_string(OSSL_DRBG_PARAM_DIGEST, NULL, 0),
405
0
        OSSL_PARAM_DRBG_GETTABLE_CTX_COMMON,
406
0
        OSSL_FIPS_IND_GETTABLE_CTX_PARAM()
407
0
            OSSL_PARAM_END
408
0
    };
409
0
    return known_gettable_ctx_params;
410
0
}
411
412
static int drbg_fetch_algs_from_prov(const OSSL_PARAM params[],
413
    OSSL_LIB_CTX *libctx,
414
    EVP_MAC_CTX **macctx,
415
    EVP_MD **digest, const char *propq)
416
87
{
417
87
    const OSSL_PARAM *p;
418
87
    const char *digest_name = NULL;
419
87
    const char *hmac_name = NULL;
420
87
    EVP_MD *md = NULL;
421
87
    EVP_MAC *mac = NULL;
422
87
    OSSL_PARAM mac_params[3], *mp = mac_params;
423
87
    int ret = 0;
424
87
    const char *propquery = NULL;
425
426
87
#ifndef FIPS_MODULE
427
87
    if (propq == NULL)
428
0
        propquery = "provider=default";
429
87
    else
430
87
        propquery = propq;
431
87
#endif
432
433
87
    if (macctx == NULL || digest == NULL)
434
0
        return 0;
435
436
87
    p = OSSL_PARAM_locate_const(params, OSSL_ALG_PARAM_DIGEST);
437
87
    if (p) {
438
87
        if (!OSSL_PARAM_get_utf8_string_ptr(p, &digest_name)) {
439
0
            ERR_raise(ERR_LIB_PROV, PROV_R_VALUE_ERROR);
440
0
            goto done;
441
0
        }
442
87
        md = EVP_MD_fetch(libctx, p->data, propquery);
443
87
        if (md) {
444
62
            EVP_MD_free(*digest);
445
62
            *digest = md;
446
62
        } else {
447
25
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST);
448
25
            goto done;
449
25
        }
450
87
    } else {
451
        /* we need a digest */
452
0
        ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_DIGEST);
453
0
        goto done;
454
0
    }
455
62
    p = OSSL_PARAM_locate_const(params, OSSL_ALG_PARAM_MAC);
456
62
    if (p == NULL) {
457
0
        hmac_name = "HMAC";
458
62
    } else {
459
62
        if (!OSSL_PARAM_get_utf8_string_ptr(p, &hmac_name)) {
460
0
            ERR_raise(ERR_LIB_PROV, PROV_R_VALUE_ERROR);
461
0
            goto done;
462
0
        }
463
62
    }
464
465
62
    EVP_MAC_CTX_free(*macctx);
466
62
    *macctx = NULL;
467
468
62
    mac = EVP_MAC_fetch(libctx, hmac_name, propquery);
469
62
    if (mac) {
470
60
        *macctx = EVP_MAC_CTX_new(mac);
471
        /* The context holds on to the MAC */
472
60
        EVP_MAC_free(mac);
473
60
        *mp++ = OSSL_PARAM_construct_utf8_string(OSSL_MAC_PARAM_DIGEST, (char *)digest_name, 0);
474
60
        if (propquery)
475
60
            *mp++ = OSSL_PARAM_construct_utf8_string(OSSL_MAC_PARAM_PROPERTIES, (char *)propquery, 0);
476
60
        *mp = OSSL_PARAM_construct_end();
477
60
        if (!EVP_MAC_CTX_set_params(*macctx, mac_params)) {
478
0
            ERR_raise(ERR_LIB_PROV, PROV_R_INVALID_MAC);
479
0
            EVP_MAC_CTX_free(*macctx);
480
0
            *macctx = NULL;
481
0
            goto done;
482
0
        }
483
60
        ret = 1;
484
60
    }
485
486
87
done:
487
87
    return ret;
488
62
}
489
490
static int drbg_hmac_set_ctx_params_locked(void *vctx, const OSSL_PARAM params[])
491
87
{
492
87
    PROV_DRBG *ctx = (PROV_DRBG *)vctx;
493
87
    PROV_DRBG_HMAC *hmac = (PROV_DRBG_HMAC *)ctx->data;
494
87
    OSSL_LIB_CTX *libctx = PROV_LIBCTX_OF(ctx->provctx);
495
87
    EVP_MD *prov_md = NULL;
496
87
    const EVP_MD *md;
497
87
    int md_size;
498
87
    const OSSL_PARAM *p;
499
500
87
    if (!OSSL_FIPS_IND_SET_CTX_PARAM(ctx, OSSL_FIPS_IND_SETTABLE0, params,
501
87
            OSSL_DRBG_PARAM_FIPS_DIGEST_CHECK))
502
0
        return 0;
503
504
    /* try to fetch mac and digest from provider */
505
87
    p = OSSL_PARAM_locate_const(params, OSSL_DRBG_PARAM_PROPERTIES);
506
87
    (void)ERR_set_mark();
507
87
    if (!drbg_fetch_algs_from_prov(params, libctx, &hmac->ctx, &prov_md,
508
87
            (p != NULL && p->data_type == OSSL_PARAM_UTF8_STRING) ? p->data : NULL)) {
509
27
        (void)ERR_pop_to_mark();
510
        /*
511
         * Its possible for drbg_fetch_algs_from_prov to return 0 and set prov_md here
512
         * so we need to free prov_md to be leak free
513
         */
514
27
        EVP_MD_free(prov_md);
515
        /* fall back to full implementation search */
516
27
        if (!ossl_prov_digest_load_from_params(&hmac->digest, params, libctx))
517
25
            return 0;
518
519
2
        if (!ossl_prov_macctx_load_from_params(&hmac->ctx, params,
520
2
                NULL, NULL, NULL, libctx))
521
2
            return 0;
522
60
    } else {
523
60
        (void)ERR_clear_last_mark();
524
60
        if (prov_md)
525
60
            ossl_prov_digest_set_md(&hmac->digest, prov_md);
526
60
    }
527
528
60
    md = ossl_prov_digest_md(&hmac->digest);
529
60
    if (md != NULL && !ossl_drbg_verify_digest(ctx, libctx, md))
530
1
        return 0; /* Error already raised for us */
531
532
59
    if (md != NULL && hmac->ctx != NULL) {
533
        /* These are taken from SP 800-90 10.1 Table 2 */
534
59
        md_size = EVP_MD_get_size(md);
535
59
        if (md_size <= 0)
536
1
            return 0;
537
58
        hmac->blocklen = (size_t)md_size;
538
        /* See SP800-57 Part1 Rev4 5.6.1 Table 3 */
539
58
        ctx->strength = 64 * (int)(hmac->blocklen >> 3);
540
58
        if (ctx->strength > 256)
541
6
            ctx->strength = 256;
542
58
        ctx->seedlen = hmac->blocklen;
543
58
        ctx->min_entropylen = ctx->strength / 8;
544
58
        ctx->min_noncelen = ctx->min_entropylen / 2;
545
58
    }
546
547
58
    return ossl_drbg_set_ctx_params(ctx, params);
548
59
}
549
550
static int drbg_hmac_set_ctx_params(void *vctx, const OSSL_PARAM params[])
551
172
{
552
172
    PROV_DRBG *drbg = (PROV_DRBG *)vctx;
553
172
    int ret;
554
555
172
    if (drbg->lock != NULL && !CRYPTO_THREAD_write_lock(drbg->lock))
556
0
        return 0;
557
558
172
    ret = drbg_hmac_set_ctx_params_locked(vctx, params);
559
560
172
    if (drbg->lock != NULL)
561
0
        CRYPTO_THREAD_unlock(drbg->lock);
562
563
172
    return ret;
564
172
}
565
566
static const OSSL_PARAM *drbg_hmac_settable_ctx_params(ossl_unused void *vctx,
567
    ossl_unused void *p_ctx)
568
567
{
569
567
    static const OSSL_PARAM known_settable_ctx_params[] = {
570
567
        OSSL_PARAM_utf8_string(OSSL_DRBG_PARAM_PROPERTIES, NULL, 0),
571
567
        OSSL_PARAM_utf8_string(OSSL_DRBG_PARAM_DIGEST, NULL, 0),
572
567
        OSSL_PARAM_utf8_string(OSSL_DRBG_PARAM_MAC, NULL, 0),
573
567
        OSSL_PARAM_DRBG_SETTABLE_CTX_COMMON,
574
567
        OSSL_FIPS_IND_SETTABLE_CTX_PARAM(OSSL_DRBG_PARAM_FIPS_DIGEST_CHECK)
575
            OSSL_PARAM_END
576
567
    };
577
567
    return known_settable_ctx_params;
578
567
}
579
580
const OSSL_DISPATCH ossl_drbg_ossl_hmac_functions[] = {
581
    { OSSL_FUNC_RAND_NEWCTX, (void (*)(void))drbg_hmac_new_wrapper },
582
    { OSSL_FUNC_RAND_FREECTX, (void (*)(void))drbg_hmac_free },
583
    { OSSL_FUNC_RAND_INSTANTIATE,
584
        (void (*)(void))drbg_hmac_instantiate_wrapper },
585
    { OSSL_FUNC_RAND_UNINSTANTIATE,
586
        (void (*)(void))drbg_hmac_uninstantiate_wrapper },
587
    { OSSL_FUNC_RAND_GENERATE, (void (*)(void))drbg_hmac_generate_wrapper },
588
    { OSSL_FUNC_RAND_RESEED, (void (*)(void))drbg_hmac_reseed_wrapper },
589
    { OSSL_FUNC_RAND_ENABLE_LOCKING, (void (*)(void))ossl_drbg_enable_locking },
590
    { OSSL_FUNC_RAND_LOCK, (void (*)(void))ossl_drbg_lock },
591
    { OSSL_FUNC_RAND_UNLOCK, (void (*)(void))ossl_drbg_unlock },
592
    { OSSL_FUNC_RAND_SETTABLE_CTX_PARAMS,
593
        (void (*)(void))drbg_hmac_settable_ctx_params },
594
    { OSSL_FUNC_RAND_SET_CTX_PARAMS, (void (*)(void))drbg_hmac_set_ctx_params },
595
    { OSSL_FUNC_RAND_GETTABLE_CTX_PARAMS,
596
        (void (*)(void))drbg_hmac_gettable_ctx_params },
597
    { OSSL_FUNC_RAND_GET_CTX_PARAMS, (void (*)(void))drbg_hmac_get_ctx_params },
598
    { OSSL_FUNC_RAND_VERIFY_ZEROIZATION,
599
        (void (*)(void))drbg_hmac_verify_zeroization },
600
    { OSSL_FUNC_RAND_GET_SEED, (void (*)(void))ossl_drbg_get_seed },
601
    { OSSL_FUNC_RAND_CLEAR_SEED, (void (*)(void))ossl_drbg_clear_seed },
602
    OSSL_DISPATCH_END
603
};