Coverage Report

Created: 2025-12-10 06:24

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl/crypto/rsa/rsa_backend.c
Line
Count
Source
1
/*
2
 * Copyright 2020-2024 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
/*
11
 * RSA low level APIs are deprecated for public use, but still ok for
12
 * internal use.
13
 */
14
#include "internal/deprecated.h"
15
16
#include <string.h>
17
#include <openssl/core_names.h>
18
#include <openssl/params.h>
19
#include <openssl/err.h>
20
#include <openssl/evp.h>
21
#ifndef FIPS_MODULE
22
#include <openssl/x509.h>
23
#include "crypto/asn1.h"
24
#endif
25
#include "internal/sizes.h"
26
#include "internal/param_build_set.h"
27
#include "crypto/rsa.h"
28
#include "rsa_local.h"
29
30
/*
31
 * The intention with the "backend" source file is to offer backend support
32
 * for legacy backends (EVP_PKEY_ASN1_METHOD and EVP_PKEY_METHOD) and provider
33
 * implementations alike.
34
 */
35
36
DEFINE_STACK_OF(BIGNUM)
37
38
static int collect_numbers(STACK_OF(BIGNUM) *numbers,
39
    const OSSL_PARAM params[], const char *names[])
40
0
{
41
0
    const OSSL_PARAM *p = NULL;
42
0
    int i;
43
44
0
    if (numbers == NULL)
45
0
        return 0;
46
47
0
    for (i = 0; names[i] != NULL; i++) {
48
0
        p = OSSL_PARAM_locate_const(params, names[i]);
49
0
        if (p != NULL) {
50
0
            BIGNUM *tmp = NULL;
51
52
0
            if (!OSSL_PARAM_get_BN(p, &tmp))
53
0
                return 0;
54
0
            if (sk_BIGNUM_push(numbers, tmp) == 0) {
55
0
                BN_clear_free(tmp);
56
0
                return 0;
57
0
            }
58
0
        }
59
0
    }
60
61
0
    return 1;
62
0
}
63
64
int ossl_rsa_fromdata(RSA *rsa, const OSSL_PARAM params[], int include_private)
65
0
{
66
0
    const OSSL_PARAM *param_n, *param_e, *param_d = NULL;
67
0
    const OSSL_PARAM *param_p, *param_q = NULL;
68
0
    const OSSL_PARAM *param_derive = NULL;
69
0
    BIGNUM *p = NULL, *q = NULL, *n = NULL, *e = NULL, *d = NULL;
70
0
    STACK_OF(BIGNUM) *factors = NULL, *exps = NULL, *coeffs = NULL;
71
0
    int is_private = 0;
72
0
    int derive_from_pq = 0;
73
0
    BN_CTX *ctx = NULL;
74
75
0
    if (rsa == NULL)
76
0
        return 0;
77
78
0
    param_n = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_N);
79
0
    param_e = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_E);
80
81
0
    if ((param_n == NULL || !OSSL_PARAM_get_BN(param_n, &n))
82
0
        || (param_e == NULL || !OSSL_PARAM_get_BN(param_e, &e))) {
83
0
        ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
84
0
        goto err;
85
0
    }
86
87
0
    if (include_private) {
88
89
0
        param_derive = OSSL_PARAM_locate_const(params,
90
0
            OSSL_PKEY_PARAM_RSA_DERIVE_FROM_PQ);
91
0
        if ((param_derive != NULL)
92
0
            && !OSSL_PARAM_get_int(param_derive, &derive_from_pq))
93
0
            goto err;
94
95
0
        param_d = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_D);
96
0
        if (param_d != NULL && !OSSL_PARAM_get_BN(param_d, &d)) {
97
0
            ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
98
0
            goto err;
99
0
        }
100
101
0
        if (derive_from_pq) {
102
0
            ctx = BN_CTX_new_ex(rsa->libctx);
103
0
            if (ctx == NULL)
104
0
                goto err;
105
106
            /* we need at minimum p, q */
107
0
            param_p = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_FACTOR1);
108
0
            param_q = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_FACTOR2);
