Coverage Report

Created: 2023-06-08 06:40

/src/openssl111/crypto/rand/drbg_ctr.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 2011-2020 The OpenSSL Project Authors. All Rights Reserved.
3
 *
4
 * Licensed under the OpenSSL license (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 "modes_local.h"
16
#include "internal/thread_once.h"
17
#include "rand_local.h"
18
19
/*
20
 * Implementation of NIST SP 800-90A CTR DRBG.
21
 */
22
23
static void inc_128(RAND_DRBG_CTR *ctr)
24
0
{
25
0
    unsigned char *p = &ctr->V[0];
26
0
    u32 n = 16, c = 1;
27
28
0
    do {
29
0
        --n;
30
0
        c += p[n];
31
0
        p[n] = (u8)c;
32
0
        c >>= 8;
33
0
    } while (n);
34
0
}
35
36
static void ctr_XOR(RAND_DRBG_CTR *ctr, const unsigned char *in, size_t inlen)
37
0
{
38
0
    size_t i, n;
39
40
0
    if (in == NULL || inlen == 0)
41
0
        return;
42
43
    /*
44
     * Any zero padding will have no effect on the result as we
45
     * are XORing. So just process however much input we have.
46
     */
47
0
    n = inlen < ctr->keylen ? inlen : ctr->keylen;
48
0
    for (i = 0; i < n; i++)
49
0
        ctr->K[i] ^= in[i];
50
0
    if (inlen <= ctr->keylen)
51
0
        return;
52
53
0
    n = inlen - ctr->keylen;
54
0
    if (n > 16) {
55
        /* Should never happen */
56
0
        n = 16;
57
0
    }
58
0
    for (i = 0; i < n; i++)
59
0
        ctr->V[i] ^= in[i + ctr->keylen];
60
0
}
61
62
/*
63
 * Process a complete block using BCC algorithm of SP 800-90A 10.3.3
64
 */
65
__owur static int ctr_BCC_block(RAND_DRBG_CTR *ctr, unsigned char *out,
66
                                const unsigned char *in, int len)
67
0
{
68
0
    int i, outlen = AES_BLOCK_SIZE;
69
70
0
    for (i = 0; i < len; i++)
71
0
        out[i] ^= in[i];
72
73
0
    if (!EVP_CipherUpdate(ctr->ctx_df, out, &outlen, out, len)
74
0
        || outlen != len)
75
0
        return 0;
76
0
    return 1;
77
0
}
78
79
80
/*
81
 * Handle several BCC operations for as much data as we need for K and X
82
 */
83
__owur static int ctr_BCC_blocks(RAND_DRBG_CTR *ctr, const unsigned char *in)
84
0
{
85
0
    unsigned char in_tmp[48];
86
0
    unsigned char num_of_blk = 2;
87
88
0
    memcpy(in_tmp, in, 16);
89
0
    memcpy(in_tmp + 16, in, 16);
90
0
    if (ctr->keylen != 16) {
91
0
        memcpy(in_tmp + 32, in, 16);
92
0
        num_of_blk = 3;
93
0
    }
94
0
    return ctr_BCC_block(ctr, ctr->KX, in_tmp, AES_BLOCK_SIZE * num_of_blk);
95
0
}
96
97
/*
98
 * Initialise BCC blocks: these have the value 0,1,2 in leftmost positions:
99
 * see 10.3.1 stage 7.
100
 */
101
__owur static int ctr_BCC_init(RAND_DRBG_CTR *ctr)
102
0
{
103
0
    unsigned char bltmp[48] = {0};
104
0
    unsigned char num_of_blk;
105
106
0
    memset(ctr->KX, 0, 48);
107
0
    num_of_blk = ctr->keylen == 16 ? 2 : 3;
108
0
    bltmp[(AES_BLOCK_SIZE * 1) + 3] = 1;
109
0
    bltmp[(AES_BLOCK_SIZE * 2) + 3] = 2;
110
0
    return ctr_BCC_block(ctr, ctr->KX, bltmp, num_of_blk * AES_BLOCK_SIZE);
111
0
}
112
113
/*
114
 * Process several blocks into BCC algorithm, some possibly partial
115
 */
116
__owur static int ctr_BCC_update(RAND_DRBG_CTR *ctr,
117
                                 const unsigned char *in, size_t inlen)
118
0
{
119
0
    if (in == NULL || inlen == 0)
120
0
        return 1;
121
122
    /* If we have partial block handle it first */
123
0
    if (ctr->bltmp_pos) {
124
0
        size_t left = 16 - ctr->bltmp_pos;
125
126
        /* If we now have a complete block process it */
127
0
        if (inlen >= left) {
128
0
            memcpy(ctr->bltmp + ctr->bltmp_pos, in, left);
129
0
            if (!ctr_BCC_blocks(ctr, ctr->bltmp))
130
0
                return 0;
131
0
            ctr->bltmp_pos = 0;
132
0
            inlen -= left;
133
0
            in += left;
134
0
        }
135
0
    }
136
137
    /* Process zero or more complete blocks */
138
0
    for (; inlen >= 16; in += 16, inlen -= 16) {
139
0
        if (!ctr_BCC_blocks(ctr, in))
140
0
            return 0;
141
0
    }
142
143
    /* Copy any remaining partial block to the temporary buffer */
144
0
    if (inlen > 0) {
145
0
        memcpy(ctr->bltmp + ctr->bltmp_pos, in, inlen);
146
0
        ctr->bltmp_pos += inlen;
147
0
    }
148
0
    return 1;
149
0
}
150
151
__owur static int ctr_BCC_final(RAND_DRBG_CTR *ctr)
152
0
{
153
0
    if (ctr->bltmp_pos) {
154
0
        memset(ctr->bltmp + ctr->bltmp_pos, 0, 16 - ctr->bltmp_pos);
155
0
        if (!ctr_BCC_blocks(ctr, ctr->bltmp))
156
0
            return 0;
157
0
    }
158
0
    return 1;
159
0
}
160
161
__owur static int ctr_df(RAND_DRBG_CTR *ctr,
162
                         const unsigned char *in1, size_t in1len,
163
                         const unsigned char *in2, size_t in2len,
164
                         const unsigned char *in3, size_t in3len)
165
0
{
166
0
    static unsigned char c80 = 0x80;
167
0
    size_t inlen;
168
0
    unsigned char *p = ctr->bltmp;
169
0
    int outlen = AES_BLOCK_SIZE;
170
171
0
    if (!ctr_BCC_init(ctr))
172
0
        return 0;
173
0
    if (in1 == NULL)
174
0
        in1len = 0;
175
0
    if (in2 == NULL)
176
0
        in2len = 0;
177
0
    if (in3 == NULL)
178
0
        in3len = 0;
179
0
    inlen = in1len + in2len + in3len;
180
    /* Initialise L||N in temporary block */
181
0
    *p++ = (inlen >> 24) & 0xff;
182
0
    *p++ = (inlen >> 16) & 0xff;
183
0
    *p++ = (inlen >> 8) & 0xff;
184
0
    *p++ = inlen & 0xff;
185
186
    /* NB keylen is at most 32 bytes */
187
0
    *p++ = 0;
188
0
    *p++ = 0;
189
0
    *p++ = 0;
190
0
    *p = (unsigned char)((ctr->keylen + 16) & 0xff);
191
0
    ctr->bltmp_pos = 8;
192
0
    if (!ctr_BCC_update(ctr, in1, in1len)
193
0
        || !ctr_BCC_update(ctr, in2, in2len)
194
0
        || !ctr_BCC_update(ctr, in3, in3len)
195
0
        || !ctr_BCC_update(ctr, &c80, 1)
196
0
        || !ctr_BCC_final(ctr))
197
0
        return 0;
198
    /* Set up key K */
199
0
    if (!EVP_CipherInit_ex(ctr->ctx_ecb, NULL, NULL, ctr->KX, NULL, -1))
200
0
        return 0;
201
    /* X follows key K */
202
0
    if (!EVP_CipherUpdate(ctr->ctx_ecb, ctr->KX, &outlen, ctr->KX + ctr->keylen,
203
0
                          AES_BLOCK_SIZE)
204
0
        || outlen != AES_BLOCK_SIZE)
205
0
        return 0;
206
0
    if (!EVP_CipherUpdate(ctr->ctx_ecb, ctr->KX + 16, &outlen, ctr->KX,
207
0
                          AES_BLOCK_SIZE)
208
0
        || outlen != AES_BLOCK_SIZE)
209
0
        return 0;
210
0
    if (ctr->keylen != 16)
211
0
        if (!EVP_CipherUpdate(ctr->ctx_ecb, ctr->KX + 32, &outlen,
212
0
                              ctr->KX + 16, AES_BLOCK_SIZE)
213
0
            || outlen != AES_BLOCK_SIZE)
214
0
            return 0;
215
0
    return 1;
216
0
}
217
218
/*
219
 * NB the no-df Update in SP800-90A specifies a constant input length
220
 * of seedlen, however other uses of this algorithm pad the input with
221
 * zeroes if necessary and have up to two parameters XORed together,
222
 * so we handle both cases in this function instead.
223
 */
224
__owur static int ctr_update(RAND_DRBG *drbg,
225
                             const unsigned char *in1, size_t in1len,
226
                             const unsigned char *in2, size_t in2len,
227
                             const unsigned char *nonce, size_t noncelen)
228
0
{
229
0
    RAND_DRBG_CTR *ctr = &drbg->data.ctr;
230
0
    int outlen = AES_BLOCK_SIZE;
231
0
    unsigned char V_tmp[48], out[48];
232
0
    unsigned char len;
233
234
    /* correct key is already set up. */
235
0
    memcpy(V_tmp, ctr->V, 16);
236
0
    inc_128(ctr);
237
0
    memcpy(V_tmp + 16, ctr->V, 16);
238
0
    if (ctr->keylen == 16) {
239
0
        len = 32;
240
0
    } else {
241
0
        inc_128(ctr);
242
0
        memcpy(V_tmp + 32, ctr->V, 16);
243
0
        len = 48;
244
0
    }
245
0
    if (!EVP_CipherUpdate(ctr->ctx_ecb, out, &outlen, V_tmp, len)
246
0
            || outlen != len)
247
0
        return 0;
248
0
    memcpy(ctr->K, out, ctr->keylen);
249
0
    memcpy(ctr->V, out + ctr->keylen, 16);
250
251
0
    if ((drbg->flags & RAND_DRBG_FLAG_CTR_NO_DF) == 0) {
252
        /* If no input reuse existing derived value */
253
0
        if (in1 != NULL || nonce != NULL || in2 != NULL)
254
0
            if (!ctr_df(ctr, in1, in1len, nonce, noncelen, in2, in2len))
255
0
                return 0;
256
        /* If this a reuse input in1len != 0 */
257
0
        if (in1len)
258
0
            ctr_XOR(ctr, ctr->KX, drbg->seedlen);
259
0
    } else {
260
0
        ctr_XOR(ctr, in1, in1len);
261
0
        ctr_XOR(ctr, in2, in2len);
262
0
    }
263
264
0
    if (!EVP_CipherInit_ex(ctr->ctx_ecb, NULL, NULL, ctr->K, NULL, -1)
265
0
        || !EVP_CipherInit_ex(ctr->ctx_ctr, NULL, NULL, ctr->K, NULL, -1))
266
0
        return 0;
267
0
    return 1;
268
0
}
269
270
__owur static int drbg_ctr_instantiate(RAND_DRBG *drbg,
271
                                       const unsigned char *entropy, size_t entropylen,
272
                                       const unsigned char *nonce, size_t noncelen,
273
                                       const unsigned char *pers, size_t perslen)
274
0
{
275
0
    RAND_DRBG_CTR *ctr = &drbg->data.ctr;
276
277
0
    if (entropy == NULL)
278
0
        return 0;
279
280
0
    memset(ctr->K, 0, sizeof(ctr->K));
281
0
    memset(ctr->V, 0, sizeof(ctr->V));
282
0
    if (!EVP_CipherInit_ex(ctr->ctx_ecb, NULL, NULL, ctr->K, NULL, -1))
283
0
        return 0;
284
285
0
    inc_128(ctr);
286
0
    if (!ctr_update(drbg, entropy, entropylen, pers, perslen, nonce, noncelen))
287
0
        return 0;
288
0
    return 1;
289
0
}
290
291
__owur static int drbg_ctr_reseed(RAND_DRBG *drbg,
292
                                  const unsigned char *entropy, size_t entropylen,
293
                                  const unsigned char *adin, size_t adinlen)
294
0
{
295
0
    RAND_DRBG_CTR *ctr = &drbg->data.ctr;
296
297
0
    if (entropy == NULL)
298
0
        return 0;
299
300
0
    inc_128(ctr);
301
0
    if (!ctr_update(drbg, entropy, entropylen, adin, adinlen, NULL, 0))
302
0
        return 0;
303
0
    return 1;
304
0
}
305
306
static void ctr96_inc(unsigned char *counter)
307
0
{
308
0
    u32 n = 12, c = 1;
309
310
0
    do {
311
0
        --n;
312
0
        c += counter[n];
313
0
        counter[n] = (u8)c;
314
0
        c >>= 8;
315
0
    } while (n);
316
0
}
317
318
__owur static int drbg_ctr_generate(RAND_DRBG *drbg,
319
                                    unsigned char *out, size_t outlen,
320
                                    const unsigned char *adin, size_t adinlen)
321
0
{
322
0
    RAND_DRBG_CTR *ctr = &drbg->data.ctr;
323
0
    unsigned int ctr32, blocks;
324
0
    int outl, buflen;
325
326
0
    if (adin != NULL && adinlen != 0) {
327
0
        inc_128(ctr);
328
329
0
        if (!ctr_update(drbg, adin, adinlen, NULL, 0, NULL, 0))
330
0
            return 0;
331
        /* This means we reuse derived value */
332
0
        if ((drbg->flags & RAND_DRBG_FLAG_CTR_NO_DF) == 0) {
333
0
            adin = NULL;
334
0
            adinlen = 1;
335
0
        }
336
0
    } else {
337
0
        adinlen = 0;
338
0
    }
339
340
0
    inc_128(ctr);
341
342
0
    if (outlen == 0) {
343
0
        inc_128(ctr);
344
345
0
        if (!ctr_update(drbg, adin, adinlen, NULL, 0, NULL, 0))
346
0
            return 0;
347
0
        return 1;
348
0
    }
349
350
0
    memset(out, 0, outlen);
351
352
0
    do {
353
0
        if (!EVP_CipherInit_ex(ctr->ctx_ctr,
354
0
                               NULL, NULL, NULL, ctr->V, -1))
355
0
            return 0;
356
357
        /*-
358
         * outlen has type size_t while EVP_CipherUpdate takes an
359
         * int argument and thus cannot be guaranteed to process more
360
         * than 2^31-1 bytes at a time. We process such huge generate
361
         * requests in 2^30 byte chunks, which is the greatest multiple
362
         * of AES block size lower than or equal to 2^31-1.
363
         */
364
0
        buflen = outlen > (1U << 30) ? (1U << 30) : outlen;
365
0
        blocks = (buflen + 15) / 16;
366
367
0
        ctr32 = GETU32(ctr->V + 12) + blocks;
368
0
        if (ctr32 < blocks) {
369
            /* 32-bit counter overflow into V. */
370
0
            if (ctr32 != 0) {
371
0
                blocks -= ctr32;
372
0
                buflen = blocks * 16;
373
0
                ctr32 = 0;
374
0
            }
375
0
            ctr96_inc(ctr->V);
376
0
        }
377
0
        PUTU32(ctr->V + 12, ctr32);
378
379
0
        if (!EVP_CipherUpdate(ctr->ctx_ctr, out, &outl, out, buflen)
380
0
            || outl != buflen)
381
0
            return 0;
382
383
0
        out += buflen;
384
0
        outlen -= buflen;
385
0
    } while (outlen);
386
387
0
    if (!ctr_update(drbg, adin, adinlen, NULL, 0, NULL, 0))
388
0
        return 0;
389
0
    return 1;
390
0
}
391
392
static int drbg_ctr_uninstantiate(RAND_DRBG *drbg)
393
0
{
394
0
    EVP_CIPHER_CTX_free(drbg->data.ctr.ctx_ecb);
395
0
    EVP_CIPHER_CTX_free(drbg->data.ctr.ctx_ctr);
396
0
    EVP_CIPHER_CTX_free(drbg->data.ctr.ctx_df);
397
0
    OPENSSL_cleanse(&drbg->data.ctr, sizeof(drbg->data.ctr));
398
0
    return 1;
399
0
}
400
401
static RAND_DRBG_METHOD drbg_ctr_meth = {
402
    drbg_ctr_instantiate,
403
    drbg_ctr_reseed,
404
    drbg_ctr_generate,
405
    drbg_ctr_uninstantiate
406
};
407
408
int drbg_ctr_init(RAND_DRBG *drbg)
409
0
{
410
0
    RAND_DRBG_CTR *ctr = &drbg->data.ctr;
411
0
    size_t keylen;
412
413
0
    switch (drbg->type) {
414
0
    default:
415
        /* This can't happen, but silence the compiler warning. */
416
0
        return 0;
417
0
    case NID_aes_128_ctr:
418
0
        keylen = 16;
419
0
        ctr->cipher_ecb = EVP_aes_128_ecb();
420
0
        ctr->cipher_ctr = EVP_aes_128_ctr();
421
0
        break;
422
0
    case NID_aes_192_ctr:
423
0
        keylen = 24;
424
0
        ctr->cipher_ecb = EVP_aes_192_ecb();
425
0
        ctr->cipher_ctr = EVP_aes_192_ctr();
426
0
        break;
427
0
    case NID_aes_256_ctr:
428
0
        keylen = 32;
429
0
        ctr->cipher_ecb = EVP_aes_256_ecb();
430
0
        ctr->cipher_ctr = EVP_aes_256_ctr();
431
0
        break;
432
0
    }
433
434
0
    drbg->meth = &drbg_ctr_meth;
435
436
0
    ctr->keylen = keylen;
437
0
    if (ctr->ctx_ecb == NULL)
438
0
        ctr->ctx_ecb = EVP_CIPHER_CTX_new();
439
0
    if (ctr->ctx_ctr == NULL)
440
0
        ctr->ctx_ctr = EVP_CIPHER_CTX_new();
441
0
    if (ctr->ctx_ecb == NULL || ctr->ctx_ctr == NULL
442
0
        || !EVP_CipherInit_ex(ctr->ctx_ecb,
443
0
                              ctr->cipher_ecb, NULL, NULL, NULL, 1)
444
0
        || !EVP_CipherInit_ex(ctr->ctx_ctr,
445
0
                              ctr->cipher_ctr, NULL, NULL, NULL, 1))
446
0
        return 0;
447
448
0
    drbg->meth = &drbg_ctr_meth;
449
0
    drbg->strength = keylen * 8;
450
0
    drbg->seedlen = keylen + 16;
451
452
0
    if ((drbg->flags & RAND_DRBG_FLAG_CTR_NO_DF) == 0) {
453
        /* df initialisation */
454
0
        static const unsigned char df_key[32] = {
455
0
            0x00, 0x01, 0x02, 0x03, 0x04, 0x05, 0x06, 0x07,
456
0
            0x08, 0x09, 0x0a, 0x0b, 0x0c, 0x0d, 0x0e, 0x0f,
457
0
            0x10, 0x11, 0x12, 0x13, 0x14, 0x15, 0x16, 0x17,
458
0
            0x18, 0x19, 0x1a, 0x1b, 0x1c, 0x1d, 0x1e, 0x1f
459
0
        };
460
461
0
        if (ctr->ctx_df == NULL)
462
0
            ctr->ctx_df = EVP_CIPHER_CTX_new();
463
0
        if (ctr->ctx_df == NULL)
464
0
            return 0;
465
        /* Set key schedule for df_key */
466
0
        if (!EVP_CipherInit_ex(ctr->ctx_df,
467
0
                               ctr->cipher_ecb, NULL, df_key, NULL, 1))
468
0
            return 0;
469
470
0
        drbg->min_entropylen = ctr->keylen;
471
0
        drbg->max_entropylen = DRBG_MAX_LENGTH;
472
0
        drbg->min_noncelen = drbg->min_entropylen / 2;
473
0
        drbg->max_noncelen = DRBG_MAX_LENGTH;
474
0
        drbg->max_perslen = DRBG_MAX_LENGTH;
475
0
        drbg->max_adinlen = DRBG_MAX_LENGTH;
476
0
    } else {
477
0
        drbg->min_entropylen = drbg->seedlen;
478
0
        drbg->max_entropylen = drbg->seedlen;
479
        /* Nonce not used */
480
0
        drbg->min_noncelen = 0;
481
0
        drbg->max_noncelen = 0;
482
0
        drbg->max_perslen = drbg->seedlen;
483
0
        drbg->max_adinlen = drbg->seedlen;
484
0
    }
485
486
0
    drbg->max_request = 1 << 16;
487
488
0
    return 1;
489
0
}