Coverage Report

Created: 2025-12-31 06:58

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl35/crypto/evp/signature.c
Line
Count
Source
1
/*
2
 * Copyright 2006-2025 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 <openssl/err.h>
11
#include <stdio.h>
12
#include <stdlib.h>
13
#include <openssl/core_names.h>
14
#include <openssl/objects.h>
15
#include <openssl/evp.h>
16
#include "internal/numbers.h" /* includes SIZE_MAX */
17
#include "internal/cryptlib.h"
18
#include "internal/provider.h"
19
#include "internal/core.h"
20
#include "crypto/evp.h"
21
#include "evp_local.h"
22
23
static void evp_signature_free(void *data)
24
3.38k
{
25
3.38k
    EVP_SIGNATURE_free(data);
26
3.38k
}
27
28
static int evp_signature_up_ref(void *data)
29
272k
{
30
272k
    return EVP_SIGNATURE_up_ref(data);
31
272k
}
32
33
static EVP_SIGNATURE *evp_signature_new(OSSL_PROVIDER *prov)
34
2.12k
{
35
2.12k
    EVP_SIGNATURE *signature = OPENSSL_zalloc(sizeof(EVP_SIGNATURE));
36
37
2.12k
    if (signature == NULL)
38
0
        return NULL;
39
40
2.12k
    if (!CRYPTO_NEW_REF(&signature->refcnt, 1)
41
2.12k
        || !ossl_provider_up_ref(prov)) {
42
0
        CRYPTO_FREE_REF(&signature->refcnt);
43
0
        OPENSSL_free(signature);
44
0
        return NULL;
45
0
    }
46
47
2.12k
    signature->prov = prov;
48
49
2.12k
    return signature;
50
2.12k
}
51
52
static void *evp_signature_from_algorithm(int name_id,
53
    const OSSL_ALGORITHM *algodef,
54
    OSSL_PROVIDER *prov)
