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
1.12M
{
47
1.12M
    int i, ret;
48
1.12M
    long l;
49
1.12M
    const unsigned char *p = *pp;
50
1.12M
    int tag, xclass, inf;
51
1.12M
    long max = omax;
52
53
1.12M
    if (!max)
54
7
        goto err;
55
1.12M
    ret = (*p & V_ASN1_CONSTRUCTED);
56
1.12M
    xclass = (*p & V_ASN1_PRIVATE);
57
1.12M
    i = *p & V_ASN1_PRIMITIVE_TAG;
58
1.12M
    if (i == V_ASN1_PRIMITIVE_TAG) { /* high-tag */
59
719
        p++;
60
719
        if (--max == 0)
61
1
            goto err;
62
718
        l = 0;
63
1.02k
        while (*p & 0x80) {
64
310
            l <<= 7L;
65
310
            l |= *(p++) & 0x7f;
66
310
            if (--max == 0)
67
4
                goto err;
68
306
            if (l > (INT_MAX >> 7L))
69
1
                goto err;
70
306
        }
71
713
        l <<= 7L;
72
713
        l |= *(p++) & 0x7f;
73
713
        tag = (int)l;
74
713
        if (--max == 0)
75
3
            goto err;
76
1.12M
    } else {
77
1.12M
        tag = i;
78
1.12M
        p++;
79
1.12M
        if (--max == 0)
80
17
            goto err;
81
1.12M
    }
82
1.12M
    *ptag = tag;
83
1.12M
    *pclass = xclass;
84
1.12M
    if (!asn1_get_length(&p, &inf, plength, max))
85
92
        goto err;
86
87
1.12M
    if (inf && !(ret & V_ASN1_CONSTRUCTED))
88
3
        goto err;
89
90
1.12M
    if (*plength > (omax - (p - *pp))) {
91
143
        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
143
        ret |= 0x80;
97
143
    }
98
1.12M
    *pp = p;
99
1.12M
    return ret | inf;
100
128
 err:
101
128
    ASN1err(ASN1_F_ASN1_GET_OBJECT, ASN1_R_HEADER_TOO_LONG);
102
128
    return 0x80;
103
1.12M
}
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
1.12M
{
115
1.12M
    const unsigned char *p = *pp;
116
1.12M
    unsigned long ret = 0;
117
1.12M
    int i;
118
119
1.12M
    if (max-- < 1)
120
0
        return 0;
121
1.12M
    if (*p == 0x80) {
122
2.11k
        *inf = 1;
123
2.11k
        p++;
124
1.12M
    } else {
125
1.12M
        *inf = 0;
126
1.12M
        i = *p & 0x7f;
127
1.12M
        if (*p++ & 0x80) {
128
193k
            if (max < i + 1)
129
20
                return 0;
130
            /* Skip leading zeroes */
131
194k
            while (i > 0 && *p == 0) {
132
427
                p++;
133
427
                i--;
134
427
            }
135
193k
            if (i > (int)sizeof(long))
136
9
                return 0;
137
506k
            while (i > 0) {
138
313k
                ret <<= 8;
139
313k
                ret |= *p++;
140
313k
                i--;
141
313k
            }
142
193k
            if (ret > LONG_MAX)
143
63
                return 0;
144
193k
        } else
145
933k
            ret = i;
146
1.12M
    }
147
1.12M
    *pp = p;
148
1.12M
    *rl = (long)ret;
149
1.12M
    return 1;
150
1.12M
}
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
250k
{
158
250k
    unsigned char *p = *pp;
159
250k
    int i, ttag;
160
161
250k
    i = (constructed) ? V_ASN1_CONSTRUCTED : 0;
162
250k
    i |= (xclass & V_ASN1_PRIVATE);
163
250k
    if (tag < 31)
164
250k
        *(p++) = i | (tag & V_ASN1_PRIMITIVE_TAG);
165
8
    else {
166
8
        *(p++) = i | V_ASN1_PRIMITIVE_TAG;
167
24
        for (i = 0, ttag = tag; ttag > 0; i++)
168
16
            ttag >>= 7;
169
8
        ttag = i;
170
24
        while (i-- > 0) {
171
16
            p[i] = tag & 0x7f;
172
16
            if (i != (ttag - 1))
173
8
                p[i] |= 0x80;
174
16
            tag >>= 7;
175
16
        }
176
8
        p += ttag;
177
8
    }
178
250k
    if (constructed == 2)
179
0
        *(p++) = 0x80;
180
250k
    else
181
250k
        asn1_put_length(&p, length);
182
250k
    *pp = p;
183
250k
}
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
250k
{
196
250k
    unsigned char *p = *pp;
197
250k
    int i, l;
198
250k
    if (length <= 127)
199
220k
        *(p++) = (unsigned char)length;
200
30.6k
    else {
201
30.6k
        l = length;
202
92.0k
        for (i = 0; l > 0; i++)
203
61.3k
            l >>= 8;
204
30.6k
        *(p++) = i | 0x80;
205
30.6k
        l = i;
206
92.0k
        while (i-- > 0) {
207
61.3k
            p[i] = length & 0xff;
208
61.3k
            length >>= 8;
209
61.3k
        }
210
30.6k
        p += l;
211
30.6k
    }
212
250k
    *pp = p;
213
250k
}
214
215
int ASN1_object_size(int constructed, int length, int tag)
216
798k
{
217
798k
    int ret = 1;
218
798k
    if (length < 0)
219
0
        return -1;
220
798k
    if (tag >= 31) {
221
96
        while (tag > 0) {
222
64
            tag >>= 7;
223
64
            ret++;
224
64
        }
225
32
    }
226
798k
    if (constructed == 2) {
227
0
        ret += 3;
228
798k
    } else {
229
798k
        ret++;
230
798k
        if (length > 127) {
231
70.0k
            int tmplen = length;
232
210k
            while (tmplen > 0) {
233
140k
                tmplen >>= 8;
234
140k
                ret++;
235
140k
            }
236
70.0k
        }
237
798k
    }
238
798k
    if (ret >= INT_MAX - length)
239
0
        return -1;
240
798k
    return ret + length;
241
798k
}
242
243
int ASN1_STRING_copy(ASN1_STRING *dst, const ASN1_STRING *str)
244
208
{
245
208
    if (str == NULL)
246
0
        return 0;
247
208
    dst->type = str->type;
248
208
    if (!ASN1_STRING_set(dst, str->data, str->length))
249
0
        return 0;
250
    /* Copy flags but preserve embed value */
251
208
    dst->flags &= ASN1_STRING_FLAG_EMBED;
252
208
    dst->flags |= str->flags & ~ASN1_STRING_FLAG_EMBED;
253
208
    return 1;
254
208
}
255
256
ASN1_STRING *ASN1_STRING_dup(const ASN1_STRING *str)
257
172
{
258
172
    ASN1_STRING *ret;
259
172
    if (!str)
260
0
        return NULL;
261
172
    ret = ASN1_STRING_new();
262
172
    if (ret == NULL)
263
0
        return NULL;
264
172
    if (!ASN1_STRING_copy(ret, str)) {
265
0
        ASN1_STRING_free(ret);
266
0
        return NULL;
267
0
    }
268
172
    return ret;
269
172
}
270
271
int ASN1_STRING_set(ASN1_STRING *str, const void *_data, int len_in)
272
253k
{
273
253k
    unsigned char *c;
274
253k
    const char *data = _data;
275
253k
    size_t len;
276
277
253k
    if (len_in < 0) {
278
0
        if (data == NULL)
279
0
            return 0;
280
0
        len = strlen(data);
281
253k
    } else {
282
253k
        len = (size_t)len_in;
283
253k
    }
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
253k
    if (len > INT_MAX - 1) {
290
0
        ASN1err(0, ASN1_R_TOO_LARGE);
291
0
        return 0;
292
0
    }
293
253k
    if ((size_t)str->length <= len || str->data == NULL) {
294
253k
        c = str->data;
295
253k
#ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
296
        /* No NUL terminator in fuzzing builds */
297
253k
        str->data = OPENSSL_realloc(c, len != 0 ? len : 1);
298
#else
299
        str->data = OPENSSL_realloc(c, len + 1);
300
#endif
301
253k
        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
253k
    }
307
253k
    str->length = len;
308
253k
    if (data != NULL) {
309
209k
        memcpy(str->data, data, len);
310
209k
#ifdef FUZZING_BUILD_MODE_UNSAFE_FOR_PRODUCTION
311
        /* Set the unused byte to something non NUL and printable. */
312
209k
        if (len == 0)
313
236
            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
209k
    }
322
253k
    return 1;
323
253k
}
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
172
{
334
172
    return ASN1_STRING_type_new(V_ASN1_OCTET_STRING);
335
172
}
336
337
ASN1_STRING *ASN1_STRING_type_new(int type)
338
215k
{
339
215k
    ASN1_STRING *ret;
340
341
215k
    ret = OPENSSL_zalloc(sizeof(*ret));
342
215k
    if (ret == NULL) {
343
0
        ASN1err(ASN1_F_ASN1_STRING_TYPE_NEW, ERR_R_MALLOC_FAILURE);
344
0
        return NULL;
345
0
    }
346
215k
    ret->type = type;
347
215k
    return ret;
348
215k
}
349
350
void asn1_string_embed_free(ASN1_STRING *a, int embed)
351
328k
{
352
328k
    if (a == NULL)
353
0
        return;
354
328k
    if (!(a->flags & ASN1_STRING_FLAG_NDEF))
355
328k
        OPENSSL_free(a->data);
356
328k
    if (embed == 0)
357
215k
        OPENSSL_free(a);
358
328k
}
359
360
void ASN1_STRING_free(ASN1_STRING *a)
361
64.5k
{
362
64.5k
    if (a == NULL)
363
37.4k
        return;
364
27.1k
    asn1_string_embed_free(a, a->flags & ASN1_STRING_FLAG_EMBED);
365
27.1k
}
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
87.3k
{
394
87.3k
    return x->length;
395
87.3k
}
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
87.3k
{
409
87.3k
    return x->data;
410
87.3k
}
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