109
0
            if ((param_p == NULL || !OSSL_PARAM_get_BN(param_p, &p))
110
0
                || (param_q == NULL || !OSSL_PARAM_get_BN(param_q, &q))) {
111
0
                ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
112
0
                goto err;
113
0
            }
114
0
        }
115
0
    }
116
117
0
    is_private = (d != NULL);
118
119
0
    if (!RSA_set0_key(rsa, n, e, d))
120
0
        goto err;
121
0
    n = e = d = NULL;
122
123
0
    if (is_private) {
124
0
        if (!collect_numbers(factors = sk_BIGNUM_new_null(), params,
125
0
                ossl_rsa_mp_factor_names)
126
0
            || !collect_numbers(exps = sk_BIGNUM_new_null(), params,
127
0
                ossl_rsa_mp_exp_names)
128
0
            || !collect_numbers(coeffs = sk_BIGNUM_new_null(), params,
129
0
                ossl_rsa_mp_coeff_names))
130
0
            goto err;
131
132
0
        if (derive_from_pq && sk_BIGNUM_num(exps) == 0
133
0
            && sk_BIGNUM_num(coeffs) == 0) {
134
            /*
135
             * If we want to use crt to derive our exponents/coefficients, we
136
             * need to have at least 2 factors
137
             */
138
0
            if (sk_BIGNUM_num(factors) < 2) {
139
0
                ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
140
0
                goto err;
141
0
            }
142
143
            /*
144
             * if we have more than two factors, n and d must also have
145
             * been provided
146
             */
147
0
            if (sk_BIGNUM_num(factors) > 2
148
0
                && (param_n == NULL || param_d == NULL)) {
149
0
                ERR_raise(ERR_LIB_RSA, ERR_R_PASSED_NULL_PARAMETER);
150
0
                goto err;
151
0
            }
152
153
            /* build our exponents and coefficients here */
154
0
            if (sk_BIGNUM_num(factors) == 2) {
155
                /* for 2 factors we can use the sp800 functions to do this */
156
0
                if (!RSA_set0_factors(rsa, sk_BIGNUM_value(factors, 0),
157
0
                        sk_BIGNUM_value(factors, 1))) {
158
0
                    ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
159
0
                    goto err;
160
0
                }
161
                /*
162
                 * once consumed by RSA_set0_factors, pop those off the stack
163
                 * so we don't free them below
164
                 */
165
0
                sk_BIGNUM_pop(factors);
166
0
                sk_BIGNUM_pop(factors);
167
168
                /*
169
                 * Note: Because we only have 2 factors here, there will be no
170
                 * additional pinfo fields to hold additional factors, and
171
                 * since we set our key and 2 factors above we can skip
172
                 * the call to ossl_rsa_set0_all_params
173
                 */
174
0
                if (!ossl_rsa_sp800_56b_derive_params_from_pq(rsa,
175
0
                        RSA_bits(rsa),
176
0
                        NULL, ctx)) {
177
0
                    ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
178
0
                    goto err;
179
0
                }
180
0
            } else {
181
0
#ifndef FIPS_MODULE
182
                /*
183
                 * in the multiprime case we have to generate exps/coeffs here
184
                 * for each additional prime
185
                 */
186
0
                if (!ossl_rsa_multiprime_derive(rsa, RSA_bits(rsa),
187
0
                        sk_BIGNUM_num(factors),
188
0
                        rsa->e, factors, exps,
189
0
                        coeffs)) {
190
0
                    ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
191
0
                    goto err;
192
0
                }
193
194
                /*
195
                 * Now we should have all our factors, exponents and
196
                 * coefficients
197
                 */
198
0
                if (!ossl_rsa_set0_all_params(rsa, factors, exps, coeffs)) {
199
0
                    ERR_raise(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR);
200
0
                    goto err;
201
0
                }
202
203
#else
204
                /* multiprime case is disallowed in FIPS mode, raise an error */
205
                ERR_raise(ERR_LIB_RSA, ERR_R_UNSUPPORTED);
206
                goto err;
207
#endif
208
0
            }
209
210
0
        } else {
211
            /*
212
             * It's ok if this private key just has n, e and d
213
             * but only if we're not using derive_from_pq
214
             */
215
0
            if (sk_BIGNUM_num(factors) != 0
216
0
                && !ossl_rsa_set0_all_params(rsa, factors, exps, coeffs))
217
0
                goto err;
218
0
        }
219
        /* sanity check to ensure we used everything in our stacks */
220
0
        if (sk_BIGNUM_num(factors) != 0
221
0
            || sk_BIGNUM_num(exps) != 0
222
0
            || sk_BIGNUM_num(coeffs) != 0) {
223
0
            ERR_raise_data(ERR_LIB_RSA, ERR_R_INTERNAL_ERROR,
224
0
                "There are %d, %d, %d elements left on our factors, exps, coeffs stacks\n",
225
0
                sk_BIGNUM_num(factors), sk_BIGNUM_num(exps),
226
0
                sk_BIGNUM_num(coeffs));
227
0
            goto err;
228
0
        }
229
0
    }
