Coverage Report

Created: 2025-12-31 06:58

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl33/crypto/engine/eng_dyn.c
Line
Count
Source
1
/*
2
 * Copyright 2001-2022 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
/* We need to use some engine deprecated APIs */
11
#define OPENSSL_SUPPRESS_DEPRECATED
12
13
#include "eng_local.h"
14
#include "internal/dso.h"
15
#include <openssl/crypto.h>
16
17
/*
18
 * Shared libraries implementing ENGINEs for use by the "dynamic" ENGINE
19
 * loader should implement the hook-up functions with the following
20
 * prototypes.
21
 */
22
23
/* Our ENGINE handlers */
24
static int dynamic_init(ENGINE *e);
25
static int dynamic_finish(ENGINE *e);
26
static int dynamic_ctrl(ENGINE *e, int cmd, long i, void *p,
27
    void (*f)(void));
28
/* Predeclare our context type */
29
typedef struct st_dynamic_data_ctx dynamic_data_ctx;
30
/* The implementation for the important control command */
31
static int dynamic_load(ENGINE *e, dynamic_data_ctx *ctx);
32
33
0
#define DYNAMIC_CMD_SO_PATH ENGINE_CMD_BASE
34
0
#define DYNAMIC_CMD_NO_VCHECK (ENGINE_CMD_BASE + 1)
35
0
#define DYNAMIC_CMD_ID (ENGINE_CMD_BASE + 2)
36
0
#define DYNAMIC_CMD_LIST_ADD (ENGINE_CMD_BASE + 3)
37
0
#define DYNAMIC_CMD_DIR_LOAD (ENGINE_CMD_BASE + 4)
38
0
#define DYNAMIC_CMD_DIR_ADD (ENGINE_CMD_BASE + 5)
39
0
#define DYNAMIC_CMD_LOAD (ENGINE_CMD_BASE + 6)
40
41
/* The constants used when creating the ENGINE */
42
static const char *engine_dynamic_id = "dynamic";
43
static const char *engine_dynamic_name = "Dynamic engine loading support";
44
static const ENGINE_CMD_DEFN dynamic_cmd_defns[] = {
45
    { DYNAMIC_CMD_SO_PATH,
46
        "SO_PATH",
47
        "Specifies the path to the new ENGINE shared library",
48
        ENGINE_CMD_FLAG_STRING },
49
    { DYNAMIC_CMD_NO_VCHECK,
50
        "NO_VCHECK",
51
        "Specifies to continue even if version checking fails (boolean)",
52
        ENGINE_CMD_FLAG_NUMERIC },
53
    { DYNAMIC_CMD_ID,
54
        "ID",
55
        "Specifies an ENGINE id name for loading",
56
        ENGINE_CMD_FLAG_STRING },
57
    { DYNAMIC_CMD_LIST_ADD,
58
        "LIST_ADD",
59
        "Whether to add a loaded ENGINE to the internal list (0=no,1=yes,2=mandatory)",
60
        ENGINE_CMD_FLAG_NUMERIC },
61
    { DYNAMIC_CMD_DIR_LOAD,
62
        "DIR_LOAD",
63
        "Specifies whether to load from 'DIR_ADD' directories (0=no,1=yes,2=mandatory)",
64
        ENGINE_CMD_FLAG_NUMERIC },
65
    { DYNAMIC_CMD_DIR_ADD,
66
        "DIR_ADD",
67
        "Adds a directory from which ENGINEs can be loaded",
68
        ENGINE_CMD_FLAG_STRING },
69
    { DYNAMIC_CMD_LOAD,
70
        "LOAD",
71
        "Load up the ENGINE specified by other settings",
72
        ENGINE_CMD_FLAG_NO_INPUT },
73
    { 0, NULL, NULL, 0 }
74
};
75
76
/*
77
 * Loading code stores state inside the ENGINE structure via the "ex_data"
78
 * element. We load all our state into a single structure and use that as a
79
 * single context in the "ex_data" stack.
80
 */
