Coverage Report

Created: 2025-11-16 06:40

next uncovered line (L), next uncovered region (R), next uncovered branch (B)
/src/openssl33/crypto/asn1/tasn_prn.c
Line
Count
Source
1
/*
2
 * Copyright 2000-2021 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 <stddef.h>
11
#include "internal/cryptlib.h"
12
#include <openssl/asn1.h>
13
#include <openssl/asn1t.h>
14
#include <openssl/objects.h>
15
#include <openssl/buffer.h>
16
#include <openssl/err.h>
17
#include <openssl/x509v3.h>
18
#include "crypto/asn1.h"
19
#include "asn1_local.h"
20
21
/*
22
 * Print routines.
23
 */
24
25
/* ASN1_PCTX routines */
26
27
static ASN1_PCTX default_pctx = {
28
    ASN1_PCTX_FLAGS_SHOW_ABSENT, /* flags */
29
    0,                          /* nm_flags */
30
    0,                          /* cert_flags */
31
    0,                          /* oid_flags */
32
    0                           /* str_flags */
33
};
34
35
ASN1_PCTX *ASN1_PCTX_new(void)
36
22
{
37
22
    ASN1_PCTX *ret;
38
39
22
    ret = OPENSSL_zalloc(sizeof(*ret));
40
22
    if (ret == NULL)
41
0
        return NULL;
42
22
    return ret;
43
22
}
44
45
void ASN1_PCTX_free(ASN1_PCTX *p)
46
0
{
47
0
    OPENSSL_free(p);
48
0
}
49
50
unsigned long ASN1_PCTX_get_flags(const ASN1_PCTX *p)
51
0
{
52
0
    return p->flags;
53
0
}
54
55
void ASN1_PCTX_set_flags(ASN1_PCTX *p, unsigned long flags)
56
22
{
57
22
    p->flags = flags;
58
22
}
59
60
unsigned long ASN1_PCTX_get_nm_flags(const ASN1_PCTX *p)
61
0
{
62
0
    return p->nm_flags;
63
0
}
64
65
void ASN1_PCTX_set_nm_flags(ASN1_PCTX *p, unsigned long flags)
66
0
{
67
0
    p->nm_flags = flags;
68
0
}
69
70
unsigned long ASN1_PCTX_get_cert_flags(const ASN1_PCTX *p)
71
0
{
72
0
    return p->cert_flags;
73
0
}
74
75
void ASN1_PCTX_set_cert_flags(ASN1_PCTX *p, unsigned long flags)
76
0
{
77
0
    p->cert_flags = flags;
78
0
}
79
80
unsigned long ASN1_PCTX_get_oid_flags(const ASN1_PCTX *p)
81
0
{
82
0
    return p->oid_flags;
83
0
}
84
85
void ASN1_PCTX_set_oid_flags(ASN1_PCTX *p, unsigned long flags)
86
0
{
87
0
    p->oid_flags = flags;
88
0
}
89
90
unsigned long ASN1_PCTX_get_str_flags(const ASN1_PCTX *p)
91
0
{
92
0
    return p->str_flags;
93
0
}
94
95
void ASN1_PCTX_set_str_flags(ASN1_PCTX *p, unsigned long flags)
96
22
{
97
22
    p->str_flags = flags;
98
22
}
99
100
/* Main print routines */
101
102
static int asn1_item_print_ctx(BIO *out, const ASN1_VALUE **fld, int indent,
103
                               const ASN1_ITEM *it,
104
                               const char *fname, const char *sname,
105
                               int nohdr, const ASN1_PCTX *pctx);
106
107
static int asn1_template_print_ctx(BIO *out, const ASN1_VALUE **fld, int indent,
108
                            const ASN1_TEMPLATE *tt, const ASN1_PCTX *pctx);
109
110
static int asn1_primitive_print(BIO *out, const ASN1_VALUE **fld,
111
                                const ASN1_ITEM *it, int indent,
112
                                const char *fname, const char *sname,
113
                                const ASN1_PCTX *pctx);