230
231
0
    if (!ossl_rsa_check_factors(rsa)) {
232
0
        ERR_raise_data(ERR_LIB_RSA, RSA_R_INVALID_KEYPAIR,
233
0
            "RSA factors/exponents are too big for for n-modulus\n");
234
0
        goto err;
235
0
    }
236
237
0
    BN_clear_free(p);
238
0
    BN_clear_free(q);
239
0
    sk_BIGNUM_free(factors);
240
0
    sk_BIGNUM_free(exps);
241
0
    sk_BIGNUM_free(coeffs);
242
0
    BN_CTX_free(ctx);
243
0
    return 1;
244
245
0
err:
246
0
    BN_free(n);
247
0
    BN_free(e);
248
0
    BN_free(d);
249
0
    sk_BIGNUM_pop_free(factors, BN_clear_free);
250
0
    sk_BIGNUM_pop_free(exps, BN_clear_free);
251
0
    sk_BIGNUM_pop_free(coeffs, BN_clear_free);
252
0
    BN_CTX_free(ctx);
253
0
    return 0;
254
0
}
255
256
DEFINE_SPECIAL_STACK_OF_CONST(BIGNUM_const, BIGNUM)
257
258
int ossl_rsa_todata(RSA *rsa, OSSL_PARAM_BLD *bld, OSSL_PARAM params[],
259
    int include_private)
260
0
{
261
0
    int ret = 0;
262
0
    const BIGNUM *rsa_d = NULL, *rsa_n = NULL, *rsa_e = NULL;
263
0
    STACK_OF(BIGNUM_const) *factors = sk_BIGNUM_const_new_null();
264
0
    STACK_OF(BIGNUM_const) *exps = sk_BIGNUM_const_new_null();
265
0
    STACK_OF(BIGNUM_const) *coeffs = sk_BIGNUM_const_new_null();
266
267
0
    if (rsa == NULL || factors == NULL || exps == NULL || coeffs == NULL)
268
0
        goto err;
269
270
0
    RSA_get0_key(rsa, &rsa_n, &rsa_e, &rsa_d);
271
0
    ossl_rsa_get0_all_params(rsa, factors, exps, coeffs);
272
273
0
    if (!ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_N, rsa_n)
274
0
        || !ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_E, rsa_e))
275
0
        goto err;
276
277
    /* Check private key data integrity */
278
0
    if (include_private && rsa_d != NULL) {
279
280
0
        if (!ossl_param_build_set_bn(bld, params, OSSL_PKEY_PARAM_RSA_D,
281
0
                rsa_d)
282
0
            || !ossl_param_build_set_multi_key_bn(bld, params,
283
0
                ossl_rsa_mp_factor_names,
284
0
                factors)
285
0
            || !ossl_param_build_set_multi_key_bn(bld, params,
286
0
                ossl_rsa_mp_exp_names, exps)
287
0
            || !ossl_param_build_set_multi_key_bn(bld, params,
288
0
                ossl_rsa_mp_coeff_names,
289
0
                coeffs))
290
0
            goto err;
291
0
    }