81
struct st_dynamic_data_ctx {
82
    /* The DSO object we load that supplies the ENGINE code */
83
    DSO *dynamic_dso;
84
    /*
85
     * The function pointer to the version checking shared library function
86
     */
87
    dynamic_v_check_fn v_check;
88
    /*
89
     * The function pointer to the engine-binding shared library function
90
     */
91
    dynamic_bind_engine bind_engine;
92
    /* The default name/path for loading the shared library */
93
    char *DYNAMIC_LIBNAME;
94
    /* Whether to continue loading on a version check failure */
95
    int no_vcheck;
96
    /* If non-NULL, stipulates the 'id' of the ENGINE to be loaded */
97
    char *engine_id;
98
    /*
99
     * If non-zero, a successfully loaded ENGINE should be added to the
100
     * internal ENGINE list. If 2, the add must succeed or the entire load
101
     * should fail.
102
     */
103
    int list_add_value;
104
    /* The symbol name for the version checking function */
105
    const char *DYNAMIC_F1;
106
    /* The symbol name for the "initialise ENGINE structure" function */
107
    const char *DYNAMIC_F2;
108
    /*
109
     * Whether to never use 'dirs', use 'dirs' as a fallback, or only use
110
     * 'dirs' for loading. Default is to use 'dirs' as a fallback.
111
     */
112
    int dir_load;
113
    /* A stack of directories from which ENGINEs could be loaded */
114
    STACK_OF(OPENSSL_STRING) *dirs;
115
};
116
117
/*
118
 * This is the "ex_data" index we obtain and reserve for use with our context
119
 * structure.
120
 */
121
static int dynamic_ex_data_idx = -1;
122
123
static void int_free_str(char *s)
124
0
{
125
0
    OPENSSL_free(s);
126
0
}
127
128
/*
129
 * Because our ex_data element may or may not get allocated depending on
130
 * whether a "first-use" occurs before the ENGINE is freed, we have a memory
131
 * leak problem to solve. We can't declare a "new" handler for the ex_data as
132
 * we don't want a dynamic_data_ctx in *all* ENGINE structures of all types
133
 * (this is a bug in the design of CRYPTO_EX_DATA). As such, we just declare
134
 * a "free" handler and that will get called if an ENGINE is being destroyed
135
 * and there was an ex_data element corresponding to our context type.
136
 */
137
static void dynamic_data_ctx_free_func(void *parent, void *ptr,
138
    CRYPTO_EX_DATA *ad, int idx, long argl,
139
    void *argp)
140
0
{
141
0
    if (ptr) {
142
0
        dynamic_data_ctx *ctx = (dynamic_data_ctx *)ptr;
143
0
        DSO_free(ctx->dynamic_dso);
144
0
        OPENSSL_free(ctx->DYNAMIC_LIBNAME);
145
0
        OPENSSL_free(ctx->engine_id);
146
0
        sk_OPENSSL_STRING_pop_free(ctx->dirs, int_free_str);
147
0
        OPENSSL_free(ctx);
148
0
    }
149
0
}
150
151
/*
152
 * Construct the per-ENGINE context. We create it blindly and then use a lock
153
 * to check for a race - if so, all but one of the threads "racing" will have
154
 * wasted their time. The alternative involves creating everything inside the
155
 * lock which is far worse.
156
 */
157
static int dynamic_set_data_ctx(ENGINE *e, dynamic_data_ctx **ctx)
158
0
{
159
0
    dynamic_data_ctx *c = OPENSSL_zalloc(sizeof(*c));
160
0
    int ret = 0;
161
162
0
    if (c == NULL)
163
0
        return 0;
164
0
    c->dirs = sk_OPENSSL_STRING_new_null();
165
0
    if (c->dirs == NULL) {
166
0
        ERR_raise(ERR_LIB_ENGINE, ERR_R_CRYPTO_LIB);
167
0
        goto end;
168
0
    }
169
0
    c->DYNAMIC_F1 = "v_check";
170
0
    c->DYNAMIC_F2 = "bind_engine";
171
0
    c->dir_load = 1;
172
0
    if (!CRYPTO_THREAD_write_lock(global_engine_lock))
173
0
        goto end;
174
0
    if ((*ctx = (dynamic_data_ctx *)ENGINE_get_ex_data(e,
175
0
             dynamic_ex_data_idx))
176
0
        == NULL) {
177
        /* Good, we're the first */
178
0
        ret = ENGINE_set_ex_data(e, dynamic_ex_data_idx, c);
179
0
        if (ret) {
180
0
            *ctx = c;
181
0
            c = NULL;
182
0
        }
183
0
    }
184
0
    CRYPTO_THREAD_unlock(global_engine_lock);
185
0
    ret = 1;
186
    /*
187
     * If we lost the race to set the context, c is non-NULL and *ctx is the
188
     * context of the thread that won.
189
     */
190
0
end:
191
0
    if (c != NULL)
192
0
        sk_OPENSSL_STRING_free(c->dirs);
193
0
    OPENSSL_free(c);
194
0
    return ret;
195
0
}
196
197
/*
198
 * This function retrieves the context structure from an ENGINE's "ex_data",
199
 * or if it doesn't exist yet, sets it up.
200
 */