55
2.12k
{
56
2.12k
    const OSSL_DISPATCH *fns = algodef->implementation;
57
2.12k
    EVP_SIGNATURE *signature = NULL;
58
2.12k
    const char *desc;
59
    /* Counts newctx / freectx */
60
2.12k
    int ctxfncnt = 0;
61
    /* Counts all init functions  */
62
2.12k
    int initfncnt = 0;
63
    /* Counts all parameter functions */
64
2.12k
    int gparamfncnt = 0, sparamfncnt = 0, gmdparamfncnt = 0, smdparamfncnt = 0;
65
2.12k
    int valid = 0;
66
67
2.12k
    if ((signature = evp_signature_new(prov)) == NULL) {
68
0
        ERR_raise(ERR_LIB_EVP, ERR_R_EVP_LIB);
69
0
        goto err;
70
0
    }
71
72
2.12k
    signature->name_id = name_id;
73
2.12k
    if ((signature->type_name = ossl_algorithm_get1_first_name(algodef)) == NULL)
74
0
        goto err;
75
2.12k
    signature->description = algodef->algorithm_description;
76
2.12k
    desc = signature->description != NULL ? signature->description : "";
77
78
38.7k
    for (; fns->function_id != 0; fns++) {
79
36.6k
        switch (fns->function_id) {
80
2.12k
        case OSSL_FUNC_SIGNATURE_NEWCTX:
81
2.12k
            if (signature->newctx != NULL)
82
0
                break;
83
2.12k
            signature->newctx = OSSL_FUNC_signature_newctx(fns);
84
2.12k
            ctxfncnt++;
85
2.12k
            break;
86
1.51k
        case OSSL_FUNC_SIGNATURE_SIGN_INIT:
87
1.51k
            if (signature->sign_init != NULL)
88
72
                break;
89
1.44k
            signature->sign_init = OSSL_FUNC_signature_sign_init(fns);
90
1.44k
            initfncnt++;
91
1.44k
            break;
92
1.98k
        case OSSL_FUNC_SIGNATURE_SIGN:
93
1.98k
            if (signature->sign != NULL)
94
0
                break;
95
1.98k
            signature->sign = OSSL_FUNC_signature_sign(fns);
96
1.98k
            break;
97
1.83k
        case OSSL_FUNC_SIGNATURE_SIGN_MESSAGE_INIT:
98
1.83k
            if (signature->sign_message_init != NULL)
99
0
                break;
100
1.83k
            signature->sign_message_init
101
1.83k
                = OSSL_FUNC_signature_sign_message_init(fns);
102
1.83k
            initfncnt++;
103
1.83k
            break;
104
1.18k
        case OSSL_FUNC_SIGNATURE_SIGN_MESSAGE_UPDATE:
105
1.18k
            if (signature->sign_message_update != NULL)
106
0
                break;
107
1.18k
            signature->sign_message_update
108
1.18k
                = OSSL_FUNC_signature_sign_message_update(fns);
109
1.18k
            break;
110
1.18k
        case OSSL_FUNC_SIGNATURE_SIGN_MESSAGE_FINAL:
111
1.18k
            if (signature->sign_message_final != NULL)
112
0
                break;
113
1.18k
            signature->sign_message_final
114
1.18k
                = OSSL_FUNC_signature_sign_message_final(fns);
115
1.18k
            break;
116
1.51k
        case OSSL_FUNC_SIGNATURE_VERIFY_INIT:
117
1.51k
            if (signature->verify_init != NULL)
118
72
                break;
119
1.44k
            signature->verify_init = OSSL_FUNC_signature_verify_init(fns);
120
1.44k
            initfncnt++;
121
1.44k
            break;
122
1.98k
        case OSSL_FUNC_SIGNATURE_VERIFY:
123
1.98k
            if (signature->verify != NULL)
124
0
                break;
125
1.98k
            signature->verify = OSSL_FUNC_signature_verify(fns);
126
1.98k
            break;
127
1.83k
        case OSSL_FUNC_SIGNATURE_VERIFY_MESSAGE_INIT:
128
1.83k
            if (signature->verify_message_init != NULL)
129
0
                break;
130
1.83k
            signature->verify_message_init
131
1.83k
                = OSSL_FUNC_signature_verify_message_init(fns);
132
1.83k
            initfncnt++;
133
1.83k
            break;
134
1.18k
        case OSSL_FUNC_SIGNATURE_VERIFY_MESSAGE_UPDATE:
135
1.18k
            if (signature->verify_message_update != NULL)
136
0
                break;
137
1.18k
            signature->verify_message_update
138
1.18k
                = OSSL_FUNC_signature_verify_message_update(fns);
139
1.18k
            break;
140
1.18k
        case OSSL_FUNC_SIGNATURE_VERIFY_MESSAGE_FINAL:
141
1.18k
            if (signature->verify_message_final != NULL)
142
0
                break;
143
1.18k
            signature->verify_message_final
144
1.18k
                = OSSL_FUNC_signature_verify_message_final(fns);
145
1.18k
            break;
146
504
        case OSSL_FUNC_SIGNATURE_VERIFY_RECOVER_INIT:
147
504
            if (signature->verify_recover_init != NULL)
148
0
                break;
149
504
            signature->verify_recover_init
150
504
                = OSSL_FUNC_signature_verify_recover_init(fns);
151
504
            initfncnt++;
152
504
            break;
153
504
        case OSSL_FUNC_SIGNATURE_VERIFY_RECOVER:
154
504
            if (signature->verify_recover != NULL)
155
0
                break;
156
504
            signature->verify_recover
157
504
                = OSSL_FUNC_signature_verify_recover(fns);
158
504
            break;
159
900
        case OSSL_FUNC_SIGNATURE_DIGEST_SIGN_INIT:
160
900
            if (signature->digest_sign_init != NULL)
161
0
                break;
162
900
            signature->digest_sign_init
163
900
                = OSSL_FUNC_signature_digest_sign_init(fns);
164
900
            initfncnt++;
165
900
            break;
166
288
        case OSSL_FUNC_SIGNATURE_DIGEST_SIGN_UPDATE:
167
288
            if (signature->digest_sign_update != NULL)
168
0
                break;
169
288
            signature->digest_sign_update
170
288
                = OSSL_FUNC_signature_digest_sign_update(fns);
171
288
            break;
172
288
        case OSSL_FUNC_SIGNATURE_DIGEST_SIGN_FINAL:
173
288
            if (signature->digest_sign_final != NULL)
174
0
                break;
175
288
            signature->digest_sign_final
176
288
                = OSSL_FUNC_signature_digest_sign_final(fns);
177
288
            break;
178
612
        case OSSL_FUNC_SIGNATURE_DIGEST_SIGN:
179
612
            if (signature->digest_sign != NULL)
180
0
                break;
181
612
            signature->digest_sign
182
612
                = OSSL_FUNC_signature_digest_sign(fns);
183
612
            break;
184
756
        case OSSL_FUNC_SIGNATURE_DIGEST_VERIFY_INIT:
185
756
            if (signature->digest_verify_init != NULL)
186
0
                break;
187
756
            signature->digest_verify_init
188
756
                = OSSL_FUNC_signature_digest_verify_init(fns);
189
756
            initfncnt++;
190
756
            break;
191
144
        case OSSL_FUNC_SIGNATURE_DIGEST_VERIFY_UPDATE:
192
144
            if (signature->digest_verify_update != NULL)
193
0
                break;
194
144
            signature->digest_verify_update
195
144
                = OSSL_FUNC_signature_digest_verify_update(fns);
196
144
            break;
197
144
        case OSSL_FUNC_SIGNATURE_DIGEST_VERIFY_FINAL:
198
144
            if (signature->digest_verify_final != NULL)
199
0
                break;
200
144
            signature->digest_verify_final
201
144
                = OSSL_FUNC_signature_digest_verify_final(fns);
202
144
            break;
203
612
        case OSSL_FUNC_SIGNATURE_DIGEST_VERIFY:
204
612
            if (signature->digest_verify != NULL)
205
0
                break;
206
612
            signature->digest_verify
207
612
                = OSSL_FUNC_signature_digest_verify(fns);
208
612
            break;
209
2.12k
        case OSSL_FUNC_SIGNATURE_FREECTX:
210
2.12k
            if (signature->freectx != NULL)
211
0
                break;
212
2.12k
            signature->freectx = OSSL_FUNC_signature_freectx(fns);
213
2.12k
            ctxfncnt++;
214
2.12k
            break;
215
2.12k
        case OSSL_FUNC_SIGNATURE_DUPCTX:
216
2.12k
            if (signature->dupctx != NULL)
217
0
                break;
218
2.12k
            signature->dupctx = OSSL_FUNC_signature_dupctx(fns);
219
2.12k
            break;
220
1.98k
        case OSSL_FUNC_SIGNATURE_GET_CTX_PARAMS:
221
1.98k
            if (signature->get_ctx_params != NULL)
222
0
                break;
223
1.98k
            signature->get_ctx_params
224
1.98k
                = OSSL_FUNC_signature_get_ctx_params(fns);
225
1.98k
            gparamfncnt++;
226
1.98k
            break;
227
1.98k
        case OSSL_FUNC_SIGNATURE_GETTABLE_CTX_PARAMS:
228
1.98k
            if (signature->gettable_ctx_params != NULL)
229
0
                break;
230
1.98k
            signature->gettable_ctx_params
231
1.98k
                = OSSL_FUNC_signature_gettable_ctx_params(fns);
232
1.98k
            gparamfncnt++;
233
1.98k
            break;
234
2.12k
        case OSSL_FUNC_SIGNATURE_SET_CTX_PARAMS:
235
2.12k
            if (signature->set_ctx_params != NULL)
236
0
                break;
237
2.12k
            signature->set_ctx_params
238
2.12k
                = OSSL_FUNC_signature_set_ctx_params(fns);
239
2.12k
            sparamfncnt++;
240
2.12k
            break;
241
2.12k
        case OSSL_FUNC_SIGNATURE_SETTABLE_CTX_PARAMS:
242
2.12k
            if (signature->settable_ctx_params != NULL)
243
0
                break;
244
2.12k
            signature->settable_ctx_params
245
2.12k
                = OSSL_FUNC_signature_settable_ctx_params(fns);
246
2.12k
            sparamfncnt++;
247
2.12k
            break;
248
144
        case OSSL_FUNC_SIGNATURE_GET_CTX_MD_PARAMS:
249
144
            if (signature->get_ctx_md_params != NULL)
250
0
                break;
251
144
            signature->get_ctx_md_params
252
144
                = OSSL_FUNC_signature_get_ctx_md_params(fns);
253
144
            gmdparamfncnt++;
254
144
            break;
255
144
        case OSSL_FUNC_SIGNATURE_GETTABLE_CTX_MD_PARAMS:
256
144
            if (signature->gettable_ctx_md_params != NULL)
257
0
                break;
258
144
            signature->gettable_ctx_md_params
259
144
                = OSSL_FUNC_signature_gettable_ctx_md_params(fns);
260
144
            gmdparamfncnt++;
261
144
            break;
262
144
        case OSSL_FUNC_SIGNATURE_SET_CTX_MD_PARAMS:
263
144
            if (signature->set_ctx_md_params != NULL)
264
0
                break;
265
144
            signature->set_ctx_md_params
266
144
                = OSSL_FUNC_signature_set_ctx_md_params(fns);
267
144
            smdparamfncnt++;
268
144
            break;
269
144
        case OSSL_FUNC_SIGNATURE_SETTABLE_CTX_MD_PARAMS:
270
144
            if (signature->settable_ctx_md_params != NULL)
271
0
                break;
272
144
            signature->settable_ctx_md_params
273
144
                = OSSL_FUNC_signature_settable_ctx_md_params(fns);
274
144
            smdparamfncnt++;
275
144
            break;
276
1.29k
        case OSSL_FUNC_SIGNATURE_QUERY_KEY_TYPES:
277
1.29k
            if (signature->query_key_types != NULL)
278
0
                break;
279
1.29k
            signature->query_key_types
280
1.29k
                = OSSL_FUNC_signature_query_key_types(fns);
281
1.29k
            break;
282
36.6k
        }
283
36.6k
    }
284
    /*
285
     * In order to be a consistent set of functions we must have at least
286
     * a set of context functions (newctx and freectx) as well as a set of
287
     * "signature" functions.  Because there's an overlap between some sets
288
     * of functions, counters don't always cut it, we must test known
289
     * combinations.
290
     * We start by assuming the implementation is valid, and then look for
291
     * reasons it's not.
292
     */
293
2.12k
    valid = 1;
294
    /* Start with the ones where counters say enough */
295
2.12k
    if (ctxfncnt != 2) {
296
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
297
0
            "missing %s newctx or freectx:%s", signature->type_name, desc);
298
0
        valid = 0;
299
0
    }