292
293
#if defined(FIPS_MODULE) && !defined(OPENSSL_NO_ACVP_TESTS)
294
    /* The acvp test results are not meant for export so check for bld == NULL */
295
    if (bld == NULL)
296
        ossl_rsa_acvp_test_get_params(rsa, params);
297
#endif
298
0
    ret = 1;
299
0
err:
300
0
    sk_BIGNUM_const_free(factors);
301
0
    sk_BIGNUM_const_free(exps);
302
0
    sk_BIGNUM_const_free(coeffs);
303
0
    return ret;
304
0
}
305
306
int ossl_rsa_pss_params_30_todata(const RSA_PSS_PARAMS_30 *pss,
307
    OSSL_PARAM_BLD *bld, OSSL_PARAM params[])
308
0
{
309
0
    if (!ossl_rsa_pss_params_30_is_unrestricted(pss)) {
310
0
        int hashalg_nid = ossl_rsa_pss_params_30_hashalg(pss);
311
0
        int maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(pss);
312
0
        int maskgenhashalg_nid = ossl_rsa_pss_params_30_maskgenhashalg(pss);
313
0
        int saltlen = ossl_rsa_pss_params_30_saltlen(pss);
314
0
        int default_hashalg_nid = ossl_rsa_pss_params_30_hashalg(NULL);
315
0
        int default_maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(NULL);
316
0
        int default_maskgenhashalg_nid = ossl_rsa_pss_params_30_maskgenhashalg(NULL);
317
0
        const char *mdname = (hashalg_nid == default_hashalg_nid
318
0
                ? NULL
319
0
                : ossl_rsa_oaeppss_nid2name(hashalg_nid));
320
0
        const char *mgfname = (maskgenalg_nid == default_maskgenalg_nid
321
0
                ? NULL
322
0
                : ossl_rsa_oaeppss_nid2name(maskgenalg_nid));
323
0
        const char *mgf1mdname = (maskgenhashalg_nid == default_maskgenhashalg_nid
324
0
                ? NULL
325
0
                : ossl_rsa_oaeppss_nid2name(maskgenhashalg_nid));
326
0
        const char *key_md = OSSL_PKEY_PARAM_RSA_DIGEST;
327
0
        const char *key_mgf = OSSL_PKEY_PARAM_RSA_MASKGENFUNC;
328
0
        const char *key_mgf1_md = OSSL_PKEY_PARAM_RSA_MGF1_DIGEST;
329
0
        const char *key_saltlen = OSSL_PKEY_PARAM_RSA_PSS_SALTLEN;
330
331
        /*
332
         * To ensure that the key isn't seen as unrestricted by the recipient,
333
         * we make sure that at least one PSS-related parameter is passed, even
334
         * if it has a default value; saltlen.
335
         */
336
0
        if ((mdname != NULL
337
0
                && !ossl_param_build_set_utf8_string(bld, params, key_md, mdname))
338
0
            || (mgfname != NULL
339
0
                && !ossl_param_build_set_utf8_string(bld, params,
340
0
                    key_mgf, mgfname))
341
0
            || (mgf1mdname != NULL
342
0
                && !ossl_param_build_set_utf8_string(bld, params,
343
0
                    key_mgf1_md, mgf1mdname))
344
0
            || (!ossl_param_build_set_int(bld, params, key_saltlen, saltlen)))
345
0
            return 0;
346
0
    }
347
0
    return 1;
348
0
}
349
350
int ossl_rsa_pss_params_30_fromdata(RSA_PSS_PARAMS_30 *pss_params,
351
    int *defaults_set,
352
    const OSSL_PARAM params[],
353
    OSSL_LIB_CTX *libctx)
354
0
{
355
0
    const OSSL_PARAM *param_md, *param_mgf, *param_mgf1md, *param_saltlen;
356
0
    const OSSL_PARAM *param_propq;
357
0
    const char *propq = NULL;
358
0
    EVP_MD *md = NULL, *mgf1md = NULL;
359
0
    int saltlen;
360
0
    int ret = 0;
361
362
0
    if (pss_params == NULL)
363
0
        return 0;
364
0
    param_propq = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_DIGEST_PROPS);