201
static dynamic_data_ctx *dynamic_get_data_ctx(ENGINE *e)
202
0
{
203
0
    dynamic_data_ctx *ctx;
204
0
    if (dynamic_ex_data_idx < 0) {
205
        /*
206
         * Create and register the ENGINE ex_data, and associate our "free"
207
         * function with it to ensure any allocated contexts get freed when
208
         * an ENGINE goes underground.
209
         */
210
0
        int new_idx = ENGINE_get_ex_new_index(0, NULL, NULL, NULL,
211
0
            dynamic_data_ctx_free_func);
212
0
        if (new_idx == -1) {
213
0
            ERR_raise(ERR_LIB_ENGINE, ENGINE_R_NO_INDEX);
214
0
            return NULL;
215
0
        }
216
0
        if (!CRYPTO_THREAD_write_lock(global_engine_lock))
217
0
            return NULL;
218
        /* Avoid a race by checking again inside this lock */
219
0
        if (dynamic_ex_data_idx < 0) {
220
            /* Good, someone didn't beat us to it */
221
0
            dynamic_ex_data_idx = new_idx;
222
0
            new_idx = -1;
223
0
        }
224
0
        CRYPTO_THREAD_unlock(global_engine_lock);
225
        /*
226
         * In theory we could "give back" the index here if (new_idx>-1), but
227
         * it's not possible and wouldn't gain us much if it were.
228
         */
229
0
    }
230
0
    ctx = (dynamic_data_ctx *)ENGINE_get_ex_data(e, dynamic_ex_data_idx);
231
    /* Check if the context needs to be created */
232
0
    if ((ctx == NULL) && !dynamic_set_data_ctx(e, &ctx))
233
        /* "set_data" will set errors if necessary */
234
0
        return NULL;
235
0
    return ctx;
236
0
}
237
238
static ENGINE *engine_dynamic(void)
239
0
{
240
0
    ENGINE *ret = ENGINE_new();
241
0
    if (ret == NULL)
242
0
        return NULL;
243
0
    if (!ENGINE_set_id(ret, engine_dynamic_id) || !ENGINE_set_name(ret, engine_dynamic_name) || !ENGINE_set_init_function(ret, dynamic_init) || !ENGINE_set_finish_function(ret, dynamic_finish) || !ENGINE_set_ctrl_function(ret, dynamic_ctrl) || !ENGINE_set_flags(ret, ENGINE_FLAGS_BY_ID_COPY) || !ENGINE_set_cmd_defns(ret, dynamic_cmd_defns)) {
244
0
        ENGINE_free(ret);
245
0
        return NULL;
246
0
    }
247
0
    return ret;
248
0
}
249
250
void engine_load_dynamic_int(void)
251
0
{
252
0
    ENGINE *toadd = engine_dynamic();
253
0
    if (!toadd)
254
0
        return;
255
256
0
    ERR_set_mark();
257
0
    ENGINE_add(toadd);
258
    /*
259
     * If the "add" worked, it gets a structural reference. So either way, we
260
     * release our just-created reference.
261
     */
262
0
    ENGINE_free(toadd);
263
    /*
264
     * If the "add" didn't work, it was probably a conflict because it was
265
     * already added (eg. someone calling ENGINE_load_blah then calling
266
     * ENGINE_load_builtin_engines() perhaps).
267
     */
268
0
    ERR_pop_to_mark();
269
0
}
270
271
static int dynamic_init(ENGINE *e)
272
0
{
273
    /*
274
     * We always return failure - the "dynamic" engine itself can't be used
275
     * for anything.
276
     */
277
0
    return 0;
278
0
}
279
280
static int dynamic_finish(ENGINE *e)
281
0
{
282
    /*
283
     * This should never be called on account of "dynamic_init" always
284
     * failing.
285
     */
286
0
    return 0;
287
0
}
288
289
static int dynamic_ctrl(ENGINE *e, int cmd, long i, void *p, void (*f)(void))
290
0
{
291
0
    dynamic_data_ctx *ctx = dynamic_get_data_ctx(e);
292
0
    int initialised;
293
294
0
    if (!ctx) {
295
0
        ERR_raise(ERR_LIB_ENGINE, ENGINE_R_NOT_LOADED);
296
0
        return 0;
297
0
    }
298
0
    initialised = ((ctx->dynamic_dso == NULL) ? 0 : 1);
299
    /* All our control commands require the ENGINE to be uninitialised */
300
0
    if (initialised) {
301
0
        ERR_raise(ERR_LIB_ENGINE, ENGINE_R_ALREADY_LOADED);
302
0
        return 0;
303
0
    }
304
0
    switch (cmd) {
305
0
    case DYNAMIC_CMD_SO_PATH:
306
        /* a NULL 'p' or a string of zero-length is the same thing */
307
0
        if (p && (strlen((const char *)p) < 1))
308
0
            p = NULL;
309
0
        OPENSSL_free(ctx->DYNAMIC_LIBNAME);
310
0
        if (p)
311
0
            ctx->DYNAMIC_LIBNAME = OPENSSL_strdup(p);
312
0
        else
313
0
            ctx->DYNAMIC_LIBNAME = NULL;
314
0
        return (ctx->DYNAMIC_LIBNAME ? 1 : 0);
315
0
    case DYNAMIC_CMD_NO_VCHECK:
316
0
        ctx->no_vcheck = ((i == 0) ? 0 : 1);
317
0
        return 1;
318
0
    case DYNAMIC_CMD_ID:
319
        /* a NULL 'p' or a string of zero-length is the same thing */
320
0
        if (p && (strlen((const char *)p) < 1))
321
0
            p = NULL;
322
0
        OPENSSL_free(ctx->engine_id);
323
0
        if (p)
324
0
            ctx->engine_id = OPENSSL_strdup(p);
325
0
        else
326
0
            ctx->engine_id = NULL;
327
0
        return (ctx->engine_id ? 1 : 0);
328
0
    case DYNAMIC_CMD_LIST_ADD:
329
0
        if ((i < 0) || (i > 2)) {
330
0
            ERR_raise(ERR_LIB_ENGINE, ENGINE_R_INVALID_ARGUMENT);
331
0
            return 0;
332
0
        }
333
0
        ctx->list_add_value = (int)i;
334
0
        return 1;
335
0
    case DYNAMIC_CMD_LOAD:
336
0
        return dynamic_load(e, ctx);
337
0
    case DYNAMIC_CMD_DIR_LOAD:
338
0
        if ((i < 0) || (i > 2)) {
339
0
            ERR_raise(ERR_LIB_ENGINE, ENGINE_R_INVALID_ARGUMENT);
340
0
            return 0;
341
0
        }
342
0
        ctx->dir_load = (int)i;
343
0
        return 1;
344
0
    case DYNAMIC_CMD_DIR_ADD:
345
        /* a NULL 'p' or a string of zero-length is the same thing */
346
0
        if (p == NULL || (strlen((const char *)p) < 1)) {
347
0
            ERR_raise(ERR_LIB_ENGINE, ENGINE_R_INVALID_ARGUMENT);
348
0
            return 0;
349
0
        }
350
0
        {
351
0
            char *tmp_str = OPENSSL_strdup(p);
352
0
            if (tmp_str == NULL)
353
0
                return 0;
354
0
            if (!sk_OPENSSL_STRING_push(ctx->dirs, tmp_str)) {
355
0
                OPENSSL_free(tmp_str);
356
0
                ERR_raise(ERR_LIB_ENGINE, ERR_R_CRYPTO_LIB);
357
0
                return 0;
358
0
            }
359
0
        }
360
0
        return 1;
361
0
    default:
362
0
        break;
363
0
    }
364
0
    ERR_raise(ERR_LIB_ENGINE, ENGINE_R_CTRL_COMMAND_NOT_IMPLEMENTED);
365
0
    return 0;
366
0
}
367
368
static int int_load(dynamic_data_ctx *ctx)
369
0
{
370
0
    int num, loop;
371
    /* Unless told not to, try a direct load */
372
0
    if ((ctx->dir_load != 2) && (DSO_load(ctx->dynamic_dso, ctx->DYNAMIC_LIBNAME, NULL, 0)) != NULL)
373
0
        return 1;
374
    /* If we're not allowed to use 'dirs' or we have none, fail */
375
0
    if (!ctx->dir_load || (num = sk_OPENSSL_STRING_num(ctx->dirs)) < 1)
376
0
        return 0;
377
0
    for (loop = 0; loop < num; loop++) {
378
0
        const char *s = sk_OPENSSL_STRING_value(ctx->dirs, loop);
379
0
        char *merge = DSO_merge(ctx->dynamic_dso, ctx->DYNAMIC_LIBNAME, s);
380
0
        if (!merge)
381
0
            return 0;
382
0
        if (DSO_load(ctx->dynamic_dso, merge, NULL, 0)) {
383
            /* Found what we're looking for */
384
0
            OPENSSL_free(merge);
385
0
            return 1;
386
0
        }
387
0
        OPENSSL_free(merge);
388
0
    }
389
0
    return 0;
390
0
}
391
392
/*
393
 * Unfortunately the version checker does not distinguish between
394
 * engines built for openssl 1.1.x and openssl 3.x, but loading
395
 * an engine that is built for openssl 1.1.x will cause a fatal
396
 * error.  Detect such engines, since EVP_PKEY_base_id is exported
397
 * as a function in openssl 1.1.x, while it is named EVP_PKEY_get_base_id
398
 * in openssl 3.x.  Therefore we take the presence of that symbol
399
 * as an indication that the engine will be incompatible.
400
 */