300
2.12k
    if (valid
301
2.12k
        && ((gparamfncnt != 0 && gparamfncnt != 2)
302
2.12k
            || (sparamfncnt != 0 && sparamfncnt != 2)
303
2.12k
            || (gmdparamfncnt != 0 && gmdparamfncnt != 2)
304
2.12k
            || (smdparamfncnt != 0 && smdparamfncnt != 2))) {
305
        /*
306
         * Params functions are optional, but if defined, they must
307
         * be pairwise complete sets, i.e. a getter must have an
308
         * associated gettable, etc
309
         */
310
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
311
0
            "missing %s params getter or setter:%s", signature->type_name, desc);
312
0
        valid = 0;
313
0
    }
314
2.12k
    if (valid && initfncnt == 0) {
315
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
316
0
            "missing %s init:%s", signature->type_name, desc);
317
0
        valid = 0;
318
0
    }
319
320
    /* Now we check for function combinations */
321
2.12k
    if (valid
322
2.12k
        && ((signature->sign_init != NULL
323
1.44k
                && signature->sign == NULL)
324
2.12k
            || (signature->sign_message_init != NULL
325
1.83k
                && signature->sign == NULL
326
0
                && (signature->sign_message_update == NULL
327
0
                    || signature->sign_message_final == NULL)))) {
328
        /* sign_init function(s) with no signing function?  That's weird */
329
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
330
0
            "missing %s signing function:%s", signature->type_name, desc);
331
0
        valid = 0;
332
0
    }
333
2.12k
    if (valid
334
2.12k
        && (signature->sign != NULL
335
144
            || signature->sign_message_update != NULL
336
144
            || signature->sign_message_final != NULL)
337
1.98k
        && signature->sign_init == NULL
338
540
        && signature->sign_message_init == NULL) {
339
        /* signing function(s) with no sign_init? That's odd */
340
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
341
0
            "missing %s sign_init or sign_message_init:%s", signature->type_name, desc);
342
0
        valid = 0;
343
0
    }
344
345
2.12k
    if (valid
346
2.12k
        && ((signature->verify_init != NULL
347
1.44k
                && signature->verify == NULL)
348
2.12k
            || (signature->verify_message_init != NULL
349
1.83k
                && signature->verify == NULL
350
0
                && (signature->verify_message_update == NULL
351
0
                    || signature->verify_message_final == NULL)))) {
352
        /* verify_init function(s) with no verification function?  That's weird */
353
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
354
0
            "missing %s verification function:%s", signature->type_name, desc);
355
0
        valid = 0;
356
0
    }
357
2.12k
    if (valid
358
2.12k
        && (signature->verify != NULL
359
144
            || signature->verify_message_update != NULL
360
144
            || signature->verify_message_final != NULL)
361
1.98k
        && signature->verify_init == NULL
362
540
        && signature->verify_message_init == NULL) {
363
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
364
0
            "missing %s verify_init or verify_message_init:%s",
365
0
            signature->type_name, desc);
366
        /* verification function(s) with no verify_init? That's odd */
367
0
        valid = 0;
368
0
    }
369
370
2.12k
    if (valid
371
2.12k
        && (signature->verify_recover_init != NULL)
372
504
        && (signature->verify_recover == NULL)) {
373
        /* verify_recover_init function with no verify_recover?  How quaint */
374
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
375
0
            "missing %s verify_recover:%s", signature->type_name, desc);
376
0
        valid = 0;
377
0
    }
378
379
2.12k
    if (valid
380
2.12k
        && (signature->digest_sign_init != NULL
381
900
            && signature->digest_sign == NULL
382
288
            && (signature->digest_sign_update == NULL
383
288
                || signature->digest_sign_final == NULL))) {
384
        /* You can't have a digest_sign_init without *some* performing functions */
385
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
386
0
            "missing %s digest_sign function:%s", signature->type_name, desc);
387
0
        valid = 0;
388
0
    }
389
390
2.12k
    if (valid
391
2.12k
        && ((signature->digest_verify_init != NULL
392
756
            && signature->digest_verify == NULL
393
144
            && (signature->digest_verify_update == NULL
394
144
                || signature->digest_verify_final == NULL)))) {
395
        /* You can't have a digest_verify_init without *some* performing functions */
396
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
397
0
            "missing %s digest_verify function:%s", signature->type_name, desc);
398
0
        valid = 0;
399
0
    }
400
401
2.12k
    if (!valid)
402
0
        goto err;
403
404
2.12k
    if ((signature->digest_sign != NULL
405
1.51k
            || signature->digest_sign_update != NULL
406
1.22k
            || signature->digest_sign_final != NULL)
407
900
        && signature->digest_sign_init == NULL) {
408
        /* digest signing function(s) with no digest_sign_init? That's odd */
409
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
410
0
            "missing %s digest_sign_init:%s", signature->type_name, desc);
411
0
        goto err;
412
0
    }
413
414
2.12k
    if ((signature->digest_verify != NULL
415
1.51k
            || signature->digest_verify_update != NULL
416
1.36k
            || signature->digest_verify_final != NULL)
417
756
        && signature->digest_verify_init == NULL) {
418
        /* digest verification function(s) with no digest_verify_init? That's odd */
419
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
420
0
            "missing %s digest_verify_init:%s", signature->type_name, desc);
421
0
        goto err;
422
0
    }
423
424
2.12k
    if ((signature->sign_message_update == NULL) != (signature->sign_message_final == NULL)) {
425
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
426
0
            "only one of %s message signing update and final available:%s",
427
0
            signature->type_name, desc);
428
0
        goto err;
429
0
    }
430
2.12k
    if ((signature->verify_message_update == NULL) != (signature->verify_message_final == NULL)) {
431
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
432
0
            "only one of %s message verification update and final available:%s",
433
0
            signature->type_name, desc);
434
0
        goto err;
435
0
    }
436
2.12k
    if ((signature->digest_sign_update == NULL) != (signature->digest_sign_final == NULL)) {
437
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
438
0
            "only one of %s digest signing update and final available:%s",
439
0
            signature->type_name, desc);
440
0
        goto err;
441
0
    }