365
0
    param_md = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_DIGEST);
366
0
    param_mgf = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_MASKGENFUNC);
367
0
    param_mgf1md = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_MGF1_DIGEST);
368
0
    param_saltlen = OSSL_PARAM_locate_const(params, OSSL_PKEY_PARAM_RSA_PSS_SALTLEN);
369
370
0
    if (param_propq != NULL) {
371
0
        if (param_propq->data_type == OSSL_PARAM_UTF8_STRING)
372
0
            propq = param_propq->data;
373
0
    }
374
    /*
375
     * If we get any of the parameters, we know we have at least some
376
     * restrictions, so we start by setting default values, and let each
377
     * parameter override their specific restriction data.
378
     */
379
0
    if (!*defaults_set
380
0
        && (param_md != NULL || param_mgf != NULL || param_mgf1md != NULL
381
0
            || param_saltlen != NULL)) {
382
0
        if (!ossl_rsa_pss_params_30_set_defaults(pss_params))
383
0
            return 0;
384
0
        *defaults_set = 1;
385
0
    }
386
387
0
    if (param_mgf != NULL) {
388
0
        int default_maskgenalg_nid = ossl_rsa_pss_params_30_maskgenalg(NULL);
389
0
        const char *mgfname = NULL;
390
391
0
        if (param_mgf->data_type == OSSL_PARAM_UTF8_STRING)
392
0
            mgfname = param_mgf->data;
393
0
        else if (!OSSL_PARAM_get_utf8_ptr(param_mgf, &mgfname))
394
0
            return 0;
395
396
0
        if (OPENSSL_strcasecmp(param_mgf->data,
397
0
                ossl_rsa_mgf_nid2name(default_maskgenalg_nid))
398
0
            != 0)
399
0
            return 0;
400
0
    }
401
402
    /*
403
     * We're only interested in the NIDs that correspond to the MDs, so the
404
     * exact propquery is unimportant in the EVP_MD_fetch() calls below.
405
     */
406
407
0
    if (param_md != NULL) {
408
0
        const char *mdname = NULL;
409
410
0
        if (param_md->data_type == OSSL_PARAM_UTF8_STRING)
411
0
            mdname = param_md->data;
412
0
        else if (!OSSL_PARAM_get_utf8_ptr(param_mgf, &mdname))
413
0
            goto err;
414
415
0
        if ((md = EVP_MD_fetch(libctx, mdname, propq)) == NULL
416
0
            || !ossl_rsa_pss_params_30_set_hashalg(pss_params,
417
0
                ossl_rsa_oaeppss_md2nid(md)))
418
0
            goto err;
419
0
    }
420
421
0
    if (param_mgf1md != NULL) {
422
0
        const char *mgf1mdname = NULL;
423
424
0
        if (param_mgf1md->data_type == OSSL_PARAM_UTF8_STRING)
425
0
            mgf1mdname = param_mgf1md->data;
426
0
        else if (!OSSL_PARAM_get_utf8_ptr(param_mgf, &mgf1mdname))
427
0
            goto err;
428
429
0
        if ((mgf1md = EVP_MD_fetch(libctx, mgf1mdname, propq)) == NULL
430
0
            || !ossl_rsa_pss_params_30_set_maskgenhashalg(
431
0
                pss_params, ossl_rsa_oaeppss_md2nid(mgf1md)))
432
0
            goto err;
433
0
    }
434
435
0
    if (param_saltlen != NULL) {
436
0
        if (!OSSL_PARAM_get_int(param_saltlen, &saltlen)
437
0
            || !ossl_rsa_pss_params_30_set_saltlen(pss_params, saltlen))
438
0
            goto err;
439
0
    }
440
441
0
    ret = 1;
442
443
0
err:
444
0
    EVP_MD_free(md);
445
0
    EVP_MD_free(mgf1md);
446
0
    return ret;