114
115
static int asn1_print_fsname(BIO *out, int indent,
116
                             const char *fname, const char *sname,
117
                             const ASN1_PCTX *pctx);
118
119
int ASN1_item_print(BIO *out, const ASN1_VALUE *ifld, int indent,
120
                    const ASN1_ITEM *it, const ASN1_PCTX *pctx)
121
379k
{
122
379k
    const char *sname;
123
379k
    if (pctx == NULL)
124
38.5k
        pctx = &default_pctx;
125
379k
    if (pctx->flags & ASN1_PCTX_FLAGS_NO_STRUCT_NAME)
126
0
        sname = NULL;
127
379k
    else
128
379k
        sname = it->sname;
129
379k
    return asn1_item_print_ctx(out, &ifld, indent, it, NULL, sname, 0, pctx);
130
379k
}
131
132
static int asn1_item_print_ctx(BIO *out, const ASN1_VALUE **fld, int indent,
133
                               const ASN1_ITEM *it,
134
                               const char *fname, const char *sname,
135
                               int nohdr, const ASN1_PCTX *pctx)
136
7.37M
{
137
7.37M
    const ASN1_TEMPLATE *tt;
138
7.37M
    const ASN1_EXTERN_FUNCS *ef;
139
7.37M
    const ASN1_VALUE **tmpfld;
140
7.37M
    const ASN1_AUX *aux = it->funcs;
141
7.37M
    ASN1_aux_const_cb *asn1_cb = NULL;
142
7.37M
    ASN1_PRINT_ARG parg;
143
7.37M
    int i;
144
7.37M
    if (aux != NULL) {
145
718k
        parg.out = out;
146
718k
        parg.indent = indent;
147
718k
        parg.pctx = pctx;
148
718k
        asn1_cb = ((aux->flags & ASN1_AFLG_CONST_CB) != 0) ? aux->asn1_const_cb
149
718k
            : (ASN1_aux_const_cb *)aux->asn1_cb; /* backward compatibility */
150
718k
    }
151
152
7.37M
   if (((it->itype != ASN1_ITYPE_PRIMITIVE)
153
7.34M
       || (it->utype != V_ASN1_BOOLEAN)) && *fld == NULL) {
154
1.69M
        if (pctx->flags & ASN1_PCTX_FLAGS_SHOW_ABSENT) {
155
1.69M
            if (!nohdr && !asn1_print_fsname(out, indent, fname, sname, pctx))
156
0
                return 0;
157
1.69M
            if (BIO_puts(out, "<ABSENT>\n") <= 0)
158
0
                return 0;
159
1.69M
        }
160
1.69M
        return 1;
161
1.69M
    }
162
163
5.67M
    switch (it->itype) {
164
4.40M
    case ASN1_ITYPE_PRIMITIVE:
165
4.40M
        if (it->templates) {
166
102k
            if (!asn1_template_print_ctx(out, fld, indent,
167
102k
                                         it->templates, pctx))
168
5.58k
                return 0;
169
96.7k
            break;
170
102k
        }
171
        /* fall through */
172
4.36M
    case ASN1_ITYPE_MSTRING:
173
4.36M
        if (!asn1_primitive_print(out, fld, it, indent, fname, sname, pctx))
174
36.1k
            return 0;
175
4.32M
        break;
176
177
4.32M
    case ASN1_ITYPE_EXTERN:
178
139k
        if (!nohdr && !asn1_print_fsname(out, indent, fname, sname, pctx))
179
0
            return 0;
180
        /* Use new style print routine if possible */
181
139k
        ef = it->funcs;
182
139k
        if (ef && ef->asn1_ex_print) {
183
139k
            i = ef->asn1_ex_print(out, fld, indent, "", pctx);
184
139k
            if (!i)
185
1.24k
                return 0;
186
137k
            if ((i == 2) && (BIO_puts(out, "\n") <= 0))
187
0
                return 0;
188
137k
            return 1;
189
137k
        } else if (sname &&
190
0
                   BIO_printf(out, ":EXTERNAL TYPE %s\n", sname) <= 0)
191
0
            return 0;
192
0
        break;
193
194
225k
    case ASN1_ITYPE_CHOICE:
195
        /* CHOICE type, get selector */
196
225k
        i = ossl_asn1_get_choice_selector_const(fld, it);
197
        /* This should never happen... */
198
225k
        if ((i < 0) || (i >= it->tcount)) {
199
0
            if (BIO_printf(out, "ERROR: selector [%d] invalid\n", i) <= 0)
200
0
                return 0;
201
0
            return 1;
202
0
        }
203
225k
        tt = it->templates + i;
204
225k
        tmpfld = ossl_asn1_get_const_field_ptr(fld, tt);
205
225k
        if (!asn1_template_print_ctx(out, tmpfld, indent, tt, pctx))
206
13.1k
            return 0;
207
212k
        break;
208
209
828k
    case ASN1_ITYPE_SEQUENCE:
210
845k
    case ASN1_ITYPE_NDEF_SEQUENCE:
211
845k
        if (!nohdr && !asn1_print_fsname(out, indent, fname, sname, pctx))
212
0
            return 0;
213
845k
        if (fname || sname) {
214
499k
            if (pctx->flags & ASN1_PCTX_FLAGS_SHOW_SEQUENCE) {
215
90.8k
                if (BIO_puts(out, " {\n") <= 0)
216
0
                    return 0;
217
409k
            } else {
218
409k
                if (BIO_puts(out, "\n") <= 0)
219
0
                    return 0;
220
409k
            }
221
499k
        }
222
223
845k
        if (asn1_cb) {
224
93.0k
            i = asn1_cb(ASN1_OP_PRINT_PRE, fld, it, &parg);
225
93.0k
            if (i == 0)
226
0
                return 0;
227
93.0k
            if (i == 2)
228
0
                return 1;
229
93.0k
        }
230
231
        /* Print each field entry */
232
4.29M
        for (i = 0, tt = it->templates; i < it->tcount; i++, tt++) {
233
3.49M
            const ASN1_TEMPLATE *seqtt;
234
3.49M
            seqtt = ossl_asn1_do_adb(*fld, tt, 1);
235
3.49M
            if (!seqtt)
236
0
                return 0;
237
3.49M
            tmpfld = ossl_asn1_get_const_field_ptr(fld, seqtt);
238
3.49M
            if (!asn1_template_print_ctx(out, tmpfld,
239
3.49M
                                         indent + 2, seqtt, pctx))
240
51.7k
                return 0;
241
3.49M
        }
242
793k
        if (pctx->flags & ASN1_PCTX_FLAGS_SHOW_SEQUENCE) {
243
192k
            if (BIO_printf(out, "%*s}\n", indent, "") < 0)
244
0
                return 0;
245
192k
        }
246
247
793k
        if (asn1_cb) {
248
67.0k
            i = asn1_cb(ASN1_OP_PRINT_POST, fld, it, &parg);
249
67.0k
            if (i == 0)
250
0
                return 0;
251
67.0k
        }
252
793k
        break;
253
254
793k
    default:
255
0
        BIO_printf(out, "Unprocessed type %d\n", it->itype);
256
0
        return 0;
257
5.67M
    }
258
259
5.43M
    return 1;
260
5.67M
}
261
262
static int asn1_template_print_ctx(BIO *out, const ASN1_VALUE **fld, int indent,
263
                            const ASN1_TEMPLATE *tt, const ASN1_PCTX *pctx)