442
2.12k
    if ((signature->digest_verify_update == NULL) != (signature->digest_verify_final == NULL)) {
443
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_INVALID_PROVIDER_FUNCTIONS,
444
0
            "only one of %s digest verification update and final available:%s",
445
0
            signature->type_name, desc);
446
0
        goto err;
447
0
    }
448
449
2.12k
    return signature;
450
0
err:
451
0
    EVP_SIGNATURE_free(signature);
452
0
    return NULL;
453
2.12k
}
454
455
void EVP_SIGNATURE_free(EVP_SIGNATURE *signature)
456
1.60M
{
457
1.60M
    int i;
458
459
1.60M
    if (signature == NULL)
460
115k
        return;
461
1.49M
    CRYPTO_DOWN_REF(&signature->refcnt, &i);
462
1.49M
    if (i > 0)
463
1.48M
        return;
464
1.59k
    OPENSSL_free(signature->type_name);
465
1.59k
    ossl_provider_free(signature->prov);
466
1.59k
    CRYPTO_FREE_REF(&signature->refcnt);
467
1.59k
    OPENSSL_free(signature);
468
1.59k
}
469
470
int EVP_SIGNATURE_up_ref(EVP_SIGNATURE *signature)
471
1.48M
{
472
1.48M
    int ref = 0;
473
474
1.48M
    CRYPTO_UP_REF(&signature->refcnt, &ref);
475
1.48M
    return 1;
476
1.48M
}
477
478
OSSL_PROVIDER *EVP_SIGNATURE_get0_provider(const EVP_SIGNATURE *signature)
479
169k
{
480
169k
    return signature->prov;
481
169k
}
482
483
EVP_SIGNATURE *EVP_SIGNATURE_fetch(OSSL_LIB_CTX *ctx, const char *algorithm,
484
    const char *properties)
485
494k
{
486
494k
    return evp_generic_fetch(ctx, OSSL_OP_SIGNATURE, algorithm, properties,
487
494k
        evp_signature_from_algorithm,
488
494k
        evp_signature_up_ref,
489
494k
        evp_signature_free);
490
494k
}
491
492
EVP_SIGNATURE *evp_signature_fetch_from_prov(OSSL_PROVIDER *prov,
493
    const char *algorithm,
494
    const char *properties)
495
0
{
496
0
    return evp_generic_fetch_from_prov(prov, OSSL_OP_SIGNATURE,
497
0
        algorithm, properties,
498
0
        evp_signature_from_algorithm,
499
0
        evp_signature_up_ref,
500
0
        evp_signature_free);
501
0
}
502
503
int EVP_SIGNATURE_is_a(const EVP_SIGNATURE *signature, const char *name)
504
2.77k
{
505
2.77k
    return signature != NULL
506
2.77k
        && evp_is_a(signature->prov, signature->name_id, NULL, name);
507
2.77k
}
508
509
int evp_signature_get_number(const EVP_SIGNATURE *signature)
510
0
{
511
0
    return signature->name_id;
512
0
}
513
514
const char *EVP_SIGNATURE_get0_name(const EVP_SIGNATURE *signature)
515
0
{
516
0
    return signature->type_name;
517
0
}
518
519
const char *EVP_SIGNATURE_get0_description(const EVP_SIGNATURE *signature)
520
0
{
521
0
    return signature->description;
522
0
}
523
524
void EVP_SIGNATURE_do_all_provided(OSSL_LIB_CTX *libctx,
525
    void (*fn)(EVP_SIGNATURE *signature,
526
        void *arg),
527
    void *arg)
528
8
{
529
8
    evp_generic_do_all(libctx, OSSL_OP_SIGNATURE,
530
8
        (void (*)(void *, void *))fn, arg,
531
8
        evp_signature_from_algorithm,
532
8
        evp_signature_up_ref,
533
8
        evp_signature_free);
534
8
}
535
536
int EVP_SIGNATURE_names_do_all(const EVP_SIGNATURE *signature,
537
    void (*fn)(const char *name, void *data),
538
    void *data)
539
0
{
540
0
    if (signature->prov != NULL)
541
0
        return evp_names_do_all(signature->prov, signature->name_id, fn, data);
542
543
0
    return 1;
544
0
}
545
546
const OSSL_PARAM *EVP_SIGNATURE_gettable_ctx_params(const EVP_SIGNATURE *sig)
547
0
{
548
0
    void *provctx;
549
550
0
    if (sig == NULL || sig->gettable_ctx_params == NULL)
551
0
        return NULL;
552
553
0
    provctx = ossl_provider_ctx(EVP_SIGNATURE_get0_provider(sig));
554
0
    return sig->gettable_ctx_params(NULL, provctx);
555
0
}
556
557
const OSSL_PARAM *EVP_SIGNATURE_settable_ctx_params(const EVP_SIGNATURE *sig)
558
108
{
559
108
    void *provctx;
560
561
108
    if (sig == NULL || sig->settable_ctx_params == NULL)
562
0
        return NULL;
563
564
108
    provctx = ossl_provider_ctx(EVP_SIGNATURE_get0_provider(sig));
565
108
    return sig->settable_ctx_params(NULL, provctx);
566
108
}
567
568
static int evp_pkey_signature_init(EVP_PKEY_CTX *ctx, EVP_SIGNATURE *signature,
569
    int operation, const OSSL_PARAM params[])