447
0
}
448
449
int ossl_rsa_is_foreign(const RSA *rsa)
450
0
{
451
0
#ifndef FIPS_MODULE
452
0
    if (RSA_get_method(rsa) != RSA_PKCS1_OpenSSL())
453
0
        return 1;
454
0
#endif
455
0
    return 0;
456
0
}
457
458
static ossl_inline int rsa_bn_dup_check(BIGNUM **out, const BIGNUM *f)
459
0
{
460
0
    if (f != NULL && (*out = BN_dup(f)) == NULL)
461
0
        return 0;
462
0
    return 1;
463
0
}
464
465
RSA *ossl_rsa_dup(const RSA *rsa, int selection)
466
0
{
467
0
    RSA *dupkey = NULL;
468
0
#ifndef FIPS_MODULE
469
0
    int pnum, i;
470
0
#endif
471
472
    /* Do not try to duplicate foreign RSA keys */
473
0
    if (ossl_rsa_is_foreign(rsa))
474
0
        return NULL;
475
476
0
    if ((dupkey = ossl_rsa_new_with_ctx(rsa->libctx)) == NULL)
477
0
        return NULL;
478
479
    /* public key */
480
0
    if ((selection & OSSL_KEYMGMT_SELECT_KEYPAIR) != 0) {
481
0
        if (!rsa_bn_dup_check(&dupkey->n, rsa->n))
482
0
            goto err;
483
0
        if (!rsa_bn_dup_check(&dupkey->e, rsa->e))
484
0
            goto err;
485
0
    }
486
487
0
    if ((selection & OSSL_KEYMGMT_SELECT_PRIVATE_KEY) != 0) {
488
489
        /* private key */
490
0
        if (!rsa_bn_dup_check(&dupkey->d, rsa->d))
491
0
            goto err;
492
493
        /* factors and crt params */
494
0
        if (!rsa_bn_dup_check(&dupkey->p, rsa->p))
495
0
            goto err;
496
0
        if (!rsa_bn_dup_check(&dupkey->q, rsa->q))
497
0
            goto err;
498
0
        if (!rsa_bn_dup_check(&dupkey->dmp1, rsa->dmp1))
499
0
            goto err;
500
0
        if (!rsa_bn_dup_check(&dupkey->dmq1, rsa->dmq1))
501
0
            goto err;
502
0
        if (!rsa_bn_dup_check(&dupkey->iqmp, rsa->iqmp))
503
0
            goto err;
504
0
    }
505
506
0
    dupkey->version = rsa->version;
507
0
    dupkey->flags = rsa->flags;
508
    /* we always copy the PSS parameters regardless of selection */
509
0
    dupkey->pss_params = rsa->pss_params;
510
511
0
#ifndef FIPS_MODULE
512
    /* multiprime */
513
0
    if ((selection & OSSL_KEYMGMT_SELECT_PRIVATE_KEY) != 0
514
0
        && (pnum = sk_RSA_PRIME_INFO_num(rsa->prime_infos)) > 0) {
515
0
        dupkey->prime_infos = sk_RSA_PRIME_INFO_new_reserve(NULL, pnum);
516
0
        if (dupkey->prime_infos == NULL)
517
0
            goto err;
518
0
        for (i = 0; i < pnum; i++) {
519
0
            const RSA_PRIME_INFO *pinfo = NULL;
520
0
            RSA_PRIME_INFO *duppinfo = NULL;
521
522
0
            if ((duppinfo = OPENSSL_zalloc(sizeof(*duppinfo))) == NULL)
523
0
                goto err;
524
            /* push first so cleanup in error case works */
525
0
            (void)sk_RSA_PRIME_INFO_push(dupkey->prime_infos, duppinfo);
526
527
0
            pinfo = sk_RSA_PRIME_INFO_value(rsa->prime_infos, i);
528
0
            if (!rsa_bn_dup_check(&duppinfo->r, pinfo->r))
529
0
                goto err;
530
0
            if (!rsa_bn_dup_check(&duppinfo->d, pinfo->d))
531
0
                goto err;
532
0
            if (!rsa_bn_dup_check(&duppinfo->t, pinfo->t))
533
0
                goto err;
534
0
        }
535
0
        if (!ossl_rsa_multip_calc_product(dupkey))
536
0
            goto err;
537
0
    }
538
539
0
    if (rsa->pss != NULL) {
540
0
        dupkey->pss = RSA_PSS_PARAMS_dup(rsa->pss);
541
0
        if (rsa->pss->maskGenAlgorithm != NULL
542
0
            && dupkey->pss->maskGenAlgorithm == NULL) {
543
0
            dupkey->pss->maskHash = ossl_x509_algor_mgf1_decode(rsa->pss->maskGenAlgorithm);
544
0
            if (dupkey->pss->maskHash == NULL)
545
0
                goto err;
546
0
        }
547
0
    }
548
0
    if (!CRYPTO_dup_ex_data(CRYPTO_EX_INDEX_RSA,
549
0
            &dupkey->ex_data, &rsa->ex_data))
550
0
        goto err;
551
0
#endif
552
553
0
    return dupkey;
554
555
0
err:
556
0
    RSA_free(dupkey);
557
0
    return NULL;
558
0
}
559
560
#ifndef FIPS_MODULE
561
RSA_PSS_PARAMS *ossl_rsa_pss_decode(const X509_ALGOR *alg)
562
0
{
563
0
    RSA_PSS_PARAMS *pss;
564
565
0
    pss = ASN1_TYPE_unpack_sequence(ASN1_ITEM_rptr(RSA_PSS_PARAMS),
566
0
        alg->parameter);
567
568
0
    if (pss == NULL)
569
0
        return NULL;
570
571
0
    if (pss->maskGenAlgorithm != NULL) {
572
0
        pss->maskHash = ossl_x509_algor_mgf1_decode(pss->maskGenAlgorithm);
573
0
        if (pss->maskHash == NULL) {
574
0
            RSA_PSS_PARAMS_free(pss);
575
0
            return NULL;
576
0
        }
577
0
    }
578
579
0
    return pss;
580
0
}
581
582
static int ossl_rsa_sync_to_pss_params_30(RSA *rsa)
583
0
{
584
0
    const RSA_PSS_PARAMS *legacy_pss = NULL;
585
0
    RSA_PSS_PARAMS_30 *pss = NULL;
586
587
0
    if (rsa != NULL
588
0
        && (legacy_pss = RSA_get0_pss_params(rsa)) != NULL
589
0
        && (pss = ossl_rsa_get0_pss_params_30(rsa)) != NULL) {
590
0
        const EVP_MD *md = NULL, *mgf1md = NULL;
591
0
        int md_nid, mgf1md_nid, saltlen, trailerField;
592
0
        RSA_PSS_PARAMS_30 pss_params;
593
594
        /*
595
         * We don't care about the validity of the fields here, we just
596
         * want to synchronise values.  Verifying here makes it impossible
597
         * to even read a key with invalid values, making it hard to test
598
         * a bad situation.
599
         *
600
         * Other routines use ossl_rsa_pss_get_param(), so the values will
601
         * be checked, eventually.
602
         */
603
0
        if (!ossl_rsa_pss_get_param_unverified(legacy_pss, &md, &mgf1md,
604
0
                &saltlen, &trailerField))
605
0
            return 0;
606
0
        md_nid = EVP_MD_get_type(md);
607
0
        mgf1md_nid = EVP_MD_get_type(mgf1md);
608
0
        if (!ossl_rsa_pss_params_30_set_defaults(&pss_params)
609
0
            || !ossl_rsa_pss_params_30_set_hashalg(&pss_params, md_nid)
610
0
            || !ossl_rsa_pss_params_30_set_maskgenhashalg(&pss_params,
611
0
                mgf1md_nid)
612
0
            || !ossl_rsa_pss_params_30_set_saltlen(&pss_params, saltlen)
613
0
            || !ossl_rsa_pss_params_30_set_trailerfield(&pss_params,
614
0
                trailerField))
615
0
            return 0;
616
0
        *pss = pss_params;
617
0
    }
618
0
    return 1;
619
0
}
620
621
int ossl_rsa_pss_get_param_unverified(const RSA_PSS_PARAMS *pss,
622
    const EVP_MD **pmd, const EVP_MD **pmgf1md,
623
    int *psaltlen, int *ptrailerField)
