Coverage Report

Created: 2023-06-08 06:41

/src/openssl111/crypto/asn1/asn1_lib.c
Line
Count
Source (jump to first uncovered line)
1
/*
2
 * Copyright 1995-2021 The OpenSSL Project Authors. All Rights Reserved.
3
 *
4
 * Licensed under the OpenSSL license (the "License").  You may not use
5
 * this file except in compliance with the License.  You can obtain a copy
6
 * in the file LICENSE in the source distribution or at
7
 * https://www.openssl.org/source/license.html
8
 */
9
10
#include <stdio.h>
11
#include <limits.h>
12
#include "internal/cryptlib.h"
13
#include <openssl/asn1.h>
14
#include "asn1_local.h"
15
16
static int asn1_get_length(const unsigned char **pp, int *inf, long *rl,
17
                           long max);
18
static void asn1_put_length(unsigned char **pp, int length);
19
20
static int _asn1_check_infinite_end(const unsigned char **p, long len)
21
0
{
22
    /*
23
     * If there is 0 or 1 byte left, the length check should pick things up
24
     */
25
0
    if (len <= 0)
26
0
        return 1;
27
0
    else if ((len >= 2) && ((*p)[0] == 0) && ((*p)[1] == 0)) {
28
0
        (*p) += 2;
29
0
        return 1;
30
0
    }
31
0
    return 0;
32
0
}
33
34
int ASN1_check_infinite_end(unsigned char **p, long len)
35
0
{
36
0
    return _asn1_check_infinite_end((const unsigned char **)p, len);
37
0
}
38
39
int ASN1_const_check_infinite_end(const unsigned char **p, long len)
40
0
{
41
0
    return _asn1_check_infinite_end(p, len);
42
0
}
43
44
int ASN1_get_object(const unsigned char **pp, long *plength, int *ptag,
45
                    int *pclass, long omax)
46
8.42M
{
47
8.42M
    int i, ret;
48
8.42M
    long l;
49
8.42M
    const unsigned char *p = *pp;
50
8.42M
    int tag, xclass, inf;
51
8.42M
    long max = omax;
52
53
8.42M
    if (!max)
54
3.49k
        goto err;
55
8.42M
    ret = (*p & V_ASN1_CONSTRUCTED);
56
8.42M
    xclass = (*p & V_ASN1_PRIVATE);
57
8.42M
    i = *p & V_ASN1_PRIMITIVE_TAG;
58
8.42M
    if (i == V_ASN1_PRIMITIVE_TAG) { /* high-tag */
59
4.60k
        p++;
60
4.60k
        if (--max == 0)
61
372
            goto err;
62
4.23k
        l = 0;
63
6.74k
        while (*p & 0x80) {
64
2.74k
            l <<= 7L;
65
2.74k
            l |= *(p++) & 0x7f;
66
2.74k
            if (--max == 0)
67
131
                goto err;
68
2.61k
            if (l > (INT_MAX >> 7L))
69
99
                goto err;
70
2.61k
        }
71
4.00k
        l <<= 7L;
72
4.00k
        l |= *(p++) & 0x7f;
73
4.00k
        tag = (int)l;
74
4.00k
        if (--max == 0)
75
280
            goto err;
76
8.41M
    } else {
77
8.41M
        tag = i;
78
8.41M
        p++;
79
8.41M
        if (--max == 0)
80
1.44k
            goto err;
81
8.41M
    }
82
8.42M
    *ptag = tag;
83
8.42M
    *pclass = xclass;
84
8.42M
    if (!asn1_get_length(&p, &inf, plength, max))
85
3.79k
        goto err;
86
87
8.41M
    if (inf && !(ret & V_ASN1_CONSTRUCTED))
88
520
        goto err;
89
90
8.41M
    if (*plength > (omax - (p - *pp))) {
91
7.05k
        ASN1err(ASN1_F_ASN1_GET_OBJECT, ASN1_R_TOO_LONG);
92
        /*
93
         * Set this so that even if things are not long enough the values are
94
         * set correctly
95
         */
96
7.05k
        ret |= 0x80;
97
7.05k
    }
98
8.41M
    *pp = p;
99
8.41M
    return ret | inf;
100
10.1k
 err:
101
10.1k
    ASN1err(ASN1_F_ASN1_GET_OBJECT, ASN1_R_HEADER_TOO_LONG);
102
10.1k
    return 0x80;
103
8.41M
}
104
105
/*
106
 * Decode a length field.
107
 * The short form is a single byte defining a length 0 - 127.
108
 * The long form is a byte 0 - 127 with the top bit set and this indicates
109
 * the number of following octets that contain the length.  These octets
110
 * are stored most significant digit first.
111
 */