264
3.82M
{
265
3.82M
    int i, flags;
266
3.82M
    const char *sname, *fname;
267
3.82M
    const ASN1_VALUE *tfld;
268
3.82M
    flags = tt->flags;
269
3.82M
    if (pctx->flags & ASN1_PCTX_FLAGS_SHOW_FIELD_STRUCT_NAME)
270
678k
        sname = ASN1_ITEM_ptr(tt->item)->sname;
271
3.14M
    else
272
3.14M
        sname = NULL;
273
3.82M
    if (pctx->flags & ASN1_PCTX_FLAGS_NO_FIELD_NAME)
274
0
        fname = NULL;
275
3.82M
    else
276
3.82M
        fname = tt->field_name;
277
278
    /*
279
     * If field is embedded then fld needs fixing so it is a pointer to
280
     * a pointer to a field.
281
     */
282
3.82M
    if (flags & ASN1_TFLG_EMBED) {
283
65.7k
        tfld = (const ASN1_VALUE *)fld;
284
65.7k
        fld = &tfld;
285
65.7k
    }
286
287
3.82M
    if (flags & ASN1_TFLG_SK_MASK) {
288
457k
        char *tname;
289
457k
        const ASN1_VALUE *skitem;
290
457k
        STACK_OF(const_ASN1_VALUE) *stack;
291
292
        /* SET OF, SEQUENCE OF */
293
457k
        if (fname) {
294
457k
            if (pctx->flags & ASN1_PCTX_FLAGS_SHOW_SSOF) {
295
134k
                if (flags & ASN1_TFLG_SET_OF)
296
23.7k
                    tname = "SET";
297
110k
                else
298
110k
                    tname = "SEQUENCE";
299
134k
                if (BIO_printf(out, "%*s%s OF %s {\n",
300
134k
                               indent, "", tname, tt->field_name) <= 0)
301
0
                    return 0;
302
323k
            } else if (BIO_printf(out, "%*s%s:\n", indent, "", fname) <= 0)
303
0
                return 0;
304
457k
        }
305
457k
        stack = (STACK_OF(const_ASN1_VALUE) *)*fld;
306
4.07M
        for (i = 0; i < sk_const_ASN1_VALUE_num(stack); i++) {
307
3.62M
            if ((i > 0) && (BIO_puts(out, "\n") <= 0))
308
0
                return 0;
309
310
3.62M
            skitem = sk_const_ASN1_VALUE_value(stack, i);
311
3.62M
            if (!asn1_item_print_ctx(out, &skitem, indent + 2,
312
3.62M
                                     ASN1_ITEM_ptr(tt->item), NULL, NULL, 1,
313
3.62M
                                     pctx))
314
9.16k
                return 0;
315
3.62M
        }
316
448k
        if (i == 0 && BIO_printf(out, "%*s<%s>\n", indent + 2, "",
317
375k
                                 stack == NULL ? "ABSENT" : "EMPTY") <= 0)
318
0
            return 0;
319
448k
        if (pctx->flags & ASN1_PCTX_FLAGS_SHOW_SEQUENCE) {
320
129k
            if (BIO_printf(out, "%*s}\n", indent, "") <= 0)
321
0
                return 0;
322
129k
        }
323
448k
        return 1;
324
448k
    }
325
3.36M
    return asn1_item_print_ctx(out, fld, indent, ASN1_ITEM_ptr(tt->item),
326
3.36M
                               fname, sname, 0, pctx);
327
3.82M
}
328
329
static int asn1_print_fsname(BIO *out, int indent,
330
                             const char *fname, const char *sname,
331
                             const ASN1_PCTX *pctx)