624
0
{
625
0
    RSA_PSS_PARAMS_30 pss_params;
626
627
    /* Get the defaults from the ONE place */
628
0
    (void)ossl_rsa_pss_params_30_set_defaults(&pss_params);
629
630
0
    if (pss == NULL)
631
0
        return 0;
632
0
    *pmd = ossl_x509_algor_get_md(pss->hashAlgorithm);
633
0
    if (*pmd == NULL)
634
0
        return 0;
635
0
    *pmgf1md = ossl_x509_algor_get_md(pss->maskHash);
636
0
    if (*pmgf1md == NULL)
637
0
        return 0;
638
0
    if (pss->saltLength)
639
0
        *psaltlen = ASN1_INTEGER_get(pss->saltLength);
640
0
    else
641
0
        *psaltlen = ossl_rsa_pss_params_30_saltlen(&pss_params);
642
0
    if (pss->trailerField)
643
0
        *ptrailerField = ASN1_INTEGER_get(pss->trailerField);
644
0
    else
645
0
        *ptrailerField = ossl_rsa_pss_params_30_trailerfield(&pss_params);
646
647
0
    return 1;
648
0
}
649
650
int ossl_rsa_param_decode(RSA *rsa, const X509_ALGOR *alg)
651
0
{
652
0
    RSA_PSS_PARAMS *pss;
653
0
    const ASN1_OBJECT *algoid;
654
0
    const void *algp;
655
0
    int algptype;
656
657
0
    X509_ALGOR_get0(&algoid, &algptype, &algp, alg);
658
0
    if (OBJ_obj2nid(algoid) != EVP_PKEY_RSA_PSS)
659
0
        return 1;
660
0
    if (algptype == V_ASN1_UNDEF)
661
0
        return 1;
662
0
    if (algptype != V_ASN1_SEQUENCE) {
663
0
        ERR_raise(ERR_LIB_RSA, RSA_R_INVALID_PSS_PARAMETERS);
664
0
        return 0;
665
0
    }
666
0
    if ((pss = ossl_rsa_pss_decode(alg)) == NULL
667
0
        || !ossl_rsa_set0_pss_params(rsa, pss)) {
668
0
        RSA_PSS_PARAMS_free(pss);
669
0
        return 0;
670
0
    }
671
0
    if (!ossl_rsa_sync_to_pss_params_30(rsa))
672
0
        return 0;
673
0
    return 1;
674
0
}
675
676
RSA *ossl_rsa_key_from_pkcs8(const PKCS8_PRIV_KEY_INFO *p8inf,
677
    OSSL_LIB_CTX *libctx, const char *propq)