570
1.82k
{
571
1.82k
    const char *desc;
572
1.82k
    int ret = 0;
573
1.82k
    void *provkey = NULL;
574
1.82k
    EVP_KEYMGMT *tmp_keymgmt = NULL;
575
1.82k
    const OSSL_PROVIDER *tmp_prov = NULL;
576
1.82k
    const char *supported_sig = NULL;
577
1.82k
    int iter;
578
579
1.82k
    if (ctx == NULL) {
580
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
581
0
        return -1;
582
0
    }
583
584
1.82k
    evp_pkey_ctx_free_old_ops(ctx);
585
1.82k
    ctx->operation = operation;
586
587
1.82k
    if (signature != NULL) {
588
        /*
589
         * It's important to figure out what the key type should be, and if
590
         * that is what we have in ctx.
591
         */
592
593
1.82k
        EVP_KEYMGMT *tmp_keymgmt_tofree = NULL;
594
595
1.82k
        if (ctx->pkey == NULL) {
596
0
            ERR_raise(ERR_LIB_EVP, EVP_R_NO_KEY_SET);
597
0
            goto err;
598
0
        }
599
600
        /*
601
         * Ensure that the key is provided, either natively, or as a
602
         * cached export.  We start by fetching the keymgmt with the same
603
         * name as |ctx->pkey|, but from the provider of the signature
604
         * method, using the same property query as when fetching the
605
         * signature method.  With the keymgmt we found (if we did), we
606
         * try to export |ctx->pkey| to it (evp_pkey_export_to_provider()
607
         * is smart enough to only actually export it if |tmp_keymgmt|
608
         * is different from |ctx->pkey|'s keymgmt)
609
         */
610
1.82k
        tmp_prov = EVP_SIGNATURE_get0_provider(signature);
611
1.82k
        tmp_keymgmt_tofree = tmp_keymgmt = evp_keymgmt_fetch_from_prov((OSSL_PROVIDER *)tmp_prov,
612
1.82k
            EVP_KEYMGMT_get0_name(ctx->keymgmt),
613
1.82k
            ctx->propquery);
614
1.82k
        if (tmp_keymgmt != NULL)
615
1.82k
            provkey = evp_pkey_export_to_provider(ctx->pkey, ctx->libctx,
616
1.82k
                &tmp_keymgmt, ctx->propquery);
617
1.82k
        if (tmp_keymgmt == NULL)
618
0
            EVP_KEYMGMT_free(tmp_keymgmt_tofree);
619
620
1.82k
        if (provkey == NULL)
621
0
            goto end;
622
623
        /*
624
         * Check that the signature matches the given key.  This is not
625
         * designed to work with legacy keys, so has to be done after we've
626
         * ensured that the key is at least exported to a provider (above).
627
         */
628
1.82k
        if (signature->query_key_types != NULL) {
629
            /* This is expected to be a NULL-terminated array */
630
0
            const char **keytypes;
631
632
0
            keytypes = signature->query_key_types();
633
0
            for (; *keytypes != NULL; keytypes++)
634
0
                if (EVP_PKEY_CTX_is_a(ctx, *keytypes))
635
0
                    break;
636
0
            if (*keytypes == NULL) {
637
0
                ERR_raise(ERR_LIB_EVP, EVP_R_SIGNATURE_TYPE_AND_KEY_TYPE_INCOMPATIBLE);
638
0
                return -2;
639
0
            }
640
1.82k
        } else {
641
            /*
642
             * Fallback 1:
643
             * check if the keytype is the same as the signature algorithm name
644
             */
645
1.82k
            const char *keytype = EVP_KEYMGMT_get0_name(ctx->keymgmt);
646
1.82k
            int ok = EVP_SIGNATURE_is_a(signature, keytype);
647
648
            /*
649
             * Fallback 2:
650
             * query the pkey for a default signature algorithm name, and check
651
             * if it matches the signature implementation
652
             */
653
1.82k
            if (!ok) {
654
0
                const char *signame
655
0
                    = evp_keymgmt_util_query_operation_name(ctx->keymgmt,
656
0
                        OSSL_OP_SIGNATURE);
657
658
0
                ok = EVP_SIGNATURE_is_a(signature, signame);
659
0
            }
660
661
            /* If none of the fallbacks helped, we're lost */
662
1.82k
            if (!ok) {
663
0
                ERR_raise(ERR_LIB_EVP, EVP_R_SIGNATURE_TYPE_AND_KEY_TYPE_INCOMPATIBLE);
664
0
                return -2;
665
0
            }
666
1.82k
        }
667
668
1.82k
        if (!EVP_SIGNATURE_up_ref(signature))
669
0
            return 0;
670
1.82k
    } else {
671
        /* Without a pre-fetched signature, it must be figured out somehow */
672
0
        ERR_set_mark();
673
674
0
        if (evp_pkey_ctx_is_legacy(ctx))
675
0
            goto legacy;
676
677
0
        if (ctx->pkey == NULL) {
678
0
            ERR_clear_last_mark();
679
0
            ERR_raise(ERR_LIB_EVP, EVP_R_NO_KEY_SET);
680
0
            goto err;
681
0
        }
682
683
        /*
684
         * Try to derive the supported signature from |ctx->keymgmt|.
685
         */
686
0
        if (!ossl_assert(ctx->pkey->keymgmt == NULL
687
0
                || ctx->pkey->keymgmt == ctx->keymgmt)) {
688
0
            ERR_clear_last_mark();
689
0
            ERR_raise(ERR_LIB_EVP, ERR_R_INTERNAL_ERROR);
690
0
            goto err;
691
0
        }
692
0
        supported_sig
693
0
            = evp_keymgmt_util_query_operation_name(ctx->keymgmt,
694
0
                OSSL_OP_SIGNATURE);
695
0
        if (supported_sig == NULL) {
696
0
            ERR_clear_last_mark();
697
0
            ERR_raise(ERR_LIB_EVP, EVP_R_INITIALIZATION_ERROR);
698
0
            goto err;
699
0
        }
700
701
        /*
702
         * We perform two iterations:
703
         *
704
         * 1.  Do the normal signature fetch, using the fetching data given by
705
         *     the EVP_PKEY_CTX.
706
         * 2.  Do the provider specific signature fetch, from the same provider
707
         *     as |ctx->keymgmt|
708
         *
709
         * We then try to fetch the keymgmt from the same provider as the
710
         * signature, and try to export |ctx->pkey| to that keymgmt (when
711
         * this keymgmt happens to be the same as |ctx->keymgmt|, the export
712
         * is a no-op, but we call it anyway to not complicate the code even
713
         * more).
714
         * If the export call succeeds (returns a non-NULL provider key pointer),
715
         * we're done and can perform the operation itself.  If not, we perform
716
         * the second iteration, or jump to legacy.
717
         */
718
0
        for (iter = 1; iter < 3 && provkey == NULL; iter++) {
719
0
            EVP_KEYMGMT *tmp_keymgmt_tofree = NULL;
720
721
            /*
722
             * If we're on the second iteration, free the results from the first.
723
             * They are NULL on the first iteration, so no need to check what
724
             * iteration we're on.
725
             */
726
0
            EVP_SIGNATURE_free(signature);
727
0
            EVP_KEYMGMT_free(tmp_keymgmt);
728
729
0
            switch (iter) {
730
0
            case 1:
731
0
                signature = EVP_SIGNATURE_fetch(ctx->libctx, supported_sig, ctx->propquery);
732
0
                if (signature != NULL)
733
0
                    tmp_prov = EVP_SIGNATURE_get0_provider(signature);
734
0
                break;
735
0
            case 2:
736
0
                tmp_prov = EVP_KEYMGMT_get0_provider(ctx->keymgmt);
737
0
                signature = evp_signature_fetch_from_prov((OSSL_PROVIDER *)tmp_prov,
738
0
                    supported_sig, ctx->propquery);
739
0
                if (signature == NULL)
740
0
                    goto legacy;
741
0
                break;
742
0
            }
743
0
            if (signature == NULL)
744
0
                continue;
745
746
            /*
747
             * Ensure that the key is provided, either natively, or as a
748
             * cached export.  We start by fetching the keymgmt with the same
749
             * name as |ctx->pkey|, but from the provider of the signature
750
             * method, using the same property query as when fetching the
751
             * signature method.  With the keymgmt we found (if we did), we
752
             * try to export |ctx->pkey| to it (evp_pkey_export_to_provider()
753
             * is smart enough to only actually export it if |tmp_keymgmt|
754
             * is different from |ctx->pkey|'s keymgmt)
755
             */
756
0
            tmp_keymgmt_tofree = tmp_keymgmt = evp_keymgmt_fetch_from_prov((OSSL_PROVIDER *)tmp_prov,
757
0
                EVP_KEYMGMT_get0_name(ctx->keymgmt),
758
0
                ctx->propquery);
759
0
            if (tmp_keymgmt != NULL)
760
0
                provkey = evp_pkey_export_to_provider(ctx->pkey, ctx->libctx,
761
0
                    &tmp_keymgmt, ctx->propquery);
762
0
            if (tmp_keymgmt == NULL)
763
0
                EVP_KEYMGMT_free(tmp_keymgmt_tofree);
764
0
        }
765
766
0
        if (provkey == NULL) {
767
0
            EVP_SIGNATURE_free(signature);
768
0
            goto legacy;
769
0
        }
770
771
0
        ERR_pop_to_mark();
772
0
    }
773
774
    /* No more legacy from here down to legacy: */
775
776
1.82k
    ctx->op.sig.signature = signature;
777
1.82k
    desc = signature->description != NULL ? signature->description : "";
778
779
1.82k
    ctx->op.sig.algctx = signature->newctx(ossl_provider_ctx(signature->prov), ctx->propquery);
780
1.82k
    if (ctx->op.sig.algctx == NULL) {
781
        /* The provider key can stay in the cache */
782
0
        ERR_raise(ERR_LIB_EVP, EVP_R_INITIALIZATION_ERROR);
783
0
        goto err;
784
0
    }
785
786
1.82k
    switch (operation) {
787
0
    case EVP_PKEY_OP_SIGN:
788
0
        if (signature->sign_init == NULL) {
789
0
            ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
790
0
                "%s sign_init:%s", signature->type_name, desc);
791
0
            ret = -2;
792
0
            goto err;
793
0
        }
794
0
        ret = signature->sign_init(ctx->op.sig.algctx, provkey, params);
795
0
        break;
796
953
    case EVP_PKEY_OP_SIGNMSG:
797
953
        if (signature->sign_message_init == NULL) {
798
0
            ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
799
0
                "%s sign_message_init:%s", signature->type_name, desc);
800
0
            ret = -2;
801
0
            goto err;
802
0
        }