332
6.69M
{
333
6.69M
    static const char spaces[] = "                    ";
334
6.69M
    static const int nspaces = sizeof(spaces) - 1;
335
336
6.75M
    while (indent > nspaces) {
337
58.0k
        if (BIO_write(out, spaces, nspaces) != nspaces)
338
0
            return 0;
339
58.0k
        indent -= nspaces;
340
58.0k
    }
341
6.69M
    if (BIO_write(out, spaces, indent) != indent)
342
0
        return 0;
343
6.69M
    if (pctx->flags & ASN1_PCTX_FLAGS_NO_STRUCT_NAME)
344
0
        sname = NULL;
345
6.69M
    if (pctx->flags & ASN1_PCTX_FLAGS_NO_FIELD_NAME)
346
0
        fname = NULL;
347
6.69M
    if (!sname && !fname)
348
3.21M
        return 1;
349
3.48M
    if (fname) {
350
3.15M
        if (BIO_puts(out, fname) <= 0)
351
0
            return 0;
352
3.15M
    }
353
3.48M
    if (sname) {
354
861k
        if (fname) {
355
534k
            if (BIO_printf(out, " (%s)", sname) <= 0)
356
0
                return 0;
357
534k
        } else {
358
326k
            if (BIO_puts(out, sname) <= 0)
359
0
                return 0;
360
326k
        }
361
861k
    }
362
3.48M
    if (BIO_write(out, ": ", 2) != 2)
363
0
        return 0;
364
3.48M
    return 1;
365
3.48M
}
366
367
static int asn1_print_boolean(BIO *out, int boolval)
368
29.9k
{
369
29.9k
    const char *str;
370
29.9k
    switch (boolval) {
371
7.34k
    case -1:
372
7.34k
        str = "BOOL ABSENT";
373
7.34k
        break;
374
375
11.1k
    case 0:
376
11.1k
        str = "FALSE";
377
11.1k
        break;
378
379
11.4k
    default:
380
11.4k
        str = "TRUE";
381
11.4k
        break;
382
383
29.9k
    }
384
385
29.9k
    if (BIO_puts(out, str) <= 0)
386
0
        return 0;
387
29.9k
    return 1;
388
389
29.9k
}
390
391
static int asn1_print_integer(BIO *out, const ASN1_INTEGER *str)
392
3.05M
{
393
3.05M
    char *s;
394
3.05M
    int ret = 1;
395
3.05M
    s = i2s_ASN1_INTEGER(NULL, str);
396
3.05M
    if (s == NULL)
397
452
        return 0;
398
3.05M
    if (BIO_puts(out, s) <= 0)
399
0
        ret = 0;
400
3.05M
    OPENSSL_free(s);
401
3.05M
    return ret;
402
3.05M
}
403
404
static int asn1_print_oid(BIO *out, const ASN1_OBJECT *oid)
405
337k
{
406
337k
    char objbuf[80];
407
337k
    const char *ln;
408
337k
    ln = OBJ_nid2ln(OBJ_obj2nid(oid));
409
337k
    if (!ln)
410
0
        ln = "";
411
337k
    OBJ_obj2txt(objbuf, sizeof(objbuf), oid, 1);
412
337k
    if (BIO_printf(out, "%s (%s)", ln, objbuf) <= 0)
413
0
        return 0;
414
337k
    return 1;
415
337k
}
416
417
static int asn1_print_obstring(BIO *out, const ASN1_STRING *str, int indent)
418
216k
{
419
216k
    if (str->type == V_ASN1_BIT_STRING) {
420
104k
        if (BIO_printf(out, " (%ld unused bits)\n", str->flags & 0x7) <= 0)
421
0
            return 0;
422
111k
    } else if (BIO_puts(out, "\n") <= 0)
423
0
        return 0;
424
216k
    if ((str->length > 0)
425
127k
        && BIO_dump_indent(out, (const char *)str->data, str->length,
426
127k
                           indent + 2) <= 0)
427
0
        return 0;
428
216k
    return 1;
429
216k
}
430
431
static int asn1_primitive_print(BIO *out, const ASN1_VALUE **fld,
432
                                const ASN1_ITEM *it, int indent,
433
                                const char *fname, const char *sname,
434
                                const ASN1_PCTX *pctx)