678
0
{
679
0
    const unsigned char *p;
680
0
    RSA *rsa;
681
0
    int pklen;
682
0
    const X509_ALGOR *alg;
683
684
0
    if (!PKCS8_pkey_get0(NULL, &p, &pklen, &alg, p8inf))
685
0
        return 0;
686
0
    rsa = d2i_RSAPrivateKey(NULL, &p, pklen);
687
0
    if (rsa == NULL) {
688
0
        ERR_raise(ERR_LIB_RSA, ERR_R_RSA_LIB);
689
0
        return NULL;
690
0
    }
691
0
    if (!ossl_rsa_param_decode(rsa, alg)) {
692
0
        RSA_free(rsa);
693
0
        return NULL;
694
0
    }
695
696
0
    RSA_clear_flags(rsa, RSA_FLAG_TYPE_MASK);
697
0
    switch (OBJ_obj2nid(alg->algorithm)) {
698
0
    case EVP_PKEY_RSA:
699
0
        RSA_set_flags(rsa, RSA_FLAG_TYPE_RSA);
700
0
        break;
701
0
    case EVP_PKEY_RSA_PSS:
702
0
        RSA_set_flags(rsa, RSA_FLAG_TYPE_RSASSAPSS);
703
0
        break;
704
0
    default:
705
        /* Leave the type bits zero */
706
0
        break;
707
0
    }
708
709
0
    return rsa;
710
0
}
711
#endif