803
953
        ret = signature->sign_message_init(ctx->op.sig.algctx, provkey, params);
804
953
        break;
805
0
    case EVP_PKEY_OP_VERIFY:
806
0
        if (signature->verify_init == NULL) {
807
0
            ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
808
0
                "%s verify_init:%s", signature->type_name, desc);
809
0
            ret = -2;
810
0
            goto err;
811
0
        }
812
0
        ret = signature->verify_init(ctx->op.sig.algctx, provkey, params);
813
0
        break;
814
876
    case EVP_PKEY_OP_VERIFYMSG:
815
876
        if (signature->verify_message_init == NULL) {
816
0
            ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
817
0
                "%s verify_message_init:%s", signature->type_name, desc);
818
0
            ret = -2;
819
0
            goto err;
820
0
        }
821
876
        ret = signature->verify_message_init(ctx->op.sig.algctx, provkey, params);
822
876
        break;
823
0
    case EVP_PKEY_OP_VERIFYRECOVER:
824
0
        if (signature->verify_recover_init == NULL) {
825
0
            ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
826
0
                "%s verify_recover_init:%s", signature->type_name, desc);
827
0
            ret = -2;
828
0
            goto err;
829
0
        }
830
0
        ret = signature->verify_recover_init(ctx->op.sig.algctx, provkey, params);
831
0
        break;
832
0
    default:
833
0
        ERR_raise(ERR_LIB_EVP, EVP_R_INITIALIZATION_ERROR);
834
0
        goto err;
835
1.82k
    }
836
837
1.82k
    if (ret <= 0) {
838
77
        signature->freectx(ctx->op.sig.algctx);
839
77
        ctx->op.sig.algctx = NULL;
840
77
        goto err;
841
77
    }
842
1.75k
    goto end;
843
844
1.75k
legacy:
845
    /*
846
     * If we don't have the full support we need with provided methods,
847
     * let's go see if legacy does.
848
     */
849
0
    ERR_pop_to_mark();
850
0
    EVP_KEYMGMT_free(tmp_keymgmt);
851
0
    tmp_keymgmt = NULL;
852
853
0
    if (ctx->pmeth == NULL
854
0
        || (operation == EVP_PKEY_OP_SIGN && ctx->pmeth->sign == NULL)
855
0
        || (operation == EVP_PKEY_OP_VERIFY && ctx->pmeth->verify == NULL)
856
0
        || (operation == EVP_PKEY_OP_VERIFYRECOVER
857
0
            && ctx->pmeth->verify_recover == NULL)) {
858
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE);
859
0
        return -2;
860
0
    }
861
862
0
    switch (operation) {
863
0
    case EVP_PKEY_OP_SIGN:
864
0
        if (ctx->pmeth->sign_init == NULL)
865
0
            return 1;
866
0
        ret = ctx->pmeth->sign_init(ctx);
867
0
        break;
868
0
    case EVP_PKEY_OP_VERIFY:
869
0
        if (ctx->pmeth->verify_init == NULL)
870
0
            return 1;
871
0
        ret = ctx->pmeth->verify_init(ctx);
872
0
        break;
873
0
    case EVP_PKEY_OP_VERIFYRECOVER:
874
0
        if (ctx->pmeth->verify_recover_init == NULL)
875
0
            return 1;
876
0
        ret = ctx->pmeth->verify_recover_init(ctx);
877
0
        break;
878
0
    default:
879
0
        ERR_raise(ERR_LIB_EVP, EVP_R_INITIALIZATION_ERROR);
880
0
        goto err;
881
0
    }
882
0
    if (ret <= 0)
883
0
        goto err;
884
1.75k
end:
885
1.75k
#ifndef FIPS_MODULE
886
1.75k
    if (ret > 0)
887
1.75k
        ret = evp_pkey_ctx_use_cached_data(ctx);
888
1.75k
#endif
889
890
1.75k
    EVP_KEYMGMT_free(tmp_keymgmt);
891
1.75k
    return ret;
892
77
err:
893
77
    evp_pkey_ctx_free_old_ops(ctx);
894
77
    ctx->operation = EVP_PKEY_OP_UNDEFINED;
895
77
    EVP_KEYMGMT_free(tmp_keymgmt);
896
77
    return ret;
897
0
}
898
899
int EVP_PKEY_sign_init(EVP_PKEY_CTX *ctx)
900
0
{
901
0
    return evp_pkey_signature_init(ctx, NULL, EVP_PKEY_OP_SIGN, NULL);
902
0
}
903
904
int EVP_PKEY_sign_init_ex(EVP_PKEY_CTX *ctx, const OSSL_PARAM params[])
905
0
{
906
0
    return evp_pkey_signature_init(ctx, NULL, EVP_PKEY_OP_SIGN, params);
907
0
}
908
909
int EVP_PKEY_sign_init_ex2(EVP_PKEY_CTX *ctx,
910
    EVP_SIGNATURE *algo, const OSSL_PARAM params[])