435
4.36M
{
436
4.36M
    long utype;
437
4.36M
    ASN1_STRING *str;
438
4.36M
    int ret = 1, needlf = 1;
439
4.36M
    const char *pname;
440
4.36M
    const ASN1_PRIMITIVE_FUNCS *pf;
441
4.36M
    pf = it->funcs;
442
4.36M
    if (!asn1_print_fsname(out, indent, fname, sname, pctx))
443
0
        return 0;
444
4.36M
    if (pf && pf->prim_print)
445
139k
        return pf->prim_print(out, fld, it, indent, pctx);
446
4.22M
    if (it->itype == ASN1_ITYPE_MSTRING) {
447
57.0k
        str = (ASN1_STRING *)*fld;
448
57.0k
        utype = str->type & ~V_ASN1_NEG;
449
4.16M
    } else {
450
4.16M
        utype = it->utype;
451
4.16M
        if (utype == V_ASN1_BOOLEAN)
452
24.6k
            str = NULL;
453
4.14M
        else
454
4.14M
            str = (ASN1_STRING *)*fld;
455
4.16M
    }
456
4.22M
    if (utype == V_ASN1_ANY) {
457
553k
        const ASN1_TYPE *atype = (const ASN1_TYPE *)*fld;
458
553k
        utype = atype->type;
459
553k
        fld = (const ASN1_VALUE **)&atype->value.asn1_value; /* actually is const */
460
553k
        str = (ASN1_STRING *)*fld;
461
553k
        if (pctx->flags & ASN1_PCTX_FLAGS_NO_ANY_TYPE)
462
0
            pname = NULL;
463
553k
        else
464
553k
            pname = ASN1_tag2str(utype);
465
3.67M
    } else {
466
3.67M
        if (pctx->flags & ASN1_PCTX_FLAGS_SHOW_TYPE)
467
320k
            pname = ASN1_tag2str(utype);
468
3.35M
        else
469
3.35M
            pname = NULL;
470
3.67M
    }
471
472
4.22M
    if (utype == V_ASN1_NULL) {
473
25.1k
        if (BIO_puts(out, "NULL\n") <= 0)
474
0
            return 0;
475
25.1k
        return 1;
476
25.1k
    }
477
478
4.19M
    if (pname) {
479
849k
        if (BIO_puts(out, pname) <= 0)
480
0
            return 0;
481
849k
        if (BIO_puts(out, ":") <= 0)
482
0
            return 0;
483
849k
    }
484
485
4.19M
    switch (utype) {
486
29.9k
    case V_ASN1_BOOLEAN:
487
29.9k
        {
488
29.9k
            int boolval = *(int *)fld;
489
29.9k
            if (boolval == -1)
490
7.34k
                boolval = it->size;
491
29.9k
            ret = asn1_print_boolean(out, boolval);
492
29.9k
        }
493
29.9k
        break;
494
495
3.05M
    case V_ASN1_INTEGER:
496
3.05M
    case V_ASN1_ENUMERATED:
497
3.05M
        ret = asn1_print_integer(out, str);
498
3.05M
        break;
499
500
19.8k
    case V_ASN1_UTCTIME:
501
19.8k
        ret = ASN1_UTCTIME_print(out, str);
502
19.8k
        break;
503
504
15.5k
    case V_ASN1_GENERALIZEDTIME:
505
15.5k
        ret = ASN1_GENERALIZEDTIME_print(out, str);
506
15.5k
        break;
507
508
337k
    case V_ASN1_OBJECT:
509
337k
        ret = asn1_print_oid(out, (const ASN1_OBJECT *)*fld);
510
337k
        break;
511
512
111k
    case V_ASN1_OCTET_STRING:
513
216k
    case V_ASN1_BIT_STRING:
514
216k
        ret = asn1_print_obstring(out, str, indent);
515
216k
        needlf = 0;
516
216k
        break;
517
518
318k
    case V_ASN1_SEQUENCE:
519
359k
    case V_ASN1_SET:
520
447k
    case V_ASN1_OTHER:
521
447k
        if (BIO_puts(out, "\n") <= 0)
522
0
            return 0;
523
447k
        if (ASN1_parse_dump(out, str->data, str->length, indent, 0) <= 0)
524
16.5k
            ret = 0;
525
447k
        needlf = 0;
526
447k
        break;
527
528
78.3k
    default:
529
78.3k
        ret = ASN1_STRING_print_ex(out, str, pctx->str_flags);
530
531
4.19M
    }
532
4.19M
    if (!ret)
533
36.1k
        return 0;
534
4.16M
    if (needlf && BIO_puts(out, "\n") <= 0)
535
0
        return 0;
536
4.16M
    return 1;
537
4.16M
}