112
static int asn1_get_length(const unsigned char **pp, int *inf, long *rl,
113
                           long max)
114
8.42M
{
115
8.42M
    const unsigned char *p = *pp;
116
8.42M
    unsigned long ret = 0;
117
8.42M
    int i;
118
119
8.42M
    if (max-- < 1)
120
0
        return 0;
121
8.42M
    if (*p == 0x80) {
122
1.39M
        *inf = 1;
123
1.39M
        p++;
124
7.02M
    } else {
125
7.02M
        *inf = 0;
126
7.02M
        i = *p & 0x7f;
127
7.02M
        if (*p++ & 0x80) {
128
369k
            if (max < i + 1)
129
2.84k
                return 0;
130
            /* Skip leading zeroes */
131
369k
            while (i > 0 && *p == 0) {
132
2.98k
                p++;
133
2.98k
                i--;
134
2.98k
            }
135
366k
            if (i > (int)sizeof(long))
136
627
                return 0;
137
748k
            while (i > 0) {
138
382k
                ret <<= 8;
139
382k
                ret |= *p++;
140
382k
                i--;
141
382k
            }
142
365k
            if (ret > LONG_MAX)
143
323
                return 0;
144
365k
        } else
145
6.65M
            ret = i;
146
7.02M
    }
147
8.41M
    *pp = p;
148
8.41M
    *rl = (long)ret;
149
8.41M
    return 1;
150
8.42M
}
151
152
/*
153
 * class 0 is constructed constructed == 2 for indefinite length constructed
154
 */
155
void ASN1_put_object(unsigned char **pp, int constructed, int length, int tag,
156
                     int xclass)