911
0
{
912
0
    return evp_pkey_signature_init(ctx, algo, EVP_PKEY_OP_SIGN, params);
913
0
}
914
915
int EVP_PKEY_sign_message_init(EVP_PKEY_CTX *ctx,
916
    EVP_SIGNATURE *algo, const OSSL_PARAM params[])
917
1.44k
{
918
1.44k
    return evp_pkey_signature_init(ctx, algo, EVP_PKEY_OP_SIGNMSG, params);
919
1.44k
}
920
921
int EVP_PKEY_sign_message_update(EVP_PKEY_CTX *ctx,
922
    const unsigned char *in, size_t inlen)
923
0
{
924
0
    EVP_SIGNATURE *signature;
925
0
    const char *desc;
926
0
    int ret;
927
928
0
    if (ctx == NULL) {
929
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
930
0
        return -1;
931
0
    }
932
933
0
    if (ctx->operation != EVP_PKEY_OP_SIGNMSG) {
934
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
935
0
        return -1;
936
0
    }
937
938
0
    signature = ctx->op.sig.signature;
939
0
    desc = signature->description != NULL ? signature->description : "";
940
0
    if (signature->sign_message_update == NULL) {
941
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
942
0
            "%s sign_message_update:%s", signature->type_name, desc);
943
0
        return -2;
944
0
    }
945
946
0
    ret = signature->sign_message_update(ctx->op.sig.algctx, in, inlen);
947
0
    if (ret <= 0)
948
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_FAILURE,
949
0
            "%s sign_message_update:%s", signature->type_name, desc);
950
0
    return ret;
951
0
}
952
953
int EVP_PKEY_sign_message_final(EVP_PKEY_CTX *ctx,
954
    unsigned char *sig, size_t *siglen)
955
0
{
956
0
    EVP_SIGNATURE *signature;
957
0
    const char *desc;
958
0
    int ret;
959
960
0
    if (ctx == NULL) {
961
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
962
0
        return -1;
963
0
    }
964
965
0
    if (ctx->operation != EVP_PKEY_OP_SIGNMSG) {
966
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
967
0
        return -1;
968
0
    }
969
970
0
    signature = ctx->op.sig.signature;
971
0
    desc = signature->description != NULL ? signature->description : "";
972
0
    if (signature->sign_message_final == NULL) {
973
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
974
0
            "%s sign_message_final:%s", signature->type_name, desc);
975
0
        return -2;
976
0
    }
977
978
0
    ret = signature->sign_message_final(ctx->op.sig.algctx, sig, siglen,
979
0
        (sig == NULL) ? 0 : *siglen);
980
0
    if (ret <= 0)
981
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_FAILURE,
982
0
            "%s sign_message_final:%s", signature->type_name, desc);
983
0
    return ret;
984
0
}
985
986
int EVP_PKEY_sign(EVP_PKEY_CTX *ctx,
987
    unsigned char *sig, size_t *siglen,
988
    const unsigned char *tbs, size_t tbslen)
989
1.75k
{
990
1.75k
    EVP_SIGNATURE *signature;
991
1.75k
    const char *desc;
992
1.75k
    int ret;
993
994
1.75k
    if (ctx == NULL) {
995
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
996
0
        return -1;
997
0
    }
998
999
1.75k
    if (ctx->operation != EVP_PKEY_OP_SIGN
1000
1.75k
        && ctx->operation != EVP_PKEY_OP_SIGNMSG) {
1001
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
1002
0
        return -1;
1003
0
    }
1004
1005
1.75k
    if (ctx->op.sig.algctx == NULL)
1006
0
        goto legacy;
1007
1008
1.75k
    signature = ctx->op.sig.signature;
1009
1.75k
    desc = signature->description != NULL ? signature->description : "";
1010
1.75k
    if (signature->sign == NULL) {
1011
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
1012
0
            "%s sign:%s", signature->type_name, desc);
1013
0
        return -2;
1014
0
    }
1015
1016
1.75k
    ret = signature->sign(ctx->op.sig.algctx, sig, siglen,
1017
1.75k
        (sig == NULL) ? 0 : *siglen, tbs, tbslen);
1018
1.75k
    if (ret <= 0)
1019
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_FAILURE,
1020
0
            "%s sign:%s", signature->type_name, desc);
1021
1.75k
    return ret;
1022
0
legacy:
1023
1024
0
    if (ctx->pmeth == NULL || ctx->pmeth->sign == NULL) {
1025
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE);
1026
0
        return -2;
1027
0
    }
1028
1029
0
    M_check_autoarg(ctx, sig, siglen, EVP_F_EVP_PKEY_SIGN) return ctx->pmeth->sign(ctx, sig, siglen, tbs, tbslen);
1030
0
}
1031
1032
int EVP_PKEY_verify_init(EVP_PKEY_CTX *ctx)
1033
0
{
1034
0
    return evp_pkey_signature_init(ctx, NULL, EVP_PKEY_OP_VERIFY, NULL);
1035
0
}
1036
1037
int EVP_PKEY_verify_init_ex(EVP_PKEY_CTX *ctx, const OSSL_PARAM params[])
1038
0
{
1039
0
    return evp_pkey_signature_init(ctx, NULL, EVP_PKEY_OP_VERIFY, params);
1040
0
}
1041
1042
int EVP_PKEY_verify_init_ex2(EVP_PKEY_CTX *ctx,
1043
    EVP_SIGNATURE *algo, const OSSL_PARAM params[])
1044
0
{
1045
0
    return evp_pkey_signature_init(ctx, algo, EVP_PKEY_OP_VERIFY, params);
1046
0
}
1047
1048
int EVP_PKEY_verify_message_init(EVP_PKEY_CTX *ctx,
1049
    EVP_SIGNATURE *algo, const OSSL_PARAM params[])
1050
1.32k
{
1051
1.32k
    return evp_pkey_signature_init(ctx, algo, EVP_PKEY_OP_VERIFYMSG, params);
1052
1.32k
}
1053
1054
int EVP_PKEY_CTX_set_signature(EVP_PKEY_CTX *ctx,
1055
    const unsigned char *sig, size_t siglen)
1056
0
{
1057
0
    OSSL_PARAM sig_params[2], *p = sig_params;
1058
1059
0
    if (ctx == NULL) {
1060
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
1061
0
        return 0;
1062
0
    }
1063
1064
0
    *p++ = OSSL_PARAM_construct_octet_string(OSSL_SIGNATURE_PARAM_SIGNATURE,
1065
        /*
1066
         * Cast away the const. This is
1067
         * read only so should be safe
1068
         */
1069
0
        (char *)sig, siglen);
1070
0
    *p = OSSL_PARAM_construct_end();
1071
1072
0
    return EVP_PKEY_CTX_set_params(ctx, sig_params);
1073
0
}
1074
1075
int EVP_PKEY_verify_message_update(EVP_PKEY_CTX *ctx,
1076
    const unsigned char *in, size_t inlen)