401
static int using_libcrypto_11(dynamic_data_ctx *ctx)
402
0
{
403
0
    int ret;
404
405
0
    ERR_set_mark();
406
0
    ret = DSO_bind_func(ctx->dynamic_dso, "EVP_PKEY_base_id") != NULL;
407
0
    ERR_pop_to_mark();
408
409
0
    return ret;
410
0
}
411
412
static int dynamic_load(ENGINE *e, dynamic_data_ctx *ctx)
413
0
{
414
0
    ENGINE cpy;
415
0
    dynamic_fns fns;
416
417
0
    if (ctx->dynamic_dso == NULL)
418
0
        ctx->dynamic_dso = DSO_new();
419
0
    if (ctx->dynamic_dso == NULL)
420
0
        return 0;
421
0
    if (!ctx->DYNAMIC_LIBNAME) {
422
0
        if (!ctx->engine_id)
423
0
            return 0;
424
0
        DSO_ctrl(ctx->dynamic_dso, DSO_CTRL_SET_FLAGS,
425
0
            DSO_FLAG_NAME_TRANSLATION_EXT_ONLY, NULL);
426
0
        ctx->DYNAMIC_LIBNAME = DSO_convert_filename(ctx->dynamic_dso, ctx->engine_id);
427
0
    }
428
0
    if (!int_load(ctx)) {
429
0
        ERR_raise(ERR_LIB_ENGINE, ENGINE_R_DSO_NOT_FOUND);
430
0
        DSO_free(ctx->dynamic_dso);
431
0
        ctx->dynamic_dso = NULL;
432
0
        return 0;
433
0
    }
434
    /* We have to find a bind function otherwise it'll always end badly */
435
0
    if (!(ctx->bind_engine = (dynamic_bind_engine)DSO_bind_func(ctx->dynamic_dso,
436
0
              ctx->DYNAMIC_F2))) {
437
0
        ctx->bind_engine = NULL;
438
0
        DSO_free(ctx->dynamic_dso);
439
0
        ctx->dynamic_dso = NULL;
440
0
        ERR_raise(ERR_LIB_ENGINE, ENGINE_R_DSO_FAILURE);
441
0
        return 0;
442
0
    }
443
    /* Do we perform version checking? */
444
0
    if (!ctx->no_vcheck) {
445
0
        unsigned long vcheck_res = 0;
446
        /*
447
         * Now we try to find a version checking function and decide how to
448
         * cope with failure if/when it fails.
449
         */
450
0
        ctx->v_check = (dynamic_v_check_fn)DSO_bind_func(ctx->dynamic_dso,
451
0
            ctx->DYNAMIC_F1);
452
0
        if (ctx->v_check)
453
0
            vcheck_res = ctx->v_check(OSSL_DYNAMIC_VERSION);
454
        /*
455
         * We fail if the version checker veto'd the load *or* if it is
456
         * deferring to us (by returning its version) and we think it is too
457
         * old. Also fail if this is engine for openssl 1.1.x.
458
         */
459
0
        if (vcheck_res < OSSL_DYNAMIC_OLDEST || using_libcrypto_11(ctx)) {
460
            /* Fail */
461
0
            ctx->bind_engine = NULL;
462
0
            ctx->v_check = NULL;
463
0
            DSO_free(ctx->dynamic_dso);
464
0
            ctx->dynamic_dso = NULL;
465
0
            ERR_raise(ERR_LIB_ENGINE, ENGINE_R_VERSION_INCOMPATIBILITY);
466
0
            return 0;
467
0
        }
468
0
    }
469
    /*
470
     * First binary copy the ENGINE structure so that we can roll back if the
471
     * hand-over fails
472
     */
473
0
    memcpy(&cpy, e, sizeof(ENGINE));
474
    /*
475
     * Provide the ERR, "ex_data", memory, and locking callbacks so the
476
     * loaded library uses our state rather than its own. FIXME: As noted in
477
     * engine.h, much of this would be simplified if each area of code
478
     * provided its own "summary" structure of all related callbacks. It
479
     * would also increase opaqueness.
480
     */
481
0
    fns.static_state = ENGINE_get_static_state();
482
0
    CRYPTO_get_mem_functions(&fns.mem_fns.malloc_fn, &fns.mem_fns.realloc_fn,
483
0
        &fns.mem_fns.free_fn);
484
    /*
485
     * Now that we've loaded the dynamic engine, make sure no "dynamic"
486
     * ENGINE elements will show through.
487
     */
488
0
    engine_set_all_null(e);
489
490
    /* Try to bind the ENGINE onto our own ENGINE structure */
491
0
    if (!engine_add_dynamic_id(e, (ENGINE_DYNAMIC_ID)ctx->bind_engine, 1)
492
0
        || !ctx->bind_engine(e, ctx->engine_id, &fns)) {
493
0
        engine_remove_dynamic_id(e, 1);
494
0
        ctx->bind_engine = NULL;
495
0
        ctx->v_check = NULL;
496
0
        DSO_free(ctx->dynamic_dso);
497
0
        ctx->dynamic_dso = NULL;
498
0
        ERR_raise(ERR_LIB_ENGINE, ENGINE_R_INIT_FAILED);
499
        /* Copy the original ENGINE structure back */
500
0
        memcpy(e, &cpy, sizeof(ENGINE));
501
0
        return 0;
502
0
    }
503
    /* Do we try to add this ENGINE to the internal list too? */
504
0
    if (ctx->list_add_value > 0) {
505
0
        if (!ENGINE_add(e)) {
506
            /* Do we tolerate this or fail? */
507
0
            if (ctx->list_add_value > 1) {
508
                /*
509
                 * Fail - NB: By this time, it's too late to rollback, and
510
                 * trying to do so allows the bind_engine() code to have
511
                 * created leaks. We just have to fail where we are, after
512
                 * the ENGINE has changed.
513
                 */
514
0
                ERR_raise(ERR_LIB_ENGINE, ENGINE_R_CONFLICTING_ENGINE_ID);
515
0
                return 0;
516
0
            }
517
            /* Tolerate */
518
0
            ERR_clear_error();
519
0
        }
520
0
    }
521
0
    return 1;
522
0
}