157
1.34M
{
158
1.34M
    unsigned char *p = *pp;
159
1.34M
    int i, ttag;
160
161
1.34M
    i = (constructed) ? V_ASN1_CONSTRUCTED : 0;
162
1.34M
    i |= (xclass & V_ASN1_PRIVATE);
163
1.34M
    if (tag < 31)
164
1.32M
        *(p++) = i | (tag & V_ASN1_PRIMITIVE_TAG);
165
22.3k
    else {
166
22.3k
        *(p++) = i | V_ASN1_PRIMITIVE_TAG;
167
67.1k
        for (i = 0, ttag = tag; ttag > 0; i++)
168
44.8k
            ttag >>= 7;
169
22.3k
        ttag = i;
170
67.1k
        while (i-- > 0) {
171
44.8k
            p[i] = tag & 0x7f;
172
44.8k
            if (i != (ttag - 1))
173
22.4k
                p[i] |= 0x80;
174
44.8k
            tag >>= 7;
175
44.8k
        }
176
22.3k
        p += ttag;
177
22.3k
    }
178
1.34M
    if (constructed == 2)
179
0
        *(p++) = 0x80;
180
1.34M
    else
181
1.34M
        asn1_put_length(&p, length);
182
1.34M
    *pp = p;
183
1.34M
}
184
185
int ASN1_put_eoc(unsigned char **pp)
186
0
{
187
0
    unsigned char *p = *pp;
188
0
    *p++ = 0;
189
0
    *p++ = 0;
190
0
    *pp = p;
191
0
    return 2;
192
0
}
193
194
static void asn1_put_length(unsigned char **pp, int length)
195
1.34M
{
196
1.34M
    unsigned char *p = *pp;
197
1.34M
    int i, l;
198
1.34M
    if (length <= 127)
199
1.34M
        *(p++) = (unsigned char)length;
200
7.85k
    else {
201
7.85k
        l = length;
202
20.1k
        for (i = 0; l > 0; i++)
203
12.2k
            l >>= 8;
204
7.85k
        *(p++) = i | 0x80;
205
7.85k
        l = i;
206
20.1k
        while (i-- > 0) {
207
12.2k
            p[i] = length & 0xff;
208
12.2k
            length >>= 8;
209
12.2k
        }
210
7.85k
        p += l;
211
7.85k
    }
212
1.34M
    *pp = p;
213
1.34M
}
214
215
int ASN1_object_size(int constructed, int length, int tag)
216
4.51M
{
217
4.51M
    int ret = 1;
218
4.51M
    if (length < 0)
219
0
        return -1;
220
4.51M
    if (tag >= 31) {
221
264k
        while (tag > 0) {
222
176k
            tag >>= 7;
223
176k
            ret++;
224
176k
        }
225
88.1k
    }
226
4.51M
    if (constructed == 2) {
227
0
        ret += 3;
228
4.51M
    } else {
229
4.51M
        ret++;
230
4.51M
        if (length > 127) {
231
20.1k
            int tmplen = length;
232
50.9k
            while (tmplen > 0) {
233
30.8k
                tmplen >>= 8;
234
30.8k
                ret++;
235
30.8k
            }
236
20.1k
        }
237
4.51M
    }
238
4.51M
    if (ret >= INT_MAX - length)
239
0
        return -1;
240
4.51M
    return ret + length;
241
4.51M
}
242
243
int ASN1_STRING_copy(ASN1_STRING *dst, const ASN1_STRING *str)
244
219k
{
245
219k
    if (str == NULL)
246
0
        return 0;
247
219k
    dst->type = str->type;
248
219k
    if (!ASN1_STRING_set(dst, str->data, str->length))
249
0
        return 0;
250
    /* Copy flags but preserve embed value */
251
219k
    dst->flags &= ASN1_STRING_FLAG_EMBED;
252
219k
    dst->flags |= str->flags & ~ASN1_STRING_FLAG_EMBED;
253
219k
    return 1;
254
219k
}
255
256
ASN1_STRING *ASN1_STRING_dup(const ASN1_STRING *str)
257
0
{
258
0
    ASN1_STRING *ret;
259
0
    if (!str)
260
0
        return NULL;
261
0
    ret = ASN1_STRING_new();
262
0
    if (ret == NULL)
263
0
        return NULL;
264
0
    if (!ASN1_STRING_copy(ret, str)) {
265
0
        ASN1_STRING_free(ret);
266
0
        return NULL;
267
0
    }
268
0
    return ret;
269
0
}
270
271
int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len_in)
272
872k
{
273
872k
    unsigned char *c;
274
872k
    const char *data = _data;
275
872k
    size_t len;
276
277
872k
    if (len_in < 0) {
278
0
        if (data == NULL)
279
0
            return 0;
280
0
        len = strlen(data);
281
872k
    } else {
282
872k
        len = (size_t)len_in;
283
872k
    }
284
    /*
285
     * Verify that the length fits within an integer for assignment to
286
     * str->length below.  The additional 1 is subtracted to allow for the
287
     * '\0' terminator even though this isn't strictly necessary.
288
     */
289
872k
    if (len > INT_MAX - 1) {
290
0
        ASN1err(0, ASN1_R_TOO_LARGE);
291
0
        return 0;
292
0
    }
293
872k
    if ((size_t)str->length <= len || str->data == NULL) {
294
872k
        c = str->data;
295
872k
#ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
296
        /* No NUL terminator in fuzzing builds */
297
872k
        str->data = OPENSSL_realloc(c, len != 0 ? len : 1);
298
#else
299
        str->data = OPENSSL_realloc(c, len + 1);
300
#endif
301
872k
        if (str->data == NULL) {
302
0
            ASN1err(ASN1_F_ASN1_STRING_SET, ERR_R_MALLOC_FAILURE);
303
0
            str->data = c;
304
0
            return 0;
305
0
        }
306
872k
    }
307
872k
    str->length = len;
308
872k
    if (data != NULL) {
309
828k
        memcpy(str->data, data, len);
310
828k
#ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
311
        /* Set the unused byte to something non NUL and printable. */
312
828k
        if (len == 0)
313
578k
            str->data[len] = '~';
314
#else
315
        /*
316
         * Add a NUL terminator. This should not be necessary - but we add it as
317
         * a safety precaution
318
         */
319
        str->data[len] = '\0';
320
#endif
321
828k
    }
322
872k
    return 1;
323
872k
}
324
325
void ASN1_STRING_set0(ASN1_STRING *str, void *data, int len)
326
0
{
327
0
    OPENSSL_free(str->data);
328
0
    str->data = data;
329
0
    str->length = len;
330
0
}
331
332
ASN1_STRING *ASN1_STRING_new(void)
333
0
{
334
0
    return ASN1_STRING_type_new(V_ASN1_OCTET_STRING);
335
0
}
336
337
ASN1_STRING *ASN1_STRING_type_new(int type)
338
879k
{
339
879k
    ASN1_STRING *ret;
340
341
879k
    ret = OPENSSL_zalloc(sizeof(*ret));
342
879k
    if (ret == NULL) {
343
0
        ASN1err(ASN1_F_ASN1_STRING_TYPE_NEW, ERR_R_MALLOC_FAILURE);
344
0
        return NULL;
345
0
    }
346
879k
    ret->type = type;
347
879k
    return ret;
348
879k
}
349
350
void asn1_string_embed_free(ASN1_STRING *a, int embed)
351
1.01M
{
352
1.01M
    if (a == NULL)
353
0
        return;
354
1.01M
    if (!(a->flags & ASN1_STRING_FLAG_NDEF))
355
1.01M
        OPENSSL_free(a->data);
356
1.01M
    if (embed == 0)
357
879k
        OPENSSL_free(a);
358
1.01M
}
359
360
void ASN1_STRING_free(ASN1_STRING *a)
361
31.7k
{
362
31.7k
    if (a == NULL)
363
19.7k
        return;
364
11.9k
    asn1_string_embed_free(a, a->flags & ASN1_STRING_FLAG_EMBED);
365
11.9k
}
366
367
void ASN1_STRING_clear_free(ASN1_STRING *a)
368
0
{
369
0
    if (a == NULL)
370
0
        return;
371
0
    if (a->data && !(a->flags & ASN1_STRING_FLAG_NDEF))
372
0
        OPENSSL_cleanse(a->data, a->length);
373
0
    ASN1_STRING_free(a);
374
0
}
375
376
int ASN1_STRING_cmp(const ASN1_STRING *a, const ASN1_STRING *b)
377
0
{
378
0
    int i;
379
380
0
    i = (a->length - b->length);
381
0
    if (i == 0) {
382
0
        if (a->length != 0)
383
0
            i = memcmp(a->data, b->data, a->length);
384
0
        if (i == 0)
385
0
            return a->type - b->type;
386
0
        else
387
0
            return i;
388
0
    } else
389
0
        return i;
390
0
}
391
392
int ASN1_STRING_length(const ASN1_STRING *x)
393
118k
{
394
118k
    return x->length;
395
118k
}
396
397
void ASN1_STRING_length_set(ASN1_STRING *x, int len)
398
0
{
399
0
    x->length = len;
400
0
}
401
402
int ASN1_STRING_type(const ASN1_STRING *x)
403
0
{
404
0
    return x->type;
405
0
}
406
407
const unsigned char *ASN1_STRING_get0_data(const ASN1_STRING *x)
408
121k
{
409
121k
    return x->data;
410
121k
}
411
412
# if OPENSSL_API_COMPAT < 0x10100000L
413
unsigned char *ASN1_STRING_data(ASN1_STRING *x)
414
0
{
415
0
    return x->data;
416
0
}
417
#endif