1077
0
{
1078
0
    EVP_SIGNATURE *signature;
1079
0
    const char *desc;
1080
0
    int ret;
1081
1082
0
    if (ctx == NULL) {
1083
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
1084
0
        return -1;
1085
0
    }
1086
1087
0
    if (ctx->operation != EVP_PKEY_OP_VERIFYMSG) {
1088
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
1089
0
        return -1;
1090
0
    }
1091
1092
0
    signature = ctx->op.sig.signature;
1093
0
    desc = signature->description != NULL ? signature->description : "";
1094
0
    if (signature->verify_message_update == NULL) {
1095
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
1096
0
            "%s verify_message_update:%s", signature->type_name, desc);
1097
0
        return -2;
1098
0
    }
1099
1100
0
    ret = signature->verify_message_update(ctx->op.sig.algctx, in, inlen);
1101
0
    if (ret <= 0)
1102
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_FAILURE,
1103
0
            "%s verify_message_update:%s", signature->type_name, desc);
1104
0
    return ret;
1105
0
}
1106
1107
int EVP_PKEY_verify_message_final(EVP_PKEY_CTX *ctx)
1108
0
{
1109
0
    EVP_SIGNATURE *signature;
1110
0
    const char *desc;
1111
0
    int ret;
1112
1113
0
    if (ctx == NULL) {
1114
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
1115
0
        return -1;
1116
0
    }
1117
1118
0
    if (ctx->operation != EVP_PKEY_OP_VERIFYMSG) {
1119
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
1120
0
        return -1;
1121
0
    }
1122
1123
0
    signature = ctx->op.sig.signature;
1124
0
    desc = signature->description != NULL ? signature->description : "";
1125
0
    if (signature->verify_message_final == NULL) {
1126
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
1127
0
            "%s verify_message_final:%s", signature->type_name, desc);
1128
0
        return -2;
1129
0
    }
1130
1131
    /* The signature must have been set with EVP_PKEY_CTX_set_signature() */
1132
0
    ret = signature->verify_message_final(ctx->op.sig.algctx);
1133
0
    if (ret <= 0)
1134
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_FAILURE,
1135
0
            "%s verify_message_final:%s", signature->type_name, desc);
1136
0
    return ret;
1137
0
}
1138
1139
int EVP_PKEY_verify(EVP_PKEY_CTX *ctx,
1140
    const unsigned char *sig, size_t siglen,
1141
    const unsigned char *tbs, size_t tbslen)
1142
876
{
1143
876
    EVP_SIGNATURE *signature;
1144
876
    const char *desc;
1145
876
    int ret;
1146
1147
876
    if (ctx == NULL) {
1148
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
1149
0
        return -1;
1150
0
    }
1151
1152
876
    if (ctx->operation != EVP_PKEY_OP_VERIFY
1153
876
        && ctx->operation != EVP_PKEY_OP_VERIFYMSG) {
1154
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
1155
0
        return -1;
1156
0
    }
1157
1158
876
    if (ctx->op.sig.algctx == NULL)
1159
0
        goto legacy;
1160
1161
876
    signature = ctx->op.sig.signature;
1162
876
    desc = signature->description != NULL ? signature->description : "";
1163
876
    if (signature->verify == NULL) {
1164
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
1165
0
            "%s verify:%s", signature->type_name, desc);
1166
0
        return -2;
1167
0
    }
1168
1169
876
    ret = ctx->op.sig.signature->verify(ctx->op.sig.algctx, sig, siglen,
1170
876
        tbs, tbslen);
1171
876
    if (ret <= 0)
1172
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_FAILURE,
1173
0
            "%s verify:%s", signature->type_name, desc);
1174
1175
876
    return ret;
1176
0
legacy:
1177
0
    if (ctx->pmeth == NULL || ctx->pmeth->verify == NULL) {
1178
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE);
1179
0
        return -2;
1180
0
    }
1181
1182
0
    return ctx->pmeth->verify(ctx, sig, siglen, tbs, tbslen);
1183
0
}
1184
1185
int EVP_PKEY_verify_recover_init(EVP_PKEY_CTX *ctx)
1186
0
{
1187
0
    return evp_pkey_signature_init(ctx, NULL, EVP_PKEY_OP_VERIFYRECOVER, NULL);
1188
0
}
1189
1190
int EVP_PKEY_verify_recover_init_ex(EVP_PKEY_CTX *ctx,
1191
    const OSSL_PARAM params[])
1192
0
{
1193
0
    return evp_pkey_signature_init(ctx, NULL, EVP_PKEY_OP_VERIFYRECOVER, params);
1194
0
}
1195
1196
int EVP_PKEY_verify_recover_init_ex2(EVP_PKEY_CTX *ctx,
1197
    EVP_SIGNATURE *algo, const OSSL_PARAM params[])
1198
0
{
1199
0
    return evp_pkey_signature_init(ctx, algo, EVP_PKEY_OP_VERIFYRECOVER, params);
1200
0
}
1201
1202
int EVP_PKEY_verify_recover(EVP_PKEY_CTX *ctx,
1203
    unsigned char *rout, size_t *routlen,
1204
    const unsigned char *sig, size_t siglen)
1205
0
{
1206
0
    EVP_SIGNATURE *signature;
1207
0
    const char *desc;
1208
0
    int ret;
1209
1210
0
    if (ctx == NULL) {
1211
0
        ERR_raise(ERR_LIB_EVP, ERR_R_PASSED_NULL_PARAMETER);
1212
0
        return -1;
1213
0
    }
1214
1215
0
    if (ctx->operation != EVP_PKEY_OP_VERIFYRECOVER) {
1216
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_INITIALIZED);
1217
0
        return -1;
1218
0
    }
1219
1220
0
    if (ctx->op.sig.algctx == NULL)
1221
0
        goto legacy;
1222
1223
0
    signature = ctx->op.sig.signature;
1224
0
    desc = signature->description != NULL ? signature->description : "";
1225
0
    if (signature->verify_recover == NULL) {
1226
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_NOT_SUPPORTED,
1227
0
            "%s verify_recover:%s", signature->type_name, desc);
1228
0
        return -2;
1229
0
    }
1230
1231
0
    ret = signature->verify_recover(ctx->op.sig.algctx, rout, routlen,
1232
0
        (rout == NULL ? 0 : *routlen), sig, siglen);
1233
0
    if (ret <= 0)
1234
0
        ERR_raise_data(ERR_LIB_EVP, EVP_R_PROVIDER_SIGNATURE_FAILURE,
1235
0
            "%s verify_recover:%s", signature->type_name, desc);
1236
0
    return ret;
1237
0
legacy:
1238
0
    if (ctx->pmeth == NULL || ctx->pmeth->verify_recover == NULL) {
1239
0
        ERR_raise(ERR_LIB_EVP, EVP_R_OPERATION_NOT_SUPPORTED_FOR_THIS_KEYTYPE);
1240
0
        return -2;
1241
0
    }
1242
0
    M_check_autoarg(ctx, rout, routlen, EVP_F_EVP_PKEY_VERIFY_RECOVER) return ctx->pmeth->verify_recover(ctx, rout, routlen, sig, siglen);
1